|
|
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 |
|
|
|