Knygos pagal Progress in Theoretical Computer Science
Finite Automata, Formal Logic, and Circuit Complexity
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Neural Networks and Analog Computation: Beyond the Turing Limit
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Solving Higher-Order Equations: From Logic to Programming
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Algorithms for Random Generation and Counting: A Markov Chain Approach
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Combinatory Programme
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Graph Isomorphism Problem: Its Structural Complexity
U. Schöning, J. Kobler, J. Toran
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Object-Oriented Programming A Unified Foundation
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Polynomial and Matrix Computations: Fundamental Algorithms
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Subrecursive Programming Systems: Complexity & Succinctness
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Categorical Combinators, Sequential Algorithms, and Functional Programming
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Canonical Equational Proofs
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Combinatory Programme
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Object-Oriented Programming A Unified Foundation
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Subrecursive Programming Systems: Complexity & Succinctness
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Polynomial and Matrix Computations: Fundamental Algorithms
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Categorical Combinators, Sequential Algorithms, and Functional Programming
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Graph Isomorphism Problem: Its Structural Complexity
U. Schöning, J. Kobler, J. Toran
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Finite Automata, Formal Logic, and Circuit Complexity
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Algorithms for Random Generation and Counting: A Markov Chain Approach
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Semantics of Type Theory: Correctness, Completeness and Independence Results
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Neural Networks and Analog Computation: Beyond the Turing Limit
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Solving Higher-Order Equations: From Logic to Programming
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją