Neural Networks and Analog Computation: Beyond the Turing Limit
Autor Hava T. Siegelmann
dec 1998
Hardback
Preț: 949.94 lei 1187.42 lei
6-8 săpt.
-20%
Progress in Theoretical Computer Science
Interpolating Cubic Splines
Autor Gary Knott et al.
28 dec 1999
Hardback
Preț: 570.78 lei 713.49 lei
6-8 săpt.
-20%
Verifying Temporal Properties of Systems
Autor J.C. Bradfield
25 feb 2012
Paperback
Preț: 363.99 lei
6-8 săpt.
Nondeterminism in Algebraic Specifications and Algebraic Programs
Autor Hussmann
22 mar 2012
Paperback
Preț: 371.93 lei
6-8 săpt.
Algorithms for Random Generation and Counting: A Markov Chain Approach
Autor A. Sinclair
feb 1993
Hardback
Preț: 620.07 lei 775.09 lei
6-8 săpt.
-20%
Canonical Equational Proofs
Autor Bachmair
iun 1991
Paperback
Preț: 365.45 lei
6-8 săpt.
Logic of Domains
Autor G. Zhang
1991
Hardback
Preț: 625.58 lei 781.98 lei
6-8 săpt.
-20%
Finite Automata, Formal Logic, and Circuit Complexity
Autor Howard Straubing
10 oct 2012
Paperback
Preț: 673.60 lei 842.00 lei
6-8 săpt. | 7-11 zile
-20%
Categorical Combinators, Sequential Algorithms, and Functional Programming
Autor P.-L. Curien
1993
Hardback
Preț: 632.89 lei 791.11 lei
6-8 săpt.
-20%
The Graph Isomorphism Problem: Its Structural Complexity
Autor J. Kobler et al.
iul 1993
Hardback
Preț: 620.52 lei 775.66 lei
6-8 săpt.
-20%
Isomorphisms of Types: from ?-calculus to information retrieval and language design
Autor Roberto DiCosmo
16 sep 2011
Paperback
Preț: 370.84 lei
6-8 săpt.
Solving Higher-Order Equations: From Logic to Programming
Autor Christian Prehofer
18 dec 1997
Hardback
Preț: 623.22 lei 779.02 lei
6-8 săpt.
-20%
The Combinatory Programme
K. Aberer et al.
noi 1994
Hardback
Preț: 621.32 lei 776.66 lei
6-8 săpt.
-20%
Object-Oriented Programming A Unified Foundation
Autor Giuseppe Castagna
1997
Hardback
Preț: 630.68 lei 788.36 lei
6-8 săpt.
-20%
Polynomial and Matrix Computations: Fundamental Algorithms
Autor Dario Bini et al.
aug 1994
Hardback
Preț: 961.50 lei 1201.87 lei
6-8 săpt.
-20%
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
Autor Franck van Breughel
18 dec 1997
Hardback
Preț: 625.45 lei 781.82 lei
6-8 săpt.
-20%
Semantics of Type Theory: Correctness, Completeness and Independence Results
Autor T. Streicher
29 oct 2012
Paperback
Preț: 562.39 lei 661.64 lei
6-8 săpt.
-15%
Subrecursive Programming Systems: Complexity & Succinctness
Autor James S. Royer et al.
aug 1994
Hardback
Preț: 624.95 lei 781.20 lei
6-8 săpt.
-20%
Algol-like Languages
Autor Peter O'Hearn et al.
dec 1996
Paperback
Preț: 650.42 lei 813.02 lei
38-44 zile
-20%
Complexity Theory of Real Functions
Autor K. Ko
13 mar 2012
Paperback
Preț: 567.12 lei 708.90 lei
6-8 săpt.
-20%
Computation and Control: Volume 3
Autor Kenneth L. Bowers et al.
30 iun 1993
Hardback
Preț: 519.46 lei 611.12 lei
6-8 săpt.
-15%