|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540735946.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/364/9783642370748.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/354/9783540201021.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/354/9783540582168.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/354/9783540368342.jpg&wmax=80&hmax=80) | 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 |
|
|
|