|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Furbach, Ulrich | Paperback | 3540371877 / 9783540371878 | 08/2006 | $104.49 |
| | Metamathematics, Machines and Gödel's Proof Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Shankar, N. | Paperback | 0521585333 / 9780521585330 | 03/1997 | $53.19 |
| | Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Shankar, Natarajan | Paperback | 3540878726 / 9783540878728 | 09/2008 | $52.24 |
|
|
|