| Books 1 - 7 of 7 | Previous | Next |
|
 | | Physically Based Rendering: From Theory to Implementation (The Morgan Kaufmann Series in Interactive 3d Technology) (Har/Cdr Edition)
by Matt Pharr, Greg Humphreys
Hardcover, 1042 Pages, Published 2004 by Morgan Kaufmann, Har/Cdr Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer-aided Reasoning: An Approach: ACL2 Case Studies Pt. 2 (Advances in Formal Methods)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J.Strother Moore (Editor)
Hardcover, 360 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer-aided Reasoning: An Approach: ACL2 Studies Pt. 1 (Advances in Formal Methods)
by Matt Kaufmann, Panagiotis Manolios, J.Strother Moore
Hardcover, 292 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer-aided Reasoning: An Approach: Pts. 1 & 2 (Advances in Formal Methods)
by Matt Kaufmann, Panagiotis Manolios, J.Strother Moore
Hardcover, 648 Pages, Published 2000 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 |
|
 | | The Boyer-Moore Prover and Nuprl: an experimental comparison
by David Basin, Matt Kaufmann
Unknown Binding, Published 1991 by University of Edinburgh, Department of Artificial Intelligence
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 - 7 of 7 | Previous | Next |