|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings (Lecture Notes in Artificial Intelligence) | Gramlich, Bernhard | Paperback | 3642313647 /
9783642313646 | 06/2012 | $52.24 |
|  | Certified Programs and Proofs: Second International Conference, Cpp 2012, Kyoto, Japan, December 13-15, 2012, Proceedings 2012 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Hawblitzel, Chris | Paperback | 364235307X /
9783642353079 | 11/2012 | $52.24 |
|  | Cultural Divides: Understanding and Overcoming Group Conflict | Prentice, Deborah | Paperback | 0871546892 /
9780871546890 | 08/2001 | $27.08 |
|  | Programming with Higher-Order Logic | Miller, Dale | Hardcover | 052187940X /
9780521879408 | 06/2012 | $55.09 |
|  | Programming with Higher-Order Logic | Miller, Dale | Open Ebook | 113902132X /
9781139021326 | 08/2012 | $191.25 |
|
|
|