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