| Books 1 - 10 of 11 | Previous | Next |
|
 | | Computer-Aided Reasoning: An Approach (Advances in Formal Methods) (1st Edition)
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Hardcover, 292 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods) (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 360 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer Aided Reasoning Two Volume Set (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 648 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Physically Based Rendering : From Theory to Implementation (The Morgan Kaufmann Series in Interactive 3D Technology) (The Interactive 3d Technology Series)
by Matt Pharr, Greg Humphreys
Hardcover, 1042 Pages, Published 2004 by Morgan Kaufmann
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Discovering the Universe w/Starry Night CD-ROM (7th Edition)
by Neil F. Comins, William J. Kaufmann
Paperback, 544 Pages, Published 2005 by W. H. Freeman, 7th Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer Networks: A Systems Approach, rd Edition (The Morgan Kaufmann Series in Networking) (3rd Edition)
by Larry L. Peterson, Bruce S. Davie
Hardcover, 813 Pages, Published 2003 by Morgan Kaufmann, 3rd Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | COMPUTER-AIDED REASONING
by Matt Kaufmann
Paperback, Published 1980 by NY
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer Aided Reasoning an Approach
by Matt Kaufmann
Hardcover, Published 1980 by KLUWER ACADEMIC PUBLISHERS
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Interaction with the Boyer-Moore Theorem Prover: A tutorial study using the arithmetic-geometric mean theorem (Technical report)
by Matt Kaufmann
Unknown Binding, 121 Pages, Published 1991 by Computational Logic, Inc
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Comparing Gypsy and the Boyer-Moore logic for specifying secure systems (Technical report)
by Matt Kaufmann
Unknown Binding, Published 1987 by Institute for Computing Science, The University of Texas at Austin
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 11 | Previous | Next |