|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Brewka, Gerhard | Paperback | 0521181305 /
9780521181303 | 03/2012 | $45.59 |
|  | Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Novak, Ladislav | Paperback | 0521106591 /
9780521106597 | 09/2009 | $44.64 |
|  | Formal Specification and Design Pbk Version Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Feijs, L. M. G. | Paperback | 0521435927 /
9780521435925 | 11/2005 | $58.89 |
|  | Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Amadio, Roberto M. | Paperback | 0521062926 /
9780521062923 | 05/2008 | $66.49 |
|  | Computational Learning Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Anthony, M. H. G. | Paperback | 0521599229 /
9780521599221 | 03/1997 | $52.24 |
|  | Extensions of First-Order Logic Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Manzano, Maria | Paperback | 0521019028 /
9780521019026 | 08/2005 | $81.69 |
|  | Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Klop, Jan Willem | Hardcover | 0521391156 /
9780521391153 | 04/2003 | $242.25 |
|  | Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Mauw, S. | Paperback | 0521088127 /
9780521088121 | 12/2008 | $49.39 |
|  | Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Stoltenberg-Hansen, V. | Paperback | 0521064791 /
9780521064798 | 06/2008 | $74.09 |
|  | 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 |
|  | Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science (Paperback)) | de Roever, Willem-Paul | Paperback | 0521103509 /
9780521103503 | 12/2008 | $63.64 |
|  | Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Melham, T. F. | Paperback | 0521115329 /
9780521115322 | 07/2009 | $44.64 |
|  | Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Melham, T. F. | Hardcover | 052141718X /
9780521417181 | 11/1993 | $133.00 |
|  | Lambda-Calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Revesz, G. E. | Paperback | 0521114292 /
9780521114295 | 06/2009 | $60.79 |
|  | Free Choice Petri Nets Pbk Version Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Desel, Jorg | Paperback | 0521019451 /
9780521019453 | 09/2005 | $45.59 |
|  | Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Bundy, Alan | Hardcover | 052183449X /
9780521834490 | 08/2005 | $133.00 |
|  | Design Theory and Computer Science (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Dasgupta, Subrata | Hardcover | 0521390214 /
9780521390217 | 05/1991 | $187.15 |
|  | Understanding Z: A Specification Language and Its Formal Semantics (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Spivey, J. M. | Paperback | 0521054141 /
9780521054140 | 01/2008 | $42.74 |
|  | Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Barwise, Jon | Paperback | 0521070996 /
9780521070997 | 08/2008 | $64.59 |
|  | Basic Proof Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Troelstra, Anne S. | Paperback | 0521779111 /
9780521779111 | 07/2000 | $58.89 |
|  | Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Novak, Ladislav | Hardcover | 0521461170 /
9780521461177 | 09/1999 | $133.00 |
|  | Derivation and Computation (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Simmons, H. | Hardcover | 0521771730 /
9780521771733 | 05/2000 | $152.00 |
|  | Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Sangiorgi, Davide | Hardcover | 1107004977 /
9781107004979 | 11/2011 | $133.00 |
|  | 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 |
|  | Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Hesselink, Wim H. | Paperback | 0521018293 /
9780521018296 | 08/2005 | $53.19 |
|
|
|
