Books by Progress in Computer Science and Applied Logic
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday
-20% with code BOOKS
In stock at our supplier
Applied Probability-Computer Science: The Interface Volume 1: Sponsored by Applied Probability Technical Section College of the Operations Research Society of America The Institute of Management Sciences January 5-7, 1981 Florida Atlantic University Boca
-20% with code BOOKS
In stock at our supplier
Applied Probability-Computer Science: The Interface Volume 1
Teunis J. Ott, Ralph L. Disney
-20% with code BOOKS
In stock at our supplier
Applied Probability¿ Computer Science: The Interface
Teunis J. Ott, Ralph L. Disney
-20% with code BOOKS
In stock at our supplier
An Introduction to Quantum Computing Algorithms
-20% with code BOOKS
In stock at our supplier
Automata Theory and its Applications
Bakhadyr Khoussainov, Anil Nerode
-20% with code BOOKS
In stock at our supplier
Bounded Queries in Recursion Theory
Georgia Martin, William Levine
-20% with code BOOKS
In stock at our supplier
Coding, Cryptography and Combinatorics
-20% with code BOOKS
In stock at our supplier
A Proof Theory for General Unification
-20% with code BOOKS
In stock at our supplier
Notes on Introductory Combinatorics
Robert E. Tarjan, George Polya, Donald R. Woods
-20% with code BOOKS
In stock at our supplier
Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness
-20% with code BOOKS
In stock at our supplier
Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
-20% with code BOOKS
In stock at our supplier
Graph-Based Proof Procedures for Horn Clauses
-20% with code BOOKS
In stock at our supplier
Learning and Geometry: Computational Approaches
-20% with code BOOKS
In stock at our supplier
An Introduction to Quantum Computing Algorithms
-20% with code BOOKS
In stock at our supplier
Automata Theory and its Applications
Bakhadyr Khoussainov, Anil Nerode
-20% with code BOOKS
In stock at our supplier
A Proof Theory for General Unification
-20% with code BOOKS
In stock at our supplier
Number Theoretic Methods in Cryptography: Complexity lower bounds
-20% with code BOOKS
In stock at our supplier
Cryptography and Computational Number Theory
-20% with code BOOKS
In stock at our supplier
Coding, Cryptography and Combinatorics
-20% with code BOOKS
In stock at our supplier
Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness
-20% with code BOOKS
In stock at our supplier
Applied Probability-Computer Science: The Interface Volume 1
Teunis J. Ott, Ralph L. Disney
-20% with code BOOKS
In stock at our supplier
Bounded Queries in Recursion Theory
William Levine, Georgia Martin
-20% with code BOOKS
In stock at our supplier
Logical Methods: In Honor of Anil Nerodes Sixtieth Birthday
-20% with code BOOKS
In stock at our supplier