Skip to contents

Bakker, Jacobus W. de [Editor] ; REX School Workshop 1990 Noordwijkerhout

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer-Verl., 1991

Published in: Lecture notes in computer science ; 489
Bakker, Jacobus W. de [Author] ; Bruin, Arie de [Other]

Mathematical theory of program correctness

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980

Published in: Prentice-Hall International series in computer science
Bakker, Jacobus W. de [Editor] ; REX Workshop 1992 Beekbergen

Semantics : foundations and applications ; REX Workshop, Beekbergen, The Netherlands, June 1 - 4, 1992 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Lecture notes in computer science ; 666
Bakker, Jacobus W. de [Editor] ; School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988 Noordwijkerhout

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1989

Published in: Lecture notes in computer science ; 354
Nagel, Wolfgang E. [Editor]; Kröner, Dietmar [Editor]; Resch, Michael [Editor] ; Höchstleistungsrechenzentrum Stuttgart

High performance computing in science and engineering ' 17 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Cham]: Springer Nature, [2018]
Bakker, Jacobus W. de [Editor]; Roever, Willem-Paul de [Other] ; REX School Symposium 1993 Noordwijkerhout

A decade of concurrency : reflections and perspectives; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 803
Bakker, Jacobus W. de [Other]

Languages for parallel architectures : design, semantics, implementation models

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chichester [u.a.]: Wiley, 1989

Published in: Wiley series in parallel computing
Benatti, Fabio [Editor]; Fannes, Mark [Editor]; Floreanini, R. [Editor]; Petritis, D. [Editor]

Quantum information, computation and cryptography : an introductory survey of theory, technology and experiments

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2010

Published in: Lecture notes in physics ; 808
Leyton, Michael [Author]

A generative theory of shape

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2145
Bakker, Jacobus W. de [Editor] ; Advanced School on Current Trends in Concurrency 1985 Noordwijkerhout

Current trends in concurrency : overviews and tutorials ; [... proceedings of the ESPRIT/LPC Advanced School on Current Trends in Concurrency, held June 10 - 21, 1985, at Noordwijkerhout, the Netherlands]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1986

Published in: Lecture notes in computer science ; 224
Arbib, Michael A. [Author]; Kfoury, Assaf J. [Author]; Moll, Robert N. [Author] ; Arbib, Michael Anthony [Other]

A basis for theoretical computer science

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, c 1981

Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science
Bakker, Jacobus W. de [Editor] ; REX Workshop 1991 Mook

Real-time: theory in practice : REX Workshop, Mook, The Netherlands, June 3 - 7, 1991 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 600
Bakker, Jacobus W. de [Editor] ; REX Workshop 1989 Mook

Stepwise refinement of distributed systems : models, formalisms, correctness ; REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 430
Bello, Fernando [Editor]; Cotin, Stéphane [Performer] ; ISBMS 5 2010 Phoenix, Ariz

Biomedical simulation : 5th international symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5958
Bello, Fernando [Editor] ; ISBMS 4 2008 London

Biomedical simulation : 4th international symposium, ISBMS 2008, London, UK, July 7 - 8, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5104
Hromkovič, Juraj [Author]

Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Texts in theoretical computer science ; an EATCS series
Engquist, Björn [Editor]; Fokas, Athanassios S. [Editor]; Hairer, Ernst [Editor]; Iserles, Arieh [Editor]

Highly oscillatory problems - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 2009

Published in: London Mathematical Society: Lecture note series / London Mathematical Society ; 366
Hariharan, Ramesh [Editor]; Mukund, Madhavan [Other]; Vinay, V. [Other] ; FST and TCS 21 2001 Bangalore

FST TCS 2001: Foundations of software technology and theoretical computer science : 21st Conference, Bangalore, India, December 13 - 15, 2001; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2245
Dassow, Jürgen [Editor]; Kelemen, Jozef [Editor] ; International Meeting of Young Computer Scientists 6 1990 Smolenice

Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19 - 23, 1990 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 464
Aldroubi, Akram [Editor]; Unser, Michael [Other]; Unser, Michael A. [Editor]

Wavelets in medicine and biology

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boca Raton, Fla. [u.a.]: CRC Press, 1996

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication