Applications of Process Algebra
Editat de J. C. M. Baeten et al.
22 mai 2004
Paperback
Preț: 650.55 lei 813.19 lei
6-8 săpt.
-20%
Cărți de Samson Abramsky
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Editat de Samson Abramsky et al.
30 iun 2010
Paperback
Preț: 637.64 lei 797.05 lei
3-5 săpt.
-20%
The Optimal Implementation of Functional Programming Languages
Autor Andrea Asperti et al.
2 iun 2010
Hardback
Preț: 635.34 lei 794.18 lei
6-8 săpt.
-20%
Extensions of First-Order Logic
Autor Maria Manzano et al.
31 mai 2005
Paperback
Preț: 530.16 lei 595.68 lei
6-8 săpt.
-11%
Belief Revision
Editat de Peter Gardenfors et al.
18 oct 2003
Paperback
Preț: 473.10 lei 591.39 lei
6-8 săpt.
-20%
Topology Via Logic
Autor Steven Vickers et al.
9 iun 2003
Paperback
Preț: 405.48 lei 506.86 lei
6-8 săpt.
-20%
Logic and Computation
Autor Lawrence C. Paulson et al.
9 iun 2003
Paperback
Preț: 391.01 lei 488.77 lei
6-8 săpt.
-20%
Typed Lambda Calculi and Applications
Editat de Samson Abramsky
20 apr 2001
Paperback
Preț: 385.06 lei
6-8 săpt.
Category Theory and Computer Science
Editat de David H. Pitt et al.
21 aug 1991
Paperback
Preț: 377.20 lei
6-8 săpt.
Theoretical Foundations of VLSI Design
Editat de K. McEvoy et al.
18 oct 2003
Paperback
Preț: 373.35 lei 466.69 lei
6-8 săpt.
-20%
Dependence Logic: Theory and Applications
Editat de Samson Abramsky et al.
6 iul 2016
Hardback
Preț: 380.24 lei
6-8 săpt.
Algorithmic Information Theory
Autor Gregory J. Chaitin et al.
20 oct 2004
Paperback
Preț: 371.92 lei 464.89 lei
6-8 săpt.
-20%
The Uncertain Reasoner's Companion
Autor J. B. Paris et al.
19 oct 2006
Paperback
Preț: 351.23 lei 439.03 lei
6-8 săpt.
-20%
Nets, Terms and Formulas
Autor E. R. Olderog et al.
15 iun 2005
Paperback
Preț: 333.42 lei 416.78 lei
6-8 săpt.
-20%
The Logic of Typed Feature Structures
Autor Bob Carpenter et al.
23 sep 2005
Paperback
Preț: 333.42 lei 416.78 lei
6-8 săpt.
-20%
Category Theory and Computer Programming
Editat de David Pitt et al.
oct 1986
Paperback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-20%
Formal Methods in Artificial Intelligence
Autor Allan Ramsay et al.
28 feb 2009
Paperback
Preț: 291.89 lei 364.86 lei
6-8 săpt.
-20%
Updating Logical Databases
Autor Marianne Winslett et al.
31 dec 2004
Paperback
Preț: 268.40 lei 335.50 lei
6-8 săpt.
-20%