|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](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/081/9780817638016.jpg&wmax=80&hmax=80) | The Combinatory Programme 1995 Edition (Progress in Theoretical Computer Science) | Aberer, K. | Hardcover | 0817638016 / 9780817638016 | 11/1994 | $104.49 |
| ![](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/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/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/081/9780817636562.jpg&wmax=80&hmax=80) | Computation and Control: Volume 3 (Progress in Theoretical Computer Science) | Bowers, Kenneth L. | Hardcover | 0817636560 / 9780817636562 | 07/1993 | $85.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/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/081/9780817639273.jpg&wmax=80&hmax=80) | Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion 1998 Edition (Progress in Theoretical Computer Science) | Breughel, Franck Van | Hardcover | 0817639276 / 9780817639273 | 12/1997 | $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/081/9780817639051.jpg&wmax=80&hmax=80) | Object-Oriented Programming a Unified Foundation 1997 Edition (Progress in Theoretical Computer Science) | Castagna, Giuseppe | Hardcover | 0817639055 / 9780817639051 | 01/1997 | $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/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/9781461275855.jpg&wmax=80&hmax=80) | Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design Softcover Repri Edition (Progress in Theoretical Computer Science) | Dicosmo, Roberto | Paperback | 1461275857 / 9781461275855 | 09/2011 | $52.24 |
| ![](thumb.php?src=products/081/9780817637637.jpg&wmax=80&hmax=80) | Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design 1995 Edition (Progress in Theoretical Computer Science) | Dicosmo, Roberto | Hardcover | 081763763X / 9780817637637 | 12/1994 | $94.05 |
| ![](thumb.php?src=products/146/9781468468366.jpg&wmax=80&hmax=80) | Nondeterminism in Algebraic Specifications and Algebraic Programs Softcover Repri Edition (Progress in Theoretical Computer Science) | Hussmann | Paperback | 1468468367 / 9781468468366 | 03/2012 | $52.24 |
| ![](thumb.php?src=products/081/9780817637002.jpg&wmax=80&hmax=80) | Nondeterminism in Algebraic Specifications and Algebraic Programs 1993 Edition (Progress in Theoretical Computer Science) | Hussmann | Hardcover | 0817637001 / 9780817637002 | 05/1993 | $94.05 |
| ![](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/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/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/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/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/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/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 |
| ![](thumb.php?src=products/081/9780817639365.jpg&wmax=80&hmax=80) | Algol-Like Languages 1996 Edition (Progress in Theoretical Computer Science) | O'Hearn, Peter | Hardcover | 0817639365 / 9780817639365 | 12/1996 | $179.55 |
|
|
|