|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Epistemic Logic for AI and Computer Science Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Meyer, J. -J Ch | Paperback | 0521602807 /
9780521602808 | 03/2004 | $71.24 |
|  | Extensions of First-Order Logic Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Manzano, Maria | Paperback | 0521019028 /
9780521019026 | 08/2005 | $81.69 |
|  | Finite-State Techniques: Automata, Transducers and Bimachines (Cambridge Tracts in Theoretical Computer Science) | Mihov, Stoyan | Hardcover | 1108485413 /
9781108485418 | 09/2019 | $84.54 |
|  | 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 |
|  | 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 |
|  | Free Choice Petri Nets Pbk Version Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Desel, Jorg | Paperback | 0521019451 /
9780521019453 | 09/2005 | $45.59 |
|  | 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 |
|  | Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Novak, Ladislav | Paperback | 0521106591 /
9780521106597 | 09/2009 | $44.64 |
|  | Hybrid Graph Theory and Network Analysis (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Novak, Ladislav | Hardcover | 0521461170 /
9780521461177 | 09/1999 | $133.00 |
|  | 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 (Hardcover)) | Barwise, Jon | Hardcover | 0521583861 /
9780521583862 | 07/1997 | $81.69 |
|  | Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) | Barwise, Jon | Open Ebook | 0511895968 /
9780511895968 | 11/2011 | $140.25 |
|  | Introduction to Coalgebra (Cambridge Classical Texts and Commentaries) | Jacobs, Bart | Hardcover | 1107177898 /
9781107177895 | 12/2016 | $171.00 |
|  | Lambda-Calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Revesz, G. E. | Paperback | 0521114292 /
9780521114295 | 06/2009 | $60.79 |
|  | 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 |
|  | Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Stoltenberg-Hansen, V. | Paperback | 0521064791 /
9780521064798 | 06/2008 | $74.09 |
|  | Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) | Stoltenberg-Hansen, V. | Open Ebook | 1139166387 /
9781139166386 | 06/2012 | $494.00 |
|  | 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 |
|  | 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 |
|  | Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship (Occasional Papers) | Olderog, E. -R | Hardcover | 0521400449 /
9780521400442 | 10/1991 | $133.00 |
|  | 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 |
|  | Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science) | Pitts, Andrew M. | Hardcover | 1107017785 /
9781107017788 | 07/2013 | $66.49 |
|
|
|
