| 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.)
› Search all books by 'J.W. De Bakker'
Algorithmic Languages: Proceedings of the International Symposium on Algorithmic LanguagesISBN 0444862854 (0-444-86285-4)
Hardcover, North-Holland Pub Co
Find All Copies
› Find collectible copies of 'Algorithmic Languages: Proceedings of the International Symposium on Algorithmic Languages'- Basic Simple Type TheoryISBN 0521465184 (0-521-46518-4)
Hardcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Basic Simple Type Theory' - Control Flow SemanticsISBN 0262041545 (0-262-04154-5)
Hardcover, MIT Press
Find All Copies
› Find collectible copies of 'Control Flow Semantics' - Current Trends in Concurrencyby J.W. De BakkerISBN 038716488X (0-387-16488-X)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Current Trends in Concurrency' - Decade of Concurrency: Reflections and Perspectives - Rex School/Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 - Proceedingsby J.W. De BakkerISBN 3540580433 (3-540-58043-3)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Decade of Concurrency: Reflections and Perspectives - Rex School/Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 - Proceedings' - Deductive and Declarative Programmingby J.W. De BakkerISBN 0521032512 (0-521-03251-2)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Deductive and Declarative Programming' - Extensions of First-order Logicby J.W. De BakkerISBN 0521019028 (0-521-01902-8)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Extensions of First-order Logic' - Foundations of Computer Scienceby J.W. De BakkerISBN 9061961114 (90-6196-111-4)
Hardcover, Mathematisch Centrum
Find All Copies
› Find collectible copies of 'Foundations of Computer Science' - Foundations of Computer Science IIby J.W. De BakkerISBN 9061961408 (90-6196-140-8)
Hardcover, Mathematisch Centrum
Find All Copies
› Find collectible copies of 'Foundations of Computer Science II' - Foundations of Computer Science IIIby J.W. De BakkerISBN 9061961769 (90-6196-176-9)
Softcover, Mathematisch Centrum
Find All Copies
› Find collectible copies of 'Foundations of Computer Science III'More editions of Foundations of Computer Science III:
- Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990by J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 038753931X (0-387-53931-X)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990' - Foundations of Object-Oriented Languages: Workshop Proceedingsby J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 354053931X (3-540-53931-X)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Foundations of Object-Oriented Languages: Workshop Proceedings' - Languages for Parallel Architectures: Design, Semantics, Implementation Modelsby J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 0471921777 (0-471-92177-7)
Hardcover, Dennis Publications, Richard
Find All Copies
› Find collectible copies of 'Languages for Parallel Architectures: Design, Semantics, Implementation Models' - 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 BakkerISBN 038751080X (0-387-51080-X)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3,' - The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolutionby 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 BakkerISBN 0521022541 (0-521-02254-1)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution' - Logic Programming Languages: Constraints, Functions, and Objectsby 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 BakkerISBN 0262511673 (0-262-51167-3)
Softcover, MIT Press
Find All Copies
› Find collectible copies of 'Logic Programming Languages: Constraints, Functions, and Objects'More editions of Logic Programming Languages: Constraints, Functions, and Objects:
- Mathematical Theory of Programme Correctnessby 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 BakkerISBN 0135621321 (0-13-562132-1)
Hardcover, Pearson Education, Limited
Find All Copies
› Find collectible copies of 'Mathematical Theory of Programme Correctness' - Mathematics and Computer Science: Proceedings of the Cwi Symposium, November 1983by J.W. De BakkerISBN 0444700242 (0-444-70024-2)
Hardcover, Elsevier Science Ltd
Find All Copies
› Find collectible copies of 'Mathematics and Computer Science: Proceedings of the Cwi Symposium, November 1983' - Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationshipby J.W. De BakkerISBN 0521018455 (0-521-01845-5)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship' - Parle: Parallel Architectures and Languages Europe Parallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedingsby J.W. De Bakker , A.J. Nijman, P.C. TreleavenISBN 0387179437 (0-387-17943-7)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Parle: Parallel Architectures and Languages Europe Parallel Architectures Eindhoven, the Netherlands, June 15-19, 1987 Proceedings'More editions of Parle: Parallel Architectures and Languages Europe Parallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedings:
-
Programs, Recursion and Unbounded Choiceby J.W. De Bakker , A.J. Nijman, P.C. TreleavenISBN 0521018293 (0-521-01829-3)
Softcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Programs, Recursion and Unbounded Choice' - Real-Time: Theory in Practice Rex Workshop Mook, the Netherlands, June 1991 Proceedingsby J.W. De Bakker , W.P. De Roever, C. Huizing, G. RozenbergISBN 0387555641 (0-387-55564-1)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Real-Time: Theory in Practice Rex Workshop Mook, the Netherlands, June 1991 Proceedings'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 Proceedingsby J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 0387565965 (0-387-56596-5)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Semantics: Foundations and Applications Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings'More editions of Semantics: Foundations and Applications Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings:
- Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - Workshop Proceedingsby J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 3540525599 (3-540-52559-9)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - Workshop Proceedings' - Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness Proceedingsby J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 0387525599 (0-387-52559-9)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness Proceedings' - Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concurrency Groupby J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 9810210418 (981-02-1041-8)
Hardcover, World Scientific Publishing Company, Incorporated
Find All Copies
› Find collectible copies of 'Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concurrency Group' - The Uncertain Reasoner's Companion: A Mathematical Perspectiveby J.W. De Bakker , W.P. De Roever, G. RozenbergISBN 0521032725 (0-521-03272-5)
Softcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'The Uncertain Reasoner's Companion: A Mathematical Perspective'
![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}