Neural Networks and Analog Computation: Beyond the Turing Limit Progress in Theoretical Computer Science Autor Hava T. Siegelmann dec 1998 Hardback Preț: 988.32 lei 1235.41 lei 6-8 săpt. -20%
Subrecursive Programming Systems: Complexity & Succinctness Progress in Theoretical Computer Science Autor James S. Royer et al. aug 1994 Hardback Preț: 650.08 lei 812.60 lei 6-8 săpt. -20%
Isomorphisms of Types: from ?-calculus to information retrieval and language design Progress in Theoretical Computer Science Autor Roberto DiCosmo 16 sep 2011 Paperback Preț: 385.47 lei 6-8 săpt.
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion Progress in Theoretical Computer Science Autor Franck van Breughel 18 dec 1997 Hardback Preț: 650.59 lei 813.24 lei 6-8 săpt. -20%
Object-Oriented Programming A Unified Foundation Progress in Theoretical Computer Science Autor Giuseppe Castagna 1997 Hardback Preț: 656.03 lei 820.04 lei 6-8 săpt. -20%
The Combinatory Programme Progress in Theoretical Computer Science K. Aberer et al. noi 1994 Hardback Preț: 646.30 lei 807.87 lei 6-8 săpt. -20%
Verifying Temporal Properties of Systems Progress in Theoretical Computer Science Autor J.C. Bradfield 25 feb 2012 Paperback Preț: 378.34 lei 6-8 săpt.
Nondeterminism in Algebraic Specifications and Algebraic Programs Progress in Theoretical Computer Science Autor Hussmann 22 mar 2012 Paperback Preț: 386.61 lei 6-8 săpt.
Complexity Theory of Real Functions Progress in Theoretical Computer Science Autor K. Ko 13 mar 2012 Paperback Preț: 589.87 lei 737.34 lei 6-8 săpt. -20%
Polynomial and Matrix Computations: Fundamental Algorithms Progress in Theoretical Computer Science Autor Dario Bini et al. aug 1994 Hardback Preț: 1000.38 lei 1250.47 lei 6-8 săpt. -20%
Categorical Combinators, Sequential Algorithms, and Functional Programming Progress in Theoretical Computer Science Autor P.-L. Curien 1993 Hardback Preț: 658.33 lei 822.91 lei 6-8 săpt. -20%
Semantics of Type Theory: Correctness, Completeness and Independence Results Progress in Theoretical Computer Science Autor T. Streicher 29 oct 2012 Paperback Preț: 584.92 lei 688.15 lei 6-8 săpt. -15%
Solving Higher-Order Equations: From Logic to Programming Progress in Theoretical Computer Science Autor Christian Prehofer 18 dec 1997 Hardback Preț: 648.26 lei 810.33 lei 6-8 săpt. -20%
Finite Automata, Formal Logic, and Circuit Complexity Progress in Theoretical Computer Science Autor Howard Straubing 3 mai 1994 Hardback Preț: 648.95 lei 811.19 lei 6-8 săpt. -20%
The Graph Isomorphism Problem: Its Structural Complexity Progress in Theoretical Computer Science Autor J. Kobler et al. iul 1993 Hardback Preț: 645.47 lei 806.83 lei 6-8 săpt. -20%
Algorithms for Random Generation and Counting: A Markov Chain Approach Progress in Theoretical Computer Science Autor A. Sinclair feb 1993 Hardback Preț: 644.98 lei 806.23 lei 6-8 săpt. -20%
Logic of Domains Progress in Theoretical Computer Science Autor G. Zhang 1991 Hardback Preț: 650.73 lei 813.41 lei 6-8 săpt. -20%
Algol-like Languages Progress in Theoretical Computer Science Autor Peter O'Hearn et al. dec 1996 Paperback Preț: 600.99 lei 751.23 lei 38-44 zile -20%
Canonical Equational Proofs Progress in Theoretical Computer Science Autor Bachmair iun 1991 Paperback Preț: 379.86 lei 6-8 săpt.
Computation and Control: Volume 3 Progress in Theoretical Computer Science, nr. 15 Autor Kenneth L. Bowers et al. 30 iun 1993 Hardback Preț: 540.24 lei 635.57 lei 6-8 săpt. -15%