|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Deduction - CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings 2007 Edition (Lecture Notes in Computer Science) | Pfenning, Frank | Paperback | 3540735941 / 9783540735946 | 07/2007 | $52.24 |
| | Foundations of Software Science and Computation Structures: 16th International Conference, Fossacs 2013, Held as Part of the European Joint Conference 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Pfenning, Frank | Paperback | 3642370748 / 9783642370748 | 02/2013 | $52.24 |
| | Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 22-25, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Pfenning, Frank | Paperback | 3540201025 / 9783540201021 | 09/2003 | $52.24 |
| | Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings 1994 Edition (Biotechnology in Agriculture and Forestry) | Pfenning, Frank | Paperback | 3540582169 / 9783540582168 | 06/1994 | $52.24 |
| | Term Rewriting and Applications: 17th International Conference, Rta 2006, Seattle, Wa, Usa, August 12-14, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Pfenning, Frank | Paperback | 3540368345 / 9783540368342 | 07/2006 | $52.24 |
|
|
|