Neural Networks and Analog Computation
Autor Hava T. Siegelmann
21 oct 2012
Paperback
Preț: 948.14 lei 1185.18 lei
43-57 zile
-20%
Progress in Theoretical Computer Science
Algol-like Languages
Autor Robert Tennent et al.
dec 1996
Hardback
Preț: 646.41 lei 808.01 lei
38-44 zile
-20%
Semantics of Type Theory
Autor T. Streicher
29 oct 2012
Paperback
Preț: 565.87 lei 665.72 lei
43-57 zile
-15%
Object-Oriented Programming A Unified Foundation
Autor Giuseppe Castagna
26 sep 2011
Paperback
Preț: 638.95 lei 798.69 lei
43-57 zile
-20%
Comparative Metric Semantics of Programming Languages
Autor Franck Van Breughel
18 dec 1997
Hardback
Preț: 663.36 lei 780.42 lei
43-57 zile
-15%
Solving Higher-Order Equations
Autor Christian Prehofer
21 oct 2012
Paperback
Preț: 614.13 lei 722.51 lei
43-57 zile
-15%
Categorical Combinators, Sequential Algorithms, and Functional Programming
Autor P. -L. Curien
27 sep 2012
Paperback
Preț: 625.50 lei 735.87 lei
43-57 zile
-15%
Canonical Equational Proofs
Autor Bachmair
iun 1991
Paperback
Preț: 367.68 lei
43-57 zile
Logic of Domains
Autor G. Zhang
22 dec 2012
Paperback
Preț: 628.14 lei 738.98 lei
43-57 zile
-15%
Complexity Theory of Real Functions
Autor K. Ko
13 mar 2012
Paperback
Preț: 566.24 lei 666.17 lei
43-57 zile
-15%
Verifying Temporal Properties of Systems
Autor J. C. Bradfield
25 feb 2012
Paperback
Preț: 365.99 lei
43-57 zile
Nondeterminism in Algebraic Specifications and Algebraic Programs
Autor Hussmann
22 mar 2012
Paperback
Preț: 374.59 lei
43-57 zile