|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/081/9780817635558.jpg&wmax=80&hmax=80) | Canonical Equational Proofs Softcover Repri Edition (Progress in Theoretical Computer Science) | Bachmair | Paperback | 0817635556 / 9780817635558 | 06/1991 | $52.24 |
| ![](thumb.php?src=products/146/9781461268758.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/146/9781468468212.jpg&wmax=80&hmax=80) | Verifying Temporal Properties of Systems Softcover Repri Edition (Progress in Theoretical Computer Science) | Bradfield, J. C. | Paperback | 1468468219 / 9781468468212 | 02/2012 | $52.24 |
| ![](thumb.php?src=products/147/9781475738537.jpg&wmax=80&hmax=80) | Algol-Like Languages 1997 Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Paperback | 1475738536 / 9781475738537 | 03/2013 | $104.49 |
| ![](thumb.php?src=products/081/9780817636586.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/146/9781461287162.jpg&wmax=80&hmax=80) | The Combinatory Programme Softcover Repri Edition (Progress in Theoretical Computer Science) | Aberer, K. | Paperback | 1461287162 / 9781461287162 | 11/2011 | $104.49 |
| ![](thumb.php?src=products/146/9781461286806.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/146/9781461267072.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/146/9781461286707.jpg&wmax=80&hmax=80) | Object-Oriented Programming a Unified Foundation 1997 Edition (Progress in Theoretical Computer Science) | Castagna, Giuseppe | Paperback | 1461286700 / 9781461286707 | 09/2011 | $104.49 |
| ![](thumb.php?src=products/146/9781461267126.jpg&wmax=80&hmax=80) | The Graph Isomorphism Problem: Its Structural Complexity Softcover Repri Edition (Progress in Theoretical Computer Science) | Kobler, J. | Paperback | 1461267129 / 9781461267126 | 10/2012 | $104.49 |
| ![](thumb.php?src=products/146/9781461267041.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/081/9780817635701.jpg&wmax=80&hmax=80) | Logic of Domains 1991 Edition (Progress in Theoretical Computer Science) | Zhang, G. | Hardcover | 081763570X / 9780817635701 | 01/1991 | $104.49 |
| ![](thumb.php?src=products/146/9781461272786.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/146/9781461267577.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/146/9781461286615.jpg&wmax=80&hmax=80) | Algol-Like Languages Softcover Repri Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Paperback | 1461286611 / 9781461286615 | 10/2011 | $104.49 |
| ![](thumb.php?src=products/081/9780817637675.jpg&wmax=80&hmax=80) | Subrecursive Programming Systems: Complexity & Succinctness 1994 Edition (Progress in Theoretical Computer Science) | Royer, James S. | Hardcover | 0817637672 / 9780817637675 | 08/1994 | $104.49 |
| ![](thumb.php?src=products/081/9780817636807.jpg&wmax=80&hmax=80) | The Graph Isomorphism Problem: Its Structural Complexity 1993 Edition (Progress in Theoretical Computer Science) | Kobler, J. | Hardcover | 0817636803 / 9780817636807 | 07/1993 | $104.49 |
| ![](thumb.php?src=products/081/9780817639372.jpg&wmax=80&hmax=80) | Algol-Like Languages 1997 Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Hardcover | 0817639373 / 9780817639372 | 12/1996 | $104.49 |
| ![](thumb.php?src=products/146/9781468468045.jpg&wmax=80&hmax=80) | Complexity Theory of Real Functions Softcover Repri Edition (Progress in Theoretical Computer Science) | Ko, K. | Paperback | 1468468049 / 9781468468045 | 03/2012 | $94.99 |
| ![](thumb.php?src=products/081/9780817637866.jpg&wmax=80&hmax=80) | Polynomial and Matrix Computations: Fundamental Algorithms 1994 Edition (Progress in Theoretical Computer Science) | Bini, Dario | Hardcover | 0817637869 / 9780817637866 | 08/1994 | $161.49 |
| ![](thumb.php?src=products/081/9780817636548.jpg&wmax=80&hmax=80) | Categorical Combinators, Sequential Algorithms, and Functional Programming 1993 Edition (Progress in Theoretical Computer Science) | Curien, P. -L | Hardcover | 0817636544 / 9780817636548 | 01/1993 | $104.49 |
| ![](thumb.php?src=products/146/9781461266952.jpg&wmax=80&hmax=80) | Finite Automata, Formal Logic, and Circuit Complexity Softcover Repri Edition (Progress in Theoretical Computer Science) | Straubing, Howard | Paperback | 1461266955 / 9781461266952 | 10/2012 | $113.99 |
| ![](thumb.php?src=products/146/9781461266860.jpg&wmax=80&hmax=80) | Polynomial and Matrix Computations: Fundamental Algorithms Softcover Repri Edition (Progress in Theoretical Computer Science) | Bini, Dario | Paperback | 1461266866 / 9781461266860 | 09/2012 | $161.49 |
| ![](thumb.php?src=products/146/9781461266808.jpg&wmax=80&hmax=80) | Subrecursive Programming Systems: Complexity & Succinctness Softcover Repri Edition (Progress in Theoretical Computer Science) | Royer, James S. | Paperback | 1461266807 / 9781461266808 | 10/2012 | $104.49 |
| ![](thumb.php?src=products/081/9780817638801.jpg&wmax=80&hmax=80) | Algol-Like Languages 1996 Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Hardcover | 0817638806 / 9780817638801 | 12/1996 | $104.49 |
|
|
|