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