Polynomial and Matrix Computations
Autor Dario Bini et al.
aug 1994
Hardback
Preț: 987.20 lei 1203.91 lei
43-57 zile
-18%
Progress in Theoretical Computer Science
Neural Networks and Analog Computation
Autor Hava T. Siegelmann
dec 1998
Hardback
Preț: 1018.84 lei 1273.55 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%
Finite Automata, Formal Logic, and Circuit Complexity
Autor Howard Straubing
3 mai 1994
Hardback
Preț: 651.13 lei 766.03 lei
43-57 zile
-15%
The Graph Isomorphism Problem
Autor J. Kobler et al.
iul 1993
Hardback
Preț: 659.45 lei 775.82 lei
43-57 zile
-15%
Object-Oriented Programming A Unified Foundation
Autor Giuseppe Castagna
1997
Hardback
Preț: 676.52 lei 845.65 lei
43-57 zile
-20%
Subrecursive Programming Systems
Autor James S. Royer et al.
aug 1994
Hardback
Preț: 643.50 lei 804.37 lei
43-57 zile
-20%
Logic of Domains
Autor G. Zhang
1991
Hardback
Preț: 665.00 lei 782.35 lei
43-57 zile
-15%
Algorithms for Random Generation and Counting: A Markov Chain Approach
Autor A. Sinclair
feb 1993
Hardback
Preț: 658.77 lei 775.02 lei
43-57 zile
-15%
The Combinatory Programme
Autor Erwin Engeler
noi 1994
Hardback
Preț: 658.54 lei 774.76 lei
43-57 zile
-15%
Categorical Combinators, Sequential Algorithms, and Functional Programming
Autor P. -L. Curien
1993
Hardback
Preț: 673.39 lei 792.23 lei
43-57 zile
-15%
Algol-like Languages
Autor Robert Tennent et al.
dec 1996
Hardback
Preț: 646.41 lei 808.01 lei
38-44 zile
-20%
Solving Higher-Order Equations
Autor Christian Prehofer
18 dec 1997
Hardback
Preț: 661.18 lei 777.87 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%
Semantics of Type Theory
Autor T. Streicher
29 oct 2012
Paperback
Preț: 565.87 lei 665.72 lei
43-57 zile
-15%
Nondeterminism in Algebraic Specifications and Algebraic Programs
Autor Hussmann
22 mar 2012
Paperback
Preț: 374.59 lei
43-57 zile
Canonical Equational Proofs
Autor Bachmair
iun 1991
Paperback
Preț: 367.68 lei
43-57 zile
Verifying Temporal Properties of Systems
Autor J. C. Bradfield
25 feb 2012
Paperback
Preț: 365.99 lei
43-57 zile