|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science; 1632. Lecture Notes in Ar) | Ganzinger, Harald | Paperback | 3540662227 /
9783540662228 | 06/1999 | $52.24 |
|  | ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings 1988 Edition (Lecture Notes in Computer Science) | Ganzinger, Harald | Paperback | 3540190279 /
9783540190271 | 03/1988 | $52.24 |
|  | Informatik: Festschrift Zum 60. Geburtstag Von Günter Hotz 1992 Edition (Teubner Texte Zur Informatik) (German) | Buchmann, Johannes | Paperback | 3815420334 /
9783815420331 | 02/1992 | $47.49 |
|  | Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science) | Ganzinger, Harald | Paperback | 3540664920 /
9783540664925 | 08/1999 | $52.24 |
|  | Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 1986 Edition (Lecture Notes in Computer Science) | Ganzinger, Harald | Paperback | 3540164464 /
9783540164463 | 03/1986 | $47.49 |
|  | Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings (Eso Astrophysics Symposia) | Ganzinger, Harald | Paperback | 3540614648 /
9783540614647 | 07/1996 | $52.24 |
|
|
|