|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Action Semantics (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Mosses, Peter D. | Paperback | 0521619335 /
9780521619332 | 02/2005 | $63.64 |
|  | 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 |
|  | Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Hindley, J. Roger | Hardcover | 0521465184 /
9780521465182 | 08/1997 | $119.70 |
|  | Belief Revision Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Gardenfors, Peter | Paperback | 0521545641 /
9780521545648 | 12/2003 | $75.99 |
|  | Computational Learning Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Anthony, M. H. G. | Paperback | 0521599229 /
9780521599221 | 03/1997 | $52.24 |
|  | Deductive and Declarative Programming Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Padawitz, P. | Paperback | 0521032512 /
9780521032513 | 11/2006 | $53.19 |
|  | 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 |
|  | Formal Semantics and Pragmatics for Natural Language Querying Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Clifford, James | Paperback | 0521602742 /
9780521602747 | 03/2004 | $53.19 |
|  | Free Choice Petri Nets Pbk Version Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Desel, Jorg | Paperback | 0521019451 /
9780521019453 | 09/2005 | $45.59 |
|  | Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Barwise, Jon | Hardcover | 0521583861 /
9780521583862 | 07/1997 | $81.69 |
|  | 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 |
|  | Metamathematics, Machines and Gödel's Proof Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Shankar, N. | Paperback | 0521585333 /
9780521585330 | 03/1997 | $53.19 |
|  | 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 |
|  | Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Manes, Ernest G. | Paperback | 0521616107 /
9780521616102 | 12/2004 | $63.64 |
|  | Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Hesselink, Wim H. | Paperback | 0521018293 /
9780521018296 | 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 |
|  | Two-Level Functional Languages Pbk Version Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Nielson, Flemming | Paperback | 0521018471 /
9780521018470 | 08/2005 | $58.89 |
|  | Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Winslett, Marianne | Paperback | 0521619726 /
9780521619721 | 02/2005 | $44.64 |
|
|
|