|
Search | About | Preferences | Interact | Help |
| 150 million books. 1 search engine. | |
J.W. De Bakker (J. W. De Bakker / J. W. de Bakker / De Bakker, J.W. / de Bakker, J. W. / Bakker, J. W. De / De Bakker, J. W.)
- Algorithmic Languages: Proceedings of the International Symposium on Algorithmic Languages
by International Federation for Information Processing, J. W. De Bakker, J. C. Van Vliet, Mathematisch Centrum (Amsterdam, Netherlands)
Hardcover, North-Holland Pub Co, ISBN 0444862854 (0-444-86285-4) - Basic Simple Type Theory
by J. Roger Hindley, C. J. van Rijsbergen, S. Abramsky, P. H. Aczel, J. W. De Bakker
Hardcover, Cambridge University Press, ISBN 0521465184 (0-521-46518-4) - Control Flow Semantics
by Jaco De Bakker, Erik De Vink
Hardcover, MIT Press, ISBN 0262041545 (0-262-04154-5) - Current Trends in Concurrency
by J.W. De Bakker
Softcover, Springer Verlag, ISBN 038716488X (0-387-16488-X) - A Decade of Concurrency: Reflections and Perspectives REX School/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 Proceedings
by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
Hardcover, Springer-Verlag, ISBN 3540580433 (3-540-58043-3) - Deductive and Declarative Programming
by P. Padawitz
Softcover, Cambridge Univ Pr, ISBN 0521032512 (0-521-03251-2) - Extensions of First-order Logic
by Maria Manzano
Softcover, Cambridge Univ Pr, ISBN 0521019028 (0-521-01902-8) - Foundations of Computer Science
by J. W. De Bakker
Hardcover, Mathematisch Centrum, ISBN 9061961114 (90-6196-111-4) - Foundations of Computer Science II
by Krzysztof R. Apt, J. W. De Bakker
Hardcover, Mathematisch Centrum, ISBN 9061961408 (90-6196-140-8) - Foundations of Computer Science III
by J. Van Leeuwen, J. W. De Bakker
Softcover, Mathematisch Centrum, ISBN 9061961769 (90-6196-176-9)More editions of Foundations of Computer Science III:
- Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990
by J.W. De Bakker, W.P. De Roever, G. Rozenberg
Softcover, Springer Verlag, ISBN 038753931X (0-387-53931-X) - Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 Proceedings
by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
Hardcover, Springer-Verlag, ISBN 354053931X (3-540-53931-X) - Languages for Parallel Architectures: Design, Semantics, Implementation Models
by J.W. De Bakker, J. W. De Bakker
Hardcover, John Wiley & Sons Inc, ISBN 0471921777 (0-471-92177-7) - Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3,
by J.W. De Bakker, W.P. De Roever, School, Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijker, Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
Softcover, Springer Verlag, ISBN 038751080X (0-387-51080-X) - The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs And Constraint Resolution
by Robert L. Carpenter
Softcover, Cambridge Univ Pr, ISBN 0521022541 (0-521-02254-1) - Logic Programming Languages: Constraints, Functions, and Objects
by J.W. De Bakker, Krzysztof R. Apt, J. M. Rutten
Softcover, Mit Pr, ISBN 0262511673 (0-262-51167-3)More editions of Logic Programming Languages: Constraints, Functions, and Objects:
- Mathematical Theory of Program Correctness
by J. W. De Bakker
Hardcover, Prentice-Hall International, ISBN 0135621321 (0-13-562132-1) - Mathematics and Computer Science: Proceedings of the Cwi Symposium, November 1983
by J.W. De Bakker
Hardcover, Elsevier Science Ltd, ISBN 0444700242 (0-444-70024-2) - Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
by E.-R Olderog
Softcover, Cambridge Univ Pr, ISBN 0521018455 (0-521-01845-5) - Parle: Parallel Architectures and Languages Europe Parallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedings
by J.W. De Bakker, A.J. Nijman, P.C. Treleaven
Softcover, Springer Verlag, ISBN 0387179437 (0-387-17943-7)More editions of Parle: Parallel Architectures and Languages Europe Parallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedings:
- Programs, Recursion And Unbounded Choice
by Wim H. Hesselink
Softcover, Cambridge Univ Pr, ISBN 0521018293 (0-521-01829-3) - Real-Time: Theory in Practice Rex Workshop Mook, the Netherlands, June 1991 Proceedings
by J.W. De Bakker, W.P. De Roever, C. Huizing, G. Rozenberg
Softcover, Springer Verlag, ISBN 0387555641 (0-387-55564-1)More editions of Real-Time: Theory in Practice Rex Workshop Mook, the Netherlands, June 1991 Proceedings:
- Semantics: Foundations and Applications Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings
by J.W. De Bakker, W.P. De Roever, G. Rozenberg
Softcover, Springer Verlag, ISBN 0387565965 (0-387-56596-5) - Semantics: Foundations and Applications REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 Proceedings
by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
Hardcover, Springer-Verlag, ISBN 3540565965 (3-540-56596-5) - Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness Proceedings
by J.W. De Bakker, W.P. De Roever, G. Rozenberg
Softcover, Springer Verlag, ISBN 0387525599 (0-387-52559-9) - Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 Proceedings
by Grzegorz Rozenberg, W.-P. De Roever, J. W. De Bakker
Hardcover, Springer-Verlag, ISBN 3540525599 (3-540-52559-9) - Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concurrency Group
by J.W. De Bakker, Amsterdam Concurrency Group, J.J.M.M. Rutten, J. W. De Bakker
Hardcover, World Scientific Pub Co Inc, ISBN 9810210418 (981-02-1041-8) - The Uncertain Reasoner's Companion: A Mathematical Perspective
by J. B. Paris
Softcover, Cambridge Univ Pr, ISBN 0521032725 (0-521-03272-5)
![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}