|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Chaitin, Gregory J. | Paperback | 0521616042 /
9780521616041 | 12/2004 | $59.84 |
|  | Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Baeten, J. C. M. | Paperback | 0521607507 /
9780521607506 | 02/2005 | $105.45 |
|  | Belief Revision Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Gardenfors, Peter | Paperback | 0521545641 /
9780521545648 | 12/2003 | $75.99 |
|  | Extensions of First-Order Logic Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Manzano, Maria | Paperback | 0521019028 /
9780521019026 | 08/2005 | $81.69 |
|  | Formal Methods in Artificial Intelligence Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Ramsay, Allan M. | Paperback | 0521424216 /
9780521424219 | 07/1991 | $45.59 |
|  | Handbook of Logic in Computer Science | Abramsky, S. | Hardcover | 0198537816 /
9780198537816 | 04/2001 | $574.75 |
|  | Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures | Abramsky, S. | Hardcover | 0198537611 /
9780198537618 | 03/1993 | $513.00 |
|  | Handbook of Logic in Computer Science: Volume 4: Semantic Modelling | Abramsky, S. | Hardcover | 0198537808 /
9780198537809 | 06/1995 | $465.50 |
|  | Logic and Computation: Interactive Proof with Cambridge Lcf Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Paulson, Lawrence C. | Paperback | 0521395607 /
9780521395601 | 07/1990 | $61.74 |
|  | Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Olderog, E. R. | Paperback | 0521018455 /
9780521018456 | 08/2005 | $53.19 |
|  | The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Carpenter, Bob | Paperback | 0521022541 /
9780521022545 | 11/2005 | $53.19 |
|  | The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Asperti, Andrea | Hardcover | 0521621127 /
9780521621120 | 01/1999 | $102.60 |
|  | The Uncertain Reasoner's Companion: A Mathematical Perspective Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Paris, J. B. | Paperback | 0521032725 /
9780521032728 | 11/2006 | $56.04 |
|  | Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science (Paperback)) | McEvoy, K. | Paperback | 052154565X /
9780521545655 | 12/2003 | $60.79 |
|  | Topology Via Logic Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Vickers, Steven | Paperback | 0521576512 /
9780521576512 | 09/1996 | $65.54 |
|  | Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Winslett, Marianne | Paperback | 0521619726 /
9780521619721 | 02/2005 | $44.64 |
|
|
|