Found 120 Documents (Results 1–100)
There is no domain representable dense proper subsemigroup of a topological group. (English) Zbl 1364.54020
Reviewer: Jan van Mill (Amsterdam)
Chapter 11: Orbital-free embedding calculations of electronic spectra. (English) Zbl 1378.82034
Wesolowski, Tomasz A. (ed.) et al., Recent progress in orbital-free density functional theory. Hackensack, NJ: World Scientific (ISBN 978-981-4436-72-4/hbk; 978-981-4436-74-8/ebook). Recent Advances in Computational Chemistry 6, 323-354 (2013).
The (\(\Delta, D\)) and (\(\Delta, N\)) problems or New Amsterdam and Manhattan digraphs. (English) Zbl 1301.05213
Subcompactness and domain representability in GO-spaces on sets of real numbers. (English) Zbl 1162.54014
Reviewer: Hans Peter Künzi (Rondebosch)
Ocean circulation and pollution control – a mathematical and numerical investigation. A Diderot Mathematical Forum. Second Diderot Mathematical Forum, Mathematics and Environment: Problems related to water, Amsterdam, Madrid, Venice, December 19–20, 1997. Written contributions assembled in Madrid. (English) Zbl 1024.00074
Berlin: Springer. xi, 111 p. (2004).
Proceedings of the forty-second European Study Group with Industry (ESGI-42), Amsterdam, Netherlands, February 18–22, 2002. (English) Zbl 1001.00016
CWI Syllabus. 51. Amsterdam: Centrum voor Wiskunde en Informatica. viii, 120 p. (2002).
Grammatical inference: Algorithms and applications. 6th international colloquium, ICGI 2002, Amsterdam, the Netherlands, September 23–25, 2002. Proceedings. (English) Zbl 1001.00047
Lecture Notes in Computer Science 2484. Lecture Notes in Artificial Intelligence. Berlin: Springer. ix, 315 p. (2002).
Advances in cryptology - EUROCRYPT 2002. 21st international conference on the theory and applications of cryptographic techniques, Amsterdam, the Netherlands, April 28 – May 2, 2002. Proceedings. (English) Zbl 0984.00084
Lecture Notes in Computer Science. 2332. Berlin: Springer. xii, 547 p. (2002).
Computational learning theory. 14th annual conference, COLT 2001, and 5th European conference, EuroCOLT 2001, Amsterdam, Netherlands, July 16–19, 2001. Proceedings. (English) Zbl 0969.00077
Lecture Notes in Computer Science 2111. Lecture Notes in Artificial Intelligence. Berlin: Springer. ix, 631 p. (2001).
Operator theory and analysis. The M. A. Kaashoek anniversary volume. Proceedings of the workshop, Amsterdam, Netherlands, November 12–14, 1997. (English) Zbl 0954.00037
Operator Theory: Advances and Applications. 122. Basel: Birkhäuser. xxxix, 433 p. DM 198.00; öS 1446.00; sFr. 168.00 (2001).
Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2–4, 1998. (English) Zbl 0978.00029
Studies in Logic and Computation. 7. Baldock: Research Studies Press. xiv, 407 p. (2000).
Infinite dimensional stochastic analysis. Proceedings of the colloquium, Amsterdam, Netherlands, February 11–12, 1999. (English) Zbl 0968.00044
Verhandelingen, Afdeling Natuurkunde. Eerste Reeks. Koninklijke Nederlandse Akademie van Wetenschappen. 52. Amsterdam: Royal Netherlands Academy of Arts and Sciences. 282 p. (2000).
Quantum optics of small structures. International workshop, Amsterdam, the Netherlands, September 23–24, 1999. (English) Zbl 1089.81533
Amsterdam: Koninklijke Nederlandse Akademie van Wetenschappen. 223 p. (2000).
Partial evaluation and semantics-based program manipulation. Selected papers of the ACM SIGPLAN symposium, PEPM’97, Amsterdam, Netherlands, Juni 12–13, 1997. (English) Zbl 0948.00052
Virtual environments 2000. Proceedings of the Eurographics workshop, Amsterdam, The Netherlands, June 1–2, 2000. (English) Zbl 0966.68537
Eurographics. Wien: Springer. x, 217 p. (2000).
The theory of markets. Proceedings of the meeting held in Amsterdam, Netherlands, July 1–3, 1998. (English) Zbl 0947.00048
Amsterdam: North-Holland. x, 326 p. (1999).
CMCS ‘99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS ‘99. Amsterdam, the Netherlands, March 20–21, 1999. (English) Zbl 0916.00017
Electronic Notes in Theoretical Computer Science. 19. Amsterdam: Elsevier, 13 papers (1999).
Special issue: Papers presented at the 1st IME conference, Amsterdam, the Netherlands, August 25–27, 1997. (English) Zbl 0928.00042
Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. (English) Zbl 0911.00045
Lecture Notes in Computer Science. 1578. Berlin: Springer. x, 323 p. (1999).
Clear and cloudy boundary layers. Proceedings of the colloquium, Amsterdam, Netherlands, August 26–29, 1997. (English) Zbl 0967.76002
Verhandelingen, Afdeling Natuurkunde. Eerste Reeks. Koninklijke Nederlandse Akademie van Wetenschappen 48. Amsterdam: Koninklijke Nederlandse Akademie van Wetenschappen (ISBN 90-6984-235-1). 372 p. (1998).
Reviewer: F.Kaplanski (Tallinn)
Special issue: Papers from the 3rd ERCIM workshop on formal methods for industrial critical systems (FMICS 98), held at the CWI in Amsterdam, the Netherlands, 1998. (English) Zbl 0939.00035
Mathematical morphology and its applications to image and signal processing. 4th international symposium, ISMM ’98, Amsterdam, the Netherlands, June 3–5, 1998. (English) Zbl 0894.00056
Computational Imaging and Vision. 12. Dordrecht: Kluwer Academic Publishers. ix, 442 p. (1998).
Advice to the chairman. (Dutch) Zbl 0938.01050
Reviewer: J.J.Cross (Melbourne)
MSC:
01A72
SMC 50 jubilee. Proceedings of the symposium on mathematics on the occasion of the 50th anniversary of Foundation Mathematical Centre (SMC), February 6–7, 1996, Amsterdam, Netherlands. (English) Zbl 0864.00049
Proceedings seminar 1989-1990, held in Amsterdam, the Netherlands. Mathematical structures in field theory. (English) Zbl 0857.00031
CWI Syllabus. 39. Amsterdam: CWI, Stichting Mathematisch Centrum. 163 p. (1996).
Applications of natural language to information systems. Proceedings of the 2nd international workshop, June 26-28, 1996, Amsterdam, the Netherlands. (English) Zbl 0876.68121
Amsterdam: IOS Press. x, 277 p. (1996).
Reviewer: U.Hahn (Freiburg i.Br.)
Bayes, Bernoullis, and Basel. Proceedings of the 1st Riverboat conference, April 29–May 4, 1993, Basel – Amsterdam. (English) Zbl 0856.00031
8th annual structure in complexity theory conference, San Diego, CA, USA, May 18–21, 1993 and 9th annual conference, Amsterdam, the Netherlands, June 28–July 1, 1994. (English) Zbl 0858.00036
Computational finance: papers from the IFAC workshop on computing in economics and finance, Amsterdam, Netherlands, June 1994. (English) Zbl 0845.00060
Stochastic and spatial structures of dynamical systems. Proceedings of the meeting, Amsterdam, Netherlands, January 1995. (English) Zbl 0969.00057
Verhandelingen, Afdeling Natuurkunde. Eerste Reeks. Koninklijke Nederlandse Akademie van Wetenschappen. 45. Amsterdam: North-Holland. x, 231 p. (1996).
Quantifiers, logic, and language. Based on a workshop on generalized quantifiers theory, Amsterdam, Netherlands in the early nineties. (English) Zbl 0939.00021
CSLI Lecture Notes. 54. Stanford, CA: CSLI Publications. viii, 424 p. (1996).
Papers on general topology and applications. Proceedings of the 10th summer conference, Amsterdam, Netherlands, August 15–18, 1994. (English) Zbl 0903.00049
Annals of the New York Academy of Sciences. 788. New York, NY: New York Academy of Sciences. xii, 227 p. (1996).
Mathematics: Number and figures. (Dutch) Zbl 0873.01018
Reviewer: C.J.Scriba (Hamburg)
MSC:
01A65
Selected papers of the 5th biennial meeting on category theory and computer science, Amsterdam, Netherlands, September 7-10, 1993. (English) Zbl 0843.00049
On the history of Runge-Kutta methods. (English) Zbl 0836.65092
Apt, Krzysztof (ed.) et al., From universal morphisms to megabytes: a Baayen space odyssey. On the occasion of the retirement of Prof. Dr. P.C. Baayen. Amsterdam: CWI, 363-376 (1995).
Operational operations research at the Mathematical Centre. (English) Zbl 0840.01059
Apt, Krzysztof (ed.) et al., From universal morphisms to megabytes: a Baayen space odyssey. On the occasion of the retirement of Prof. Dr. P.C. Baayen. Amsterdam: CWI, 59-64 (1995).
Reviewer: A.C.Lewis (Hamilton)
MSC:
01A74
Computer algebra in industry 2. Problem solving in practice. Proceedings of the SCAFI seminar on computer algebra in industry, held in Amsterdam, Netherlands, Dec. 1992. (English) Zbl 0830.00043
Chichester: Wiley. viii, 323 p. (1995).
Applied logic: how, what and why. Logical approaches to natural language. Papers presented at the international conference “Applied logic: logic at work”, held in Amsterdam (Netherlands), December 1992. (English) Zbl 0829.00016
Synthese Library. 247. Dordrecht: Kluwer Academic Publishers. viii, 392 p. (1995).
KdV ’95. Proceedings of the international symposium held in Amsterdam, The Netherlands, April 23-26, 1995, to commemorate the centennial of the publication of the equation by and named after Korteweg and de Vries.
Reprinted from Acta Applicandae Mathematicae 39 (1995).
(English)
Zbl 0819.00053
Dordrecht: Kluwer Academic Publishers. 516 p. (1995).
Constraint processing. Proceedings of workshops held in conjunction with the international congress on computer systems and applied mathematics (CSAM ’93) in St. Petersburg, Russia and the European conference on artificial intelligence (ECAI ’94) held in Amsterdam, Netherlands. (English) Zbl 1085.00507
Lecture Notes in Computer Science 923. Berlin: Springer-Verlag (ISBN 3-540-59479-5/pbk). 287 p. (1995).
Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8–9, 1994. Proceedings. (English) Zbl 0825.00124
Lecture Notes in Computer Science 890. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. viii, 407 p. (1995).
Modal logic and process algebra. A bisimulation perspective. Papers from the workshop ”Three days of bisimulation”, Amsterdam, the Netherlands, April 1994. (English) Zbl 0943.68508
CSLI Lecture Notes. 53. Stanford, CA: CSLI Publications. xx, 327 p. (1995).
ECAI ’94. 11th European conference on artificial intelligence, August 8- 12, 1994, Amsterdam, The Netherlands. Proceedings. (English) Zbl 0823.68006
Chichester: Wiley. xvi, 832 p. (1994).
Lecture notes of minicourses held at the tenth summer conference on general topology and applications, held August 15-18, 1994 in Amsterdam, Netherlands. Topology and its Applications 58, No. 3.
Topology and its Applications 58, No. 3.
(English)
Zbl 0795.00018
Amsterdam: North-Holland, p. 194-298 (1994).
Structure and dynamics in econometrics. Papers presented at the European Conferences of the Econometrics Community, held in Amsterdam, 14-15 Dec. 1990 and Rotterdam, 13-14 Dec. 1991. Journal of Econometrics 63, No. 1.
Journal of Econometrics 63, No. 1.
(English)
Zbl 0795.00019
Amsterdam: North-Holland, 325 p. (1994).
Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA ’93, Amsterdam, the Netherlands, September 23–24, 1993. Selected papers. (English) Zbl 0825.00070
Lecture Notes in Computer Science 816. Berlin: Springer-Verlag. vii, 344 p. DM 72.00; öS 561.60; sFr 72.00 /sc (1994).
Multigrid methods IV. Proceedings of the fourth European multigrid conference, Amsterdam, Netherlands, July 6-9, 1993. (English) Zbl 0793.00024
ISNM. International Series of Numerical Mathematics. 116. Basel: Birkhäuser. viii, 358 p. (1994).
Contributions to multigrid. A selection of contributions to the 4th European Multigrid Conference, held in Amsterdam, the Netherlands, July 6 - 9, 1993. (English) Zbl 0810.00028
CWI Tracts. 103. Amsterdam: CWI. 220 p. Dfl. 60.00 /sc (1994).
Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. (English) Zbl 0812.00020
Synthese Library. 229. Dordrecht: Kluwer Academic Publishers. ix, 388 p. (1993).
Challenges of a generalized system theory. Proceedings of the colloquium, Amsterdam, the Netherlands, 9-12 June 1992. (English) Zbl 0811.00034
Verhandelingen, Afdeling Natuurkunde. Eerste Reeks. Koninklijke Nederlandse Akademie van Wetenschappen. 40. Amsterdam: North-Holland. 252 p. (1993).
Computer algebra in industry: problem solving in practice. Proceedings of the SCAFI seminar on computer algebra in industry, held in Amsterdam, Netherlands, 1991. (English) Zbl 0833.68005
Chichester: Wiley. ix, 252 p. (1993).
Deontic logic in computer science. Selected papers from the 1st international workshop, Amsterdam, the Netherlands, December 11–13, 1991. (English) Zbl 0864.00073
Selected papers of the CWI-IMACS symposia on parallel scientific computing, Amsterdam, Netherlands, 1990. Third issue. (English) Zbl 0744.00041
Applied Numerical Mathematics. 10, No. 1. Amsterdam etc.: North-Holland, 85 p. (1992).
Numerical methods for the simulation of multi-phase and complex flow. Proceedings of a workshop, held at Koninklijke/Shell-Laboratorium, Amsterdam, The Netherlands, 30 May-1 June, 1990. (English) Zbl 0781.76001
Lecture Notes in Physics. 398. Berlin: Springer-Verlag. vi, 153 p. (1992).
Reviewer: N.F.F.Ebecken (Rio de Janeiro)
Computational aspects of Lie group representations and related topics. Proceedings of the 1990 computational algebra seminar at CWI, Amsterdam, Netherlands. (English) Zbl 0728.00009
CWI Tracts, 84. Amsterdam: Centrum voor Wiskunde en Informatica. ii, 142 p. Dfl. 39.00 (1991).
Telecommunication access networks - Technology and service trends. Proceedings of the 9th international symposium on subscriber loops and services - ISSLS 91, Amsterdam, The Netherlands, 22-26 April 1991. (English) Zbl 0800.68117
Amsterdam etc.: North-Holland. XIII, 440 p. (1991).
Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. (English) Zbl 0768.00012
Lecture Notes in Computer Science. 478. Berlin etc.: Springer-Verlag. IX, 562 p. (1991).
CONCUR ’91. 2nd international conference on concurrency theory, Amsterdam, the Netherlands, August 26–29, 1991. Proceedings. (English) Zbl 0825.68133
Lecture Notes in Computer Science 527. Berlin etc.: Springer-Verlag. IX, 541 p. (1991).
Signal processing, scattering and operator theory, and numerical methods. Proceedings of the international symposium on the mathematical theory of networks and systems, MTNS-89, held in Amsterdam, Netherlands, June 19- 23, 1989. Volume III. (English) Zbl 0712.00016
Progress in Systems and Control Theory, 5. Boston, MA etc.: Birkhäuser. xxi, 566 p. sFr. 138.00; DM 158.00; sFr. 349.00/3 vol. set; DM 409.00/3 vol. set (1990).
Robust control of linear systems and nonlinear control. Proceedings of the international symposium on the mathematical theory of networks and systems, MTNS-89, held in Amsterdam, Netherlands, June 19-23, 1989. Volume II. (English) Zbl 0723.00047
Progress in Systems and Control Theory, 4. Boston, MA etc.: Birkhäuser. xxiii, 654 p. sFr. 138.00; DM 158.00; sFr. 349.00/3 vol. set; DM 409.00/3 vol. set (1990).
Realization and modelling in system theory. Proceedings of the international symposium on the mathematical theory of networks and systems, MTNS-89, held in Amsterdam, Netherlands, June 19-23, 1989. Volume I. (English) Zbl 0723.00046
Progress in Systems and Control Theory, 3. Boston, MA etc.: Birkhäuser. xxii, 593 p. sFr. 138; DM 158.00; sFr. 349.00/3 vol. set; DM 409.00/3 vol. set (1990).
Proceedings seminar 1986-1987 held in Amsterdam, Netherlands. Mathematical structures in field theories. (English) Zbl 0703.00009
CWI Syllabus, 26. Amsterdam: Centrum voor Wiskunde en Informatica. iii, 169 p. Dfl. 48.00 (1990).
Hardware and software in system engineering. 16th EUROMICRO symposium on microprocessing and microprogramming, Amsterdam, The Netherlands, 27-30 August 1990. Proceedings. (English) Zbl 0800.68052
Amsterdam etc.: North-Holland. XIX, 724 p. (1990).
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. (English) Zbl 0746.68005
Lecture Notes in Computer Science 458. Berlin etc.: Springer-Verlag. VII, 536 p. (1990).
Reviewer: F.-L.Tiplea (Iaşi)
Wiskunde en de computer. Proceedings van 25ste symposium. Amsterdam, Netherlands 1989. (Dutch) Zbl 0699.68012
CWI Syllabus 23. Amsterdam: Centrum voor Wiskunde en Informatica (ISBN 90-6196-374-5). 170 p. (1989).
Reviewer: J.-J.Ch.Meyer
Advances in computer graphics hardware II. 2nd Eurographics workshop, held April 24 and 25, 1987, Amsterdam, Netherlands. (English) Zbl 0875.00143
Eurographic Seminars. Berlin: Springer. 258 p. (1988).
Distributed processing. Proceedings of the IFIP WG 10.3 conference on distributed processing, Amsterdam, Netherlands, 5-7 October, 1987. (English) Zbl 0661.68003
Amsterdam etc.: North-Holland. XI, 641 p.; $ 113.25; Dfl. 215.00 (1988).
Reviewer: E.Kostolansky
Pattern recognition and artificial intelligence. Towards an integration. Proceedings of an international workshop held in Amsterdam, May 18-20, 1988. (English) Zbl 0694.68009
Machine Intelligence and Pattern Recognition, 7. Amsterdam etc.: North- Holland. xv, 499 p. $ 115.75; Dfl. 220.00 (1988).
Reviewer: K.Peeva
Mark Kac seminar on probability and physics, Syllabus 1985-1987. (English) Zbl 0641.00033
CWI Syllabus, 17. Amsterdam: Centrum voor Wiskunde en Informatica. 162 p. Dfl. 25.30 (1988).
Distributed algorithms. 2nd international workshop, Amsterdam, Netherlands, July 8-10, 1987. Proceedings. (English) Zbl 0638.00039
Lecture Notes in Computer Science, 312. Berlin etc.: Springer-Verlag. vii, 430 p. DM 55.00 (1988).
Advances in computer graphics III. (Based on tutorials held at the Eurographics conference in Amsterdam, in August 1987). (English) Zbl 0638.00040
Eurographic Seminars, Tutorials and Perspectives in Computer Graphics. Berlin etc.: Springer-Verlag. viii, 322 p. (1988).
Proceedings of the first European symposium on mathematics in industry, ESMI I, October 30 - November 1, 1985, Amsterdam. (English) Zbl 0649.00006
European Consortium for Mathematics in Industry, 1. Stuttgart: B. G. Teubner; Dordrecht (Netherlands): Kluwer Academic Publishers. xiv, 238 p. DM 72.00 (1988).
MSC:
00B25
Advances in cryptology – EUROCRYPT ’87. Workshop on the theory and application of cryptographic techniques, Amsterdam, Netherlands, April 13–15, 1987. Proceedings. (English) Zbl 0635.00022
Lecture Notes in Computer Science 304. Berlin etc.: Springer-Verlag (ISBN 3-540-19102-X). vii, 314 p. (1988).
Proceedings seminar 1984-1986. Mathematical structures in field theories, Vol. 1. (English) Zbl 0633.00018
CWI Syllabus, 16. Amsterdam: Centrum voor Wiskunde en Informatica. iii, 137 p. Dfl. 21.60 (1988).
Doing that, they should, of course, not neglect pure mathematics. (Zij mogen uiteraard daarbij de zuivere wiskunde niet verwaarloozen.) (Dutch) Zbl 0721.01016
Amsterdam: Centrum voor Wiskunde en Informatica. 319 p. Dfl. 67.00 (1987).
Reviewer: V.N.Salij (Saratov)
Algorithms and applications on vector and parallel computers. (Based on lectures presented at the Colloquium on Numerical Aspects of Vector and Parallel Processors held at Amsterdam, The Netherlands, September 1985 - June 1986). (English) Zbl 0654.68010
Special Topics in Supercomputing, Vol. 3. Amsterdam etc.: North-Holland. XI, 457 p.; Dfl. 180.00 (1987).
Mathematical structures in field theories. Proceedings Seminar 1983-1985, Amsterdam. Volume 2. (English) Zbl 0616.00009
CWI Syllabus, 13. Centrum voor Wiskunde en Informatica. Amsterdam: Stichting Mathematisch Centrum. III, 206 p.; Dfl. 31.60 (1987).
Pattern recognition in practice II. Proceedings of an International Workshop held in Amsterdam, June 19-21, 1985. (English) Zbl 0624.68075
Amsterdam-New York-Oxford: North-Holland. XVI, 571 p.; $ 79.25; Dfl. 230.00 (1986).
Reviewer: N.Curteanu
The dynamics of physiologically structured populations. (English) Zbl 0614.92014
Lecture Notes in Biomathematics, 68. Berlin etc.: Springer-Verlag. XII, 511 p. DM 90.00 (1986).
Reviewer: M.Kimmel
The numerical solution of partial differential equations. (English) Zbl 0605.65056
Mathematics and computer science II, Proc. Symp., Amsterdam/Neth. 1986, CWI Monogr. 4, 1-21 (1986).
Mathematics and computer science II. Fundamental contributions in the Netherlands since 1945. (Proceedings of the Symposium on Fundamental Contributions to Mathematics and Computer Science in the Netherlands since 1945, held in Amsterdam, October 6-7, 1986). (English) Zbl 0596.00003
CWI Monographs, 4. Centrum voor Wiskunde en Informatica, Amsterdam. Amsterdam etc.: North-Holland. IX, 161 p. $ 40.00; Dfl. 100.00 (1986).
MSC:
00B25
Operator theory and systems. Proceedings Workshop Amsterdam, June 4-7, 1985. (English) Zbl 0594.00010
Operator Theory: Advances and Applications, Vol. 19. Basel-Boston- Stuttgart: Birkhäuser Verlag. 475 p. DM 142.00 (1986).
Mathematics and computer science. Proceedings of the CWI Symposium, Amsterdam, November 1983. (English) Zbl 0587.00017
CWI Monographs 1. Amsterdam etc.: North-Holland. VII, 351 p. $ 55.50; Dfl. 150.00 (1986).
Proceedings of the 45th Session (of the International Statistical Institute), Amsterdam 1985. Invited papers. Five books. (English) Zbl 0633.00023
Bulletin of the International Statistical Institute, Vol. 51, Books 1-5. Voorburg, The Netherlands: International Statistical Institute. Not consecutively paged (1985).
Supercomputer applications. Proceedings of the International Supercomputer Applications Symposium, Amsterdam, The Netherlands, November 7-9, 1984. (English) Zbl 0585.00009
Amsterdam - New York - Oxford: North-Holland. XI, 265 p. S 44.50; Dfl. 120.00 (1985).
Mathematical structures in field theories. Proceedings Seminar 1982-1983 Mathematical Structures in Field Theories (Centre for Mathematics and Computer Science, Amsterdam). (English) Zbl 0576.53061
CWI Syllabus 6. Centrum voor Wiskunde en Informatica. Amsterdam: Mathematisch Centrum. III, 249 p. Dfl. 35.70 (1985).
Reviewer: M.Modugno
Truth, interpretation and information. Selected papers from the Third Amsterdam Colloquium (held in Amsterdam, March 25-28, 1980). (English) Zbl 0565.03001
Groningen-Amsterdam Studies in Semantics (GRASS), Vol. 2. Dordrecht, Holland - Cinnaminson, USA: Foris Publications. VII, 182 p. (1984).
Varieties of formal semantics. Proceedings of the Fourth Amsterdam Colloquium, September 1982. (English) Zbl 0556.00006
Groningen-Amsterdam Studies in Semantics (GRASS), 3. Dordrecht, Holland- Cinnaminson, USA: Foris Publications. XII, 425 p. (1984).
Proceedings Seminar 1981-1982. Mathematical structures in field theories. (English) Zbl 0554.53051
CWI Syllabus, 2. Centrum voor Wiskunde en Informatica. Amsterdam: Mathematisch Centrum. III, 217 p. (1984).
Reviewer: A.Loinger
Topics in applied numerical analysis. Colloquium (held at the Department of Numerical Mathematics of the Centre for Mathematics and Computer Science during the academic year 1983/1984). Vols. 1, 2. (English) Zbl 0546.00028
CWI Syllabus, 4, 5. Centrum voor Wiskunde en Informatica. Amsterdam: Mathematisch Centrum. VI, 483 p. Vol 1: Dfl. 36.90; Vol. 2: Dfl. 33.30 (1984).
Topology and order structures. Part 2. (Second Workshop on Topology and Linear Orderings held in Amsterdam, August 1981, sponsored by NATO and Free University of Amsterdam). (English) Zbl 0517.00007
Mathematical Centre Tracts, 169. Amsterdam: Mathematisch Centrum. III, 107 p. Dfl. 15.50 (1983).
Cryptography course. (Cursus cryptografie). (Dutch) Zbl 0505.94003
MC Syllabus, 51. Amsterdam: Mathematisch Centrum. VII, 224 p. Dfl. 29.70 (1983).
Foundations of computer science IV. Distributed systems. Part 2: Semantics and logic. (English) Zbl 0504.00029
Mathematical Centre Tracts, 159. Amsterdam: Mathematisch Centrum. II, 255 p. Dfl. 34.00 (1983).
Foundations of computer science IV. Distributed systems. Part 1: Algorithms and complexity. (English) Zbl 0504.00028
Mathematical Centre Tracts, 158. Amsterdam: Mathematisch Centrum. III, 122 p. Dfl. 15.40 (1983).
Distributed data sharing systems. Proceedings of the Second International Seminar on Distributed Data Sharing Systems held in Amsterdam, The Netherlands, 3-5 June, 1981. (English) Zbl 0504.00030
Amsterdam - New York - Oxford: North-Holland Publishing Company. XI, 314 p. $ 46.50; Dfl. 100.00 (1982).
Filter Results by …
Document Type
- Journal Articles (14)
- Collection Articles (5)
- Books (101)
all
top 5
Author
- de Bakker, Jacobus W. (5)
- de Kerf, E. A. (5)
- Kaashoek, Marinus Adriaan (5)
- Hazewinkel, Michiel (4)
- Lenstra, Jan Karel (4)
- Pijls, Henk G. J. (4)
- Ran, André C. M. (4)
- Cohen, Arjeh Marcel (3)
- de Jager, Eduard M. (3)
- de Rijke, Maarten (3)
- Nieuwland, G. Y. (3)
- te Riele, Herman (3)
- van de Riet, Reind P. (3)
- van Schuppen, Jan H. (3)
- Apers, Peter M. G. (2)
- Baayen, Pieter Cornelis (2)
- Baeten, Jos C. M. (2)
- Bart, Harm (2)
- Bennett, Harold R. (2)
- Bongaarts, P. J. M. (2)
- Dekker, Theodorus Jozef (2)
- den Hollander, Frank (2)
- Gelsema, Edzard S. (2)
- Gohberg, Israel (2)
- Groote, Jan Friso (2)
- Hemker, Pieter Wilhelm (2)
- Kanal, Laveen N. (2)
- Litwin, Witold (2)
- Lutzer, David J. (2)
- Van der Vorst, Henk Albertus (2)
- van Dijk, Herman K. (2)
- van Eijck, Jan (2)
- van Emde Boas, Peter (2)
- van Mill, Jan (2)
- Veltman, Frank (2)
- Verduyn Lunel, Sjoerd M. (2)
- Wesseling, Pieter (2)
- Aarts, Johannes Michael (1)
- Adriaans, Pieter W. (1)
- Alberts, Gerard (1)
- Anthonisse, Ko (1)
- Axelsson, Axel Owe Holger (1)
- Baerends, E. J. (1)
- Barton, Michael H. (1)
- Bauerle, G. G. A. (1)
- Bauwens, Luc Claude A. (1)
- Bergvelt, Maarten J. (1)
- Blanken, Henk M. (1)
- Broenink, O. J. J. (1)
- Burg, J. F. M. (1)
- Buur, J. N. (1)
- Capel, Hans W. (1)
- Chaum, David (1)
- Clément, Philippe J. E. (1)
- Cohn, Anthony G. (1)
- Consel, Charles (1)
- Coplakova, Eva (1)
- Császár, Ákos E. (1)
- Dagless, Erik L. (1)
- Dalfó, Cristina (1)
- Date, Chris J. (1)
- de Brock, Bert (1)
- de Bruin, Marcel G. (1)
- de Jonge, Wiebren (1)
- de Pagter, Bernardus (1)
- de Roever, J. W. (1)
- De Ruiter, M. M. (1)
- Dewilde, Patrick M. (1)
- Díaz Díaz, Jesús Ildefonso (1)
- Diekmann, Odo (1)
- Dold-Samplonius, Yvonne (1)
- Duynkerke, Peter G. (1)
- Emmen, A. H. L. (1)
- Engmann, R. (1)
- Fay, Don (1)
- Fernau, Henning (1)
- Fiol, Miquel Angel (1)
- Fomin, Sergeĭ Vasil’evich (1)
- Gabbay, Dov M. (1)
- Gilli, Manfred (1)
- Goovaerts, Marc J. (1)
- Goudriaan, J. (1)
- Gourney, W. S. C. (1)
- Groeneboom, Piet (1)
- Groenendijk, Jeroen A. G. (1)
- Haitsma, A. H. (1)
- Hart, Klaas Pieter (1)
- Heering, Jan (1)
- Heijmans, Henk J. A. M. (1)
- Hek, G. M. (1)
- Helmbold, David P. (1)
- Herings, P. Jean-Jacques (1)
- Holtslag, A. A. M. (1)
- Homer, Steven (1)
- Hoogendoorn, P. J. (1)
- Jacobs, Bart (1)
- Janssen, Theo M. V. (1)
- Jennings, Nicholas R. (1)
- Jongbloed, Geurt (1)
- Jonker, P. J. (1)
- and 94 more Authors
all
top 5
Serial
- Lect. Notes Comput. Sci. (12)
- CWI Syllabus (10)
- MC Syllabus (6)
- Verh. Afd. Natuurkd., 1. Reeks, K. Ned. Akad. Wet. (4)
- Prog. Syst. Control Theory (3)
- Topology Appl. (2)
- Nieuw Arch. Wiskd., IV. Ser. (2)
- CSLI Lect. Notes (2)
- CWI Monogr. (2)
- CWI Tracts (2)
- Groningen-Amst. Stud. Semantics (GRASS) (2)
- Lect. Notes Math. (2)
- Synth. Libr. (2)
- Oper. Theory: Adv. Appl. (2)
- Comput. Phys. Commun. (1)
- J. Comput. Syst. Sci. (1)
- J. Econom. (1)
- Janus (1)
- Theor. Comput. Sci. (1)
- Insur. Math. Econ. (1)
- Stat. Sci. (1)
- CWI Q. (1)
- Formal Asp. Comput. (1)
- Math. Struct. Comput. Sci. (1)
- Network (1)
- Comput. Econ. (1)
- Bull. IGPL (1)
- Econ. Theory (1)
- Ann. Math. Artif. Intell. (1)
- AKCE Int. J. Graphs Comb. (1)
- Eur. Consortium Math. Ind. (1)
- ISNM, Int. Ser. Numer. Math. (1)
- Lect. Notes Biomath. (1)
- Lect. Notes Phys. (1)
- Mach. Intell. Pattern Recognition (1)
- Spec. Top. Supercomput. (1)
- Stud. Log. Comput. (1)
- Stud. Logic Found. Math. (1)
- Comput. Imaging Vis. (1)
- Electron. Notes Theor. Comput. Sci. (1)
all
top 5
Year of Publication
- 2019 (1)
- 2017 (1)
- 2015 (1)
- 2013 (2)
- 2009 (1)
- 2004 (1)
- 2002 (3)
- 2001 (2)
- 2000 (5)
- 1999 (5)
- 1998 (3)
- 1997 (1)
- 1996 (10)
- 1995 (9)
- 1994 (7)
- 1993 (4)
- 1992 (3)
- 1991 (4)
- 1990 (6)
- 1989 (1)
- 1988 (9)
- 1987 (3)
- 1986 (6)
- 1985 (3)
- 1984 (4)
- 1983 (4)
- 1982 (1)
- 1981 (5)
- 1980 (2)
- 1979 (6)
- 1978 (1)
- 1977 (1)
- 1971 (2)
- 1968 (2)
- 1961 (1)
all
top 3
Main Field
- 00-XX (94)
- 68-XX (48)
- 65-XX (13)
- 03-XX (10)
- 01-XX (8)
- 81-XX (8)
- 54-XX (7)
- 62-XX (7)
- 35-XX (6)
- 53-XX (5)
- 94-XX (5)
- 47-XX (4)
- 58-XX (4)
- 92-XX (4)
- 93-XX (4)
- 22-XX (3)
- 60-XX (3)
- 76-XX (3)
- 82-XX (3)
- 91-XX (3)
- 05-XX (2)
- 15-XX (2)
- 17-XX (2)
- 37-XX (2)
- 70-XX (2)
- 86-XX (2)
- 11-XX (1)
- 12-XX (1)
- 14-XX (1)
- 18-XX (1)
- 20-XX (1)
- 34-XX (1)
- 41-XX (1)
- 42-XX (1)
- 45-XX (1)
- 46-XX (1)
- 52-XX (1)
- 55-XX (1)
- 57-XX (1)
- 90-XX (1)