|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings 2000 Edition (Lecture Notes in Computer Science) | Gurevich, Yuri | Paperback | 3540679596 / 9783540679592 | 08/2000 | $52.24 |
| | Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers 1994 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540582770 / 9783540582779 | 07/1994 | $52.24 |
| | Current Trends in Theoretical Computer Science: Essays and Tutorials (World Scientific Computer Science) | Rozenberg, Grzegorz | Hardcover | 9810214626 / 9789810214623 | 06/1993 | $167.20 |
| | Semantics of Programming Languages and Model Theory (Classics in the History and Philosophy of Science) | Droste, Manfred | Hardcover | 2881249353 / 9782881249358 | 09/1993 | $180.50 |
| | Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science) | Meyer, Bertrand | Paperback | 3540737693 / 9783540737698 | 08/2007 | $52.24 |
| | The Classical Decision Problem Softcover Repri Edition (Universitext) | Börger, Egon | Paperback | 3540423249 / 9783540423249 | 08/2001 | $189.99 |
|
|
|