|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Amadio, Roberto M. | Paperback | 0521062926 /
9780521062923 | 05/2008 | $66.49 |
|  | Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) | Amadio, Roberto M. | Open Ebook | 0511983506 /
9780511983504 | 11/2011 | $140.25 |
|  | Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Amadio, Roberto M. | Hardcover | 0521622778 /
9780521622776 | 08/1998 | $171.00 |
|  | Computational Learning Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Anthony, M. H. G. | Paperback | 0521599229 /
9780521599221 | 03/1997 | $52.24 |
|  | The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Asperti, Andrea | Hardcover | 0521621127 /
9780521621120 | 01/1999 | $102.60 |
|  | Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Baeten, J. C. M. | Hardcover | 0521820499 /
9780521820493 | 12/2009 | $107.35 |
|  | Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science) | Baeten, J. C. M. | Open Ebook | 113919500X /
9781139195003 | 07/2014 | $191.25 |
|  | Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Baeten, J. C. M. | Paperback | 0521607507 /
9780521607506 | 02/2005 | $105.45 |
|  | Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Barwise, Jon | Paperback | 0521070996 /
9780521070997 | 08/2008 | $64.59 |
|  | Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) | Barwise, Jon | Open Ebook | 0511895968 /
9780511895968 | 11/2011 | $140.25 |
|  | Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Barwise, Jon | Hardcover | 0521583861 /
9780521583862 | 07/1997 | $81.69 |
|  | Modal Logic (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Blackburn, Patrick | Paperback | 0521527147 /
9780521527149 | 09/2002 | $107.35 |
|  | Modal Logic (Cambridge Tracts in Theoretical Computer Science) | Blackburn, Patrick | Open Ebook | 110705088X /
9781107050884 | 07/2014 | $191.25 |
|  | Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Brewka, Gerhard | Paperback | 0521181305 /
9780521181303 | 03/2012 | $45.59 |
|  | Nonmonotonic Reasoning (Soviet and East European Studies) | Brewka, Gerhard | Hardcover | 0521383943 /
9780521383943 | 01/1991 | $77.89 |
|  | Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science) | Brewka, Gerhard | Other | 0511758995 /
9780511758997 | 06/2021 | $114.75 |
|  | Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Bundy, Alan | Hardcover | 052183449X /
9780521834490 | 08/2005 | $133.00 |
|  | 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 |
|  | Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Chaitin, Gregory J. | Paperback | 0521616042 /
9780521616041 | 12/2004 | $59.84 |
|  | 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 |
|  | Design Theory and Computer Science (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Dasgupta, Subrata | Hardcover | 0521390214 /
9780521390217 | 05/1991 | $187.15 |
|  | Design Theory and Computer Science: Processes and Methodology of Computer Systems Design (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Dasgupta, Subrata | Paperback | 0521118158 /
9780521118156 | 08/2009 | $80.74 |
|  | Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | de Roever, Willem-Paul | Hardcover | 0521806089 /
9780521806084 | 11/2001 | $269.80 |
|  | 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 |
|  | Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Demri, Stéphane | Hardcover | 1107028361 /
9781107028364 | 12/2016 | $133.00 |
|
|
|
