Subrecursive Programming Systems
Autor James S. Royer et al.
3 oct 2012
Paperback
Preț: 637.86 lei 797.32 lei
6-8 săpt.
-20%
Progress in Theoretical Computer Science
Algol-like Languages
Autor Peter O'Hearn et al.
3 mar 2013
Paperback
Preț: 623.52 lei 779.40 lei
6-8 săpt.
-20%
Semantics of Type Theory
Autor T. Streicher
29 oct 2012
Paperback
Preț: 565.87 lei 665.72 lei
6-8 săpt.
-15%
Object-Oriented Programming A Unified Foundation
Autor Giuseppe Castagna
26 sep 2011
Paperback
Preț: 638.95 lei 798.69 lei
6-8 săpt.
-20%
The Combinatory Programme
Autor Erwin Engeler
23 noi 2011
Paperback
Preț: 627.22 lei 737.91 lei
6-8 săpt.
-15%
The Graph Isomorphism Problem
Autor J. Kobler et al.
9 oct 2012
Paperback
Preț: 628.35 lei 785.44 lei
38-44 zile
-20%
Canonical Equational Proofs
Autor Bachmair
iun 1991
Paperback
Preț: 367.68 lei
6-8 săpt.
Logic of Domains
Autor G. Zhang
22 dec 2012
Paperback
Preț: 628.14 lei 738.98 lei
6-8 săpt.
-15%
Algorithms for Random Generation and Counting: A Markov Chain Approach
Autor A. Sinclair
noi 2012
Paperback
Preț: 627.43 lei 738.15 lei
6-8 săpt.
-15%
Finite Automata, Formal Logic, and Circuit Complexity
Autor Howard Straubing
10 oct 2012
Paperback
Preț: 649.04 lei 854.00 lei
38-44 zile
-24%
Complexity Theory of Real Functions
Autor K. Ko
13 mar 2012
Paperback
Preț: 566.24 lei 666.17 lei
6-8 săpt.
-15%
Verifying Temporal Properties of Systems
Autor J. C. Bradfield
25 feb 2012
Paperback
Preț: 365.99 lei
6-8 săpt.
Nondeterminism in Algebraic Specifications and Algebraic Programs
Autor Hussmann
22 mar 2012
Paperback
Preț: 374.59 lei
6-8 săpt.