Neural Networks and Analog Computation: Beyond the Turing Limit
Autor Hava T. Siegelmann
dec 1998
Hardback
Preț: 968.30 lei 1210.38 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ț: 636.92 lei 796.15 lei
43-57 zile
-20%
Isomorphisms of Types: from ?-calculus to information retrieval and language design
Autor Roberto DiCosmo
16 sep 2011
Paperback
Preț: 377.72 lei
43-57 zile
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
Autor Franck van Breughel
18 dec 1997
Hardback
Preț: 637.42 lei 796.78 lei
43-57 zile
-20%
Object-Oriented Programming A Unified Foundation
Autor Giuseppe Castagna
1997
Hardback
Preț: 642.77 lei 803.46 lei
43-57 zile
-20%
The Combinatory Programme
K. Aberer et al.
noi 1994
Hardback
Preț: 633.21 lei 791.52 lei
43-57 zile
-20%
Verifying Temporal Properties of Systems
Autor J.C. Bradfield
25 feb 2012
Paperback
Preț: 370.73 lei
43-57 zile
Nondeterminism in Algebraic Specifications and Algebraic Programs
Autor Hussmann
22 mar 2012
Paperback
Preț: 378.83 lei
43-57 zile
Complexity Theory of Real Functions
Autor K. Ko
13 mar 2012
Paperback
Preț: 577.95 lei 722.44 lei
43-57 zile
-20%
Polynomial and Matrix Computations: Fundamental Algorithms
Autor Dario Bini et al.
aug 1994
Hardback
Preț: 980.09 lei 1225.12 lei
43-57 zile
-20%
Categorical Combinators, Sequential Algorithms, and Functional Programming
Autor P.-L. Curien
1993
Hardback
Preț: 645.02 lei 806.26 lei
43-57 zile
-20%
Semantics of Type Theory: Correctness, Completeness and Independence Results
Autor T. Streicher
29 oct 2012
Paperback
Preț: 573.11 lei 674.25 lei
43-57 zile
-15%
Solving Higher-Order Equations: From Logic to Programming
Autor Christian Prehofer
18 dec 1997
Hardback
Preț: 635.15 lei 793.94 lei
43-57 zile
-20%
Finite Automata, Formal Logic, and Circuit Complexity
Autor Howard Straubing
3 mai 1994
Hardback
Preț: 635.83 lei 794.79 lei
43-57 zile
-20%
The Graph Isomorphism Problem: Its Structural Complexity
Autor J. Kobler et al.
iul 1993
Hardback
Preț: 632.40 lei 790.50 lei
43-57 zile
-20%
Algorithms for Random Generation and Counting: A Markov Chain Approach
Autor A. Sinclair
feb 1993
Hardback
Preț: 631.93 lei 789.92 lei
43-57 zile
-20%
Logic of Domains
Autor G. Zhang
1991
Hardback
Preț: 637.57 lei 796.96 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ț: 372.24 lei
43-57 zile
Computation and Control: Volume 3
Autor Kenneth L. Bowers et al.
30 iun 1993
Hardback
Preț: 529.35 lei 622.76 lei
43-57 zile
-15%