Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 685.00 lei 805.88 lei
6-8 săpt.
-15%
Texts in Theoretical Computer Science. An EATCS Series
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability
Autor Marcus Hutter
12 oct 2004
Hardback
Preț: 573.94 lei 717.42 lei
6-8 săpt.
-20%
Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms
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: A Lambda Calculus Perspective
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
2 sep 2011
Hardback
Preț: 576.48 lei 720.60 lei
6-8 săpt.
-20%
Structural Complexity I
Autor Jose L. Balcazar et al.
9 dec 2011
Paperback
Preț: 315.71 lei 394.64 lei
6-8 săpt.
-20%
Grammatical Picture Generation: A Tree-Based Approach
Autor Frank Drewes
18 ian 2006
Mixed media product
Preț: 338.61 lei 423.25 lei
6-8 săpt.
-20%
Parameterized Complexity Theory
Autor J. Flum et al.
9 feb 2006
Hardback
Preț: 689.11 lei 861.38 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%
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ț: 952.58 lei 1190.73 lei
6-8 săpt.
-20%
Computable Analysis: An Introduction
Autor Klaus Weihrauch
20 noi 2013
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Models of Massive Parallelism
Autor Max Garzon
12 feb 2012
Paperback
Preț: 318.94 lei 398.67 lei
6-8 săpt.
-20%
The Resolution Calculus
Autor Alexander Leitsch
28 sep 2011
Paperback
Preț: 373.93 lei
6-8 săpt.
Petri Net Synthesis
Autor Eric Badouel et al.
11 noi 2015
Hardback
Preț: 382.11 lei 477.63 lei
6-8 săpt.
-20%
Models of Computation
Autor Roberto Bruni et al.
10 apr 2017
Hardback
Preț: 386.48 lei 483.11 lei
6-8 săpt.
-20%
Simulation Algorithms for Computational Systems Biology
Autor Luca Marchetti et al.
9 oct 2017
Hardback
Preț: 215.55 lei 269.44 lei
3-5 săpt. | 6-10 zile
-20%
Temporal Logic and State Systems
Autor Fred Kröger et al.
27 mar 2008
Hardback
Preț: 500.14 lei 625.17 lei
6-8 săpt.
-20%
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Autor R. Kurki-Suonio
17 feb 2005
Hardback
Preț: 332.10 lei 415.13 lei
6-8 săpt.
-20%
DNA Computing: New Computing Paradigms
Autor Gheorghe Paun et al.
15 sep 1998
Hardback
Preț: 576.62 lei 720.78 lei
6-8 săpt.
-20%
Finite Model Theory and Its Applications
Autor Erich Grädel et al.
24 apr 2007
Hardback
Preț: 577.52 lei 721.90 lei
6-8 săpt.
-20%
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Autor Juraj Hromkovič
18 sep 2003
Hardback
Preț: 627.03 lei 783.78 lei
6-8 săpt.
-20%
Software Engineering 1: Abstraction and Modelling
Autor Dines Bjørner
19 dec 2005
Hardback
Preț: 646.83 lei 808.54 lei
6-8 săpt.
-20%
Introduction to Concurrency Theory
Autor Roberto Gorrieri et al.
11 sep 2015
Hardback
Preț: 327.34 lei 409.18 lei
3-5 săpt.
-20%
Exact Exponential Algorithms
Autor Fedor V. Fomin et al.
dec 2012
Paperback
Preț: 313.84 lei
Indisponibil temporar
Introduction to Process Algebra
Autor Wan Fokkink
23 dec 1999
Hardback
Preț: 369.36 lei
6-8 săpt.
Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Autor Juraj Hromkovič et al.
18 feb 2005
Hardback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Software Engineering 2: Specification of Systems and Languages
Autor Dines Bjørner
22 feb 2006
Hardback
Preț: 348.74 lei 435.93 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%
Complexity Theory and Cryptology: An Introduction to Cryptocomplexity
Autor Jörg Rothe
22 iul 2005
Hardback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-20%
The Parametric Lambda Calculus
Autor Simona Ronchi Della Rocca et al.
5 iul 2004
Hardback
Preț: 377.73 lei
6-8 săpt.
Decision Procedures: An Algorithmic Point of View
Autor Daniel Kroening et al.
23 mai 2008
Hardback
Preț: 410.97 lei 513.71 lei
6-8 săpt.
-20%
Public-Key Cryptography
Autor Arto Salomaa
5 dec 2010
Paperback
Preț: 318.77 lei 398.46 lei
6-8 săpt.
-20%
Communication Complexity and Parallel Computing
Autor Juraj Hromkovič
26 feb 1997
Hardback
Preț: 328.62 lei 410.77 lei
6-8 săpt.
-20%
Dissemination of Information in Optical Networks:
Autor Subir Bandyopadhyay
9 noi 2007
Hardback
Preț: 380.85 lei
6-8 săpt.
Modelling Distributed Systems
Autor Wan Fokkink
26 sep 2007
Hardback
Preț: 317.97 lei 397.46 lei
6-8 săpt.
-20%
Introduction to Circuit Complexity: A Uniform Approach
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ț: 519.68 lei 649.59 lei
6-8 săpt.
-20%
Verification of Reactive Systems
Autor Klaus Schneider
16 oct 2003
Hardback
Preț: 395.05 lei 493.82 lei
38-44 zile
-20%
Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms
Autor Klaas Sikkel
13 noi 2013
Paperback
Preț: 324.03 lei 405.04 lei
6-8 săpt.
-20%