|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-18, 1992. Proceedings 1992 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Kapur, Deepak | Paperback | 3540556028 /
9783540556022 | 05/1992 | $104.49 |
|  | Automated Reasoning: 7th International Joint Conference, Ijcar 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-2 2014 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Demri, Stéphane | Paperback | 3319085867 /
9783319085869 | 08/2014 | $52.24 |
|  | Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007 Revised and Invited Papers 2008 Edition (Lecture Notes in Artificial Intelligence) | Kapur, Deepak | Paperback | 3540878262 /
9783540878261 | 09/2008 | $103.55 |
|  | Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, P 2016 Edition (Lecture Notes in Computer Science) | Fränzle, Martin | Paperback | 3319476769 /
9783319476766 | 10/2016 | $52.24 |
|  | Theoretical Aspects of Computing - Ictac 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings 2017 Edition | Hung, Dang Van | Paperback | 3319677284 /
9783319677286 | 09/2017 | $52.24 |
|
|
|