Books by Progress in Theoretical Computer Science
Finite Automata, Formal Logic, and Circuit Complexity
-20% with code BOOKS
In stock at our supplier
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
-20% with code BOOKS
In stock at our supplier
Neural Networks and Analog Computation: Beyond the Turing Limit
-20% with code BOOKS
In stock at our supplier
Solving Higher-Order Equations: From Logic to Programming
-20% with code BOOKS
In stock at our supplier
Algorithms for Random Generation and Counting: A Markov Chain Approach
-20% with code BOOKS
In stock at our supplier
The Graph Isomorphism Problem: Its Structural Complexity
U. Schöning, J. Kobler, J. Toran
-20% with code BOOKS
In stock at our supplier
Object-Oriented Programming A Unified Foundation
-20% with code BOOKS
In stock at our supplier
Polynomial and Matrix Computations: Fundamental Algorithms
-20% with code BOOKS
In stock at our supplier
Subrecursive Programming Systems: Complexity & Succinctness
-20% with code BOOKS
In stock at our supplier
Categorical Combinators, Sequential Algorithms, and Functional Programming
-20% with code BOOKS
In stock at our supplier
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
-20% with code BOOKS
In stock at our supplier
Object-Oriented Programming A Unified Foundation
-20% with code BOOKS
In stock at our supplier
Subrecursive Programming Systems: Complexity & Succinctness
-20% with code BOOKS
In stock at our supplier
Polynomial and Matrix Computations: Fundamental Algorithms
-20% with code BOOKS
In stock at our supplier
Categorical Combinators, Sequential Algorithms, and Functional Programming
-20% with code BOOKS
In stock at our supplier
The Graph Isomorphism Problem: Its Structural Complexity
U. Schöning, J. Kobler, J. Toran
-20% with code BOOKS
In stock at our supplier
Finite Automata, Formal Logic, and Circuit Complexity
-20% with code BOOKS
In stock at our supplier
Algorithms for Random Generation and Counting: A Markov Chain Approach
-20% with code BOOKS
In stock at our supplier
Semantics of Type Theory: Correctness, Completeness and Independence Results
-20% with code BOOKS
In stock at our supplier
Neural Networks and Analog Computation: Beyond the Turing Limit
-20% with code BOOKS
In stock at our supplier
Solving Higher-Order Equations: From Logic to Programming
-20% with code BOOKS
In stock at our supplier