|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Topological Duality for Distributive Lattices: Theory and Applications | Gehrke, Mai | Hardcover | 1009349694 /
9781009349697 | 05/2024 | $80.74 |
|  | Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science) | Brewka, Gerhard | Other | 0511758995 /
9780511758997 | 06/2021 | $114.75 |
|  | Finite-State Techniques: Automata, Transducers and Bimachines (Cambridge Tracts in Theoretical Computer Science) | Mihov, Stoyan | Hardcover | 1108485413 /
9781108485418 | 09/2019 | $84.54 |
|  | Introduction to Coalgebra (Cambridge Classical Texts and Commentaries) | Jacobs, Bart | Hardcover | 1107177898 /
9781107177895 | 12/2016 | $171.00 |
|  | 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 |
|  | 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 |
|  | Modal Logic (Cambridge Tracts in Theoretical Computer Science) | Blackburn, Patrick | Open Ebook | 110705088X /
9781107050884 | 07/2014 | $191.25 |
|  | Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science) | Pitts, Andrew M. | Hardcover | 1107017785 /
9781107017788 | 07/2013 | $66.49 |
|  | Basic Proof Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science) | Troelstra, A. S. | Open Ebook | 1139168711 /
9781139168717 | 06/2012 | $213.75 |
|  | Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) | Stoltenberg-Hansen, V. | Open Ebook | 1139166387 /
9781139166386 | 06/2012 | $494.00 |
|  | Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Brewka, Gerhard | Paperback | 0521181305 /
9780521181303 | 03/2012 | $45.59 |
|  | Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Willem-Paul, de Roever | Paperback | 0521169321 /
9780521169325 | 01/2012 | $88.34 |
|  | Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Sangiorgi, Davide | Hardcover | 1107004977 /
9781107004979 | 11/2011 | $133.00 |
|  | Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science) | Sangiorgi, Davide | Open Ebook | 0511792581 /
9780511792588 | 11/2011 | $140.25 |
|  | Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) | Barwise, Jon | Open Ebook | 0511895968 /
9780511895968 | 11/2011 | $140.25 |
|  | Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) | Amadio, Roberto M. | Open Ebook | 0511983506 /
9780511983504 | 11/2011 | $140.25 |
|  | 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 |
|  | Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Novak, Ladislav | Paperback | 0521106591 /
9780521106597 | 09/2009 | $44.64 |
|  | 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 |
|  | Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Melham, T. F. | Paperback | 0521115329 /
9780521115322 | 07/2009 | $44.64 |
|  | A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Tse, T. H. | Paperback | 0521117879 /
9780521117876 | 07/2009 | $44.64 |
|  | The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Wolfram, D. A. | Paperback | 0521117909 /
9780521117906 | 07/2009 | $33.24 |
|  | Lambda-Calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Revesz, G. E. | Paperback | 0521114292 /
9780521114295 | 06/2009 | $60.79 |
|  | Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Mauw, S. | Paperback | 0521088127 /
9780521088121 | 12/2008 | $49.39 |
|  | 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 |
|
|
|
