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