|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | A Unifying Framework for Structured Analysis and Design Models (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Tse, T. H. | Hardcover | 0521391962 /
9780521391962 | 05/1991 | $133.00 |
|  | 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 |
|  | Action Semantics (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Mosses, Peter D. | Paperback | 0521619335 /
9780521619332 | 02/2005 | $63.64 |
|  | Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Sangiorgi, Davide | Hardcover | 1107004977 /
9781107004979 | 10/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 |
|  | Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Mauw, S. | Paperback | 0521088127 /
9780521088121 | 12/2008 | $49.39 |
|  | 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 Proof Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Troelstra, Anne S. | Paperback | 0521779111 /
9780521779111 | 07/2000 | $58.89 |
|  | Basic Proof Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science) | Troelstra, A. S. | Open Ebook | 1139168711 /
9781139168717 | 06/2012 | $213.75 |
|  | Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Hindley, J. Roger | Hardcover | 0521465184 /
9780521465182 | 07/1997 | $119.70 |
|  | Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Hindley, J. Roger | Paperback | 0521054222 /
9780521054225 | 01/2008 | $46.54 |
|  | 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 | 02/1997 | $52.24 |
|  | 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 |
|  | Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Roever, Willem-Paul De | 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 |
|  | Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | de Roever, Willem-Paul | Hardcover | 0521641705 /
9780521641708 | 12/1998 | $152.00 |
|  | Deductive and Declarative Programming Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Padawitz, Peter | Paperback | 0521032512 /
9780521032513 | 11/2006 | $53.19 |
|  | Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Simmons, H. | Hardcover | 0521771730 /
9780521771733 | 05/2000 | $152.00 |
|  | 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 |
|  | 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 (Hardcover)) | Amadio, Roberto M. | Hardcover | 0521622778 /
9780521622776 | 07/1998 | $171.00 |
|  | Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) | Amadio, Roberto M. | Open Ebook | 0511983506 /
9780511983504 | 11/2011 | $140.25 |
|
|
|
