|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Canonical Equational Proofs Softcover Repri Edition (Progress in Theoretical Computer Science) | Bachmair | Paperback | 0817635556 /
9780817635558 | 06/1991 | $52.24 |
|  | Neural Networks and Analog Computation: Beyond the Turing Limit 1999 Edition (Progress in Theoretical Computer Science) | Siegelmann, Hava T. | Paperback | 1461268753 /
9781461268758 | 10/2012 | $161.49 |
|  | Verifying Temporal Properties of Systems Softcover Repri Edition (Progress in Theoretical Computer Science) | Bradfield, J. C. | Paperback | 1468468219 /
9781468468212 | 02/2012 | $52.24 |
|  | Algol-Like Languages 1997 Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Paperback | 1475738536 /
9781475738537 | 03/2013 | $104.49 |
|  | Algorithms for Random Generation and Counting: A Markov Chain Approach 1993 Edition (Progress in Theoretical Computer Science) | Sinclair, A. | Hardcover | 0817636587 /
9780817636586 | 02/1993 | $104.49 |
|  | The Combinatory Programme Softcover Repri Edition (Progress in Theoretical Computer Science) | Aberer, K. | Paperback | 1461287162 /
9781461287162 | 11/2011 | $104.49 |
|  | Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion 1998 Edition (Progress in Theoretical Computer Science) | Breughel, Franck Van | Paperback | 1461286808 /
9781461286806 | 09/2011 | $104.49 |
|  | Algorithms for Random Generation and Counting: A Markov Chain Approach Softcover Repri Edition (Progress in Theoretical Computer Science) | Sinclair, A. | Paperback | 1461267072 /
9781461267072 | 11/2012 | $104.49 |
|  | Object-Oriented Programming a Unified Foundation 1997 Edition (Progress in Theoretical Computer Science) | Castagna, Giuseppe | Paperback | 1461286700 /
9781461286707 | 09/2011 | $104.49 |
|  | The Graph Isomorphism Problem: Its Structural Complexity Softcover Repri Edition (Progress in Theoretical Computer Science) | Kobler, J. | Paperback | 1461267129 /
9781461267126 | 10/2012 | $104.49 |
|  | Categorical Combinators, Sequential Algorithms, and Functional Programming Softcover Repri Edition (Progress in Theoretical Computer Science) | Curien, P. -L | Paperback | 1461267048 /
9781461267041 | 09/2012 | $104.49 |
|  | Logic of Domains 1991 Edition (Progress in Theoretical Computer Science) | Zhang, G. | Hardcover | 081763570X /
9780817635701 | 01/1991 | $104.49 |
|  | Solving Higher-Order Equations: From Logic to Programming Softcover Repri Edition (Progress in Theoretical Computer Science) | Prehofer, Christian | Paperback | 1461272785 /
9781461272786 | 10/2012 | $104.49 |
|  | Semantics of Type Theory: Correctness, Completeness and Independence Results Softcover Repri Edition (Progress in Theoretical Computer Science) | Streicher, T. | Paperback | 1461267579 /
9781461267577 | 10/2012 | $94.99 |
|  | Algol-Like Languages Softcover Repri Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Paperback | 1461286611 /
9781461286615 | 10/2011 | $104.49 |
|  | Subrecursive Programming Systems: Complexity & Succinctness 1994 Edition (Progress in Theoretical Computer Science) | Royer, James S. | Hardcover | 0817637672 /
9780817637675 | 08/1994 | $104.49 |
|  | The Graph Isomorphism Problem: Its Structural Complexity 1993 Edition (Progress in Theoretical Computer Science) | Kobler, J. | Hardcover | 0817636803 /
9780817636807 | 07/1993 | $104.49 |
|  | Algol-Like Languages 1997 Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Hardcover | 0817639373 /
9780817639372 | 12/1996 | $104.49 |
|  | Complexity Theory of Real Functions Softcover Repri Edition (Progress in Theoretical Computer Science) | Ko, K. | Paperback | 1468468049 /
9781468468045 | 03/2012 | $94.99 |
|  | Polynomial and Matrix Computations: Fundamental Algorithms 1994 Edition (Progress in Theoretical Computer Science) | Bini, Dario | Hardcover | 0817637869 /
9780817637866 | 08/1994 | $161.49 |
|  | Categorical Combinators, Sequential Algorithms, and Functional Programming 1993 Edition (Progress in Theoretical Computer Science) | Curien, P. -L | Hardcover | 0817636544 /
9780817636548 | 01/1993 | $104.49 |
|  | Finite Automata, Formal Logic, and Circuit Complexity Softcover Repri Edition (Progress in Theoretical Computer Science) | Straubing, Howard | Paperback | 1461266955 /
9781461266952 | 10/2012 | $113.99 |
|  | Polynomial and Matrix Computations: Fundamental Algorithms Softcover Repri Edition (Progress in Theoretical Computer Science) | Bini, Dario | Paperback | 1461266866 /
9781461266860 | 09/2012 | $161.49 |
|  | Subrecursive Programming Systems: Complexity & Succinctness Softcover Repri Edition (Progress in Theoretical Computer Science) | Royer, James S. | Paperback | 1461266807 /
9781461266808 | 10/2012 | $104.49 |
|  | Algol-Like Languages 1996 Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Hardcover | 0817638806 /
9780817638801 | 12/1996 | $104.49 |
|
|
|
