Interactive Theorem Proving and Program Development
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 735.59 lei 865.39 lei
6-8 săpt.
-15%
Texts in Theoretical Computer Science. An EATCS Series
Elements of Finite Model Theory
Autor Leonid Libkin
2 iul 2004
Hardback
Preț: 662.61 lei 779.54 lei
6-8 săpt.
-15%
DNA Computing
Autor Gheorghe Paun et al.
15 sep 1998
Hardback
Preț: 619.37 lei 774.21 lei
6-8 săpt.
-20%
Theoretical Computer Science
Autor Juraj Hromkovi¿
18 sep 2003
Hardback
Preț: 673.45 lei 841.81 lei
6-8 săpt.
-20%
Software Engineering 1
Autor Dines Bjørner
19 dec 2005
Hardback
Preț: 646.83 lei 808.54 lei
6-8 săpt.
-20%
Exact Exponential Algorithms
Autor Fedor V. Fomin et al.
dec 2012
Paperback
Preț: 324.22 lei
Indisponibil temporar
Introduction to Process Algebra
Autor Wan Fokkink
23 dec 1999
Hardback
Preț: 399.46 lei
6-8 săpt.
Software Engineering 2
Autor Dines Bjørner
22 feb 2006
Hardback
Preț: 378.52 lei 473.15 lei
6-8 săpt.
-20%
Algorithmics for Hard Problems
Autor Juraj Hromkovi¿
9 dec 2010
Paperback
Preț: 413.91 lei 517.38 lei
6-8 săpt.
-20%
Finite Model Theory and Its Applications
Autor Erich Grädel et al.
24 apr 2007
Hardback
Preț: 624.71 lei 780.89 lei
6-8 săpt.
-20%
Complexity Theory and Cryptology
Autor Jörg Rothe
22 iul 2005
Hardback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-20%
Public-Key Cryptography
Autor Arto Salomaa
5 dec 2010
Paperback
Preț: 334.40 lei 418.00 lei
6-8 săpt.
-20%
Decision Procedures
Autor Daniel Kroening et al.
13 iul 2018
Paperback
Preț: 339.28 lei 424.11 lei
6-8 săpt.
-20%
Dissemination of Information in Optical Networks:
Autor Subir Bandyopadhyay
9 noi 2007
Hardback
Preț: 410.77 lei
6-8 săpt.
Modelling Distributed Systems
Autor Wan Fokkink
26 sep 2007
Hardback
Preț: 342.90 lei 428.63 lei
6-8 săpt.
-20%
Introduction to Circuit Complexity
Autor Heribert Vollmer
23 iun 1999
Hardback
Preț: 486.66 lei 608.32 lei
6-8 săpt.
-20%
The Complexity Theory Companion
Autor Lane A. Hemaspaandra et al.
dec 2001
Hardback
Preț: 559.06 lei 698.82 lei
6-8 săpt.
-20%
Verification of Reactive Systems
Autor Klaus Schneider
16 oct 2003
Hardback
Preț: 410.19 lei 512.74 lei
38-44 zile
-20%
The Parametric Lambda Calculus
Autor Simona Ronchi Della Rocca et al.
5 iul 2004
Hardback
Preț: 405.32 lei
6-8 săpt.
A Practical Theory of Reactive Systems
Autor R. Kurki-Suonio
17 feb 2005
Hardback
Preț: 358.41 lei 448.01 lei
6-8 săpt.
-20%
Boolean Functions and Computation Models
Autor Peter Clote et al.
19 sep 2002
Hardback
Preț: 506.47 lei 633.09 lei
6-8 săpt.
-20%
Temporal Logic and State Systems
Autor Fred Kröger et al.
27 mar 2008
Hardback
Preț: 535.80 lei 669.74 lei
6-8 săpt.
-20%
Design and Analysis of Randomized Algorithms
Autor J. Hromkovic et al.
14 iun 2005
Hardback
Preț: 406.70 lei 508.38 lei
6-8 săpt.
-20%
Communication Complexity and Parallel Computing
Autor Juraj Hromkovi¿
15 dec 2010
Paperback
Preț: 403.55 lei 504.44 lei
6-8 săpt.
-20%
Abstract Computing Machines
Autor Werner Kluge
18 feb 2005
Hardback
Preț: 630.84 lei 788.54 lei
6-8 săpt.
-20%
Dissemination of Information in Communication Networks
Autor Juraj Hromkovi¿ et al.
21 oct 2010
Paperback
Preț: 323.21 lei 404.02 lei
6-8 săpt.
-20%
Information and Randomness
Autor Cristian S. Calude
15 dec 2010
Paperback
Preț: 447.77 lei
6-8 săpt.
Extremal Combinatorics
Autor Stasys Jukna
27 noi 2013
Paperback
Preț: 371.65 lei 569.39 lei
Indisponibil temporar
-35%
Structural Complexity I
Autor Jose L. Balcazar et al.
9 dec 2011
Paperback
Preț: 331.19 lei 413.99 lei
6-8 săpt.
-20%
Grammatical Picture Generation
Autor Frank Drewes
18 ian 2006
Hardback
Preț: 340.90 lei 426.13 lei
6-8 săpt.
-20%
Universal Artificial Intelligence
Autor Marcus Hutter
12 oct 2004
Hardback
Preț: 573.94 lei 717.42 lei
6-8 săpt.
-20%
Parameterized Complexity Theory
Autor J. Flum et al.
9 feb 2006
Hardback
Preț: 858.13 lei 1072.66 lei
6-8 săpt.
-20%
Software Engineering 3
Autor Dines Bjørner
12 feb 2010
Paperback
Preț: 698.13 lei 872.67 lei
6-8 săpt.
-20%
Graphs and Algorithms in Communication Networks
Editat de Arie Koster et al.
14 mar 2012
Paperback
Preț: 999.75 lei 1249.69 lei
6-8 săpt.
-20%
Computable Analysis
Autor Klaus Weihrauch
20 noi 2013
Paperback
Preț: 335.24 lei 419.05 lei
6-8 săpt.
-20%
Models of Massive Parallelism
Autor Max Garzon
12 feb 2012
Paperback
Preț: 334.59 lei 418.24 lei
6-8 săpt.
-20%
The Resolution Calculus
Autor Alexander Leitsch
28 sep 2011
Paperback
Preț: 392.26 lei
6-8 săpt.
Petri Net Synthesis
Autor Eric Badouel et al.
11 noi 2015
Hardback
Preț: 412.59 lei 515.73 lei
6-8 săpt.
-20%
Parsing Schemata
Autor Klaas Sikkel
13 noi 2013
Paperback
Preț: 339.73 lei 424.66 lei
6-8 săpt.
-20%