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%
Texts in Theoretical Computer Science. An EATCS Series
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%
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%
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%
Structural Complexity I
Autor Jose L. Balcazar et al.
9 dec 2011
Paperback
Preț: 316.59 lei 395.75 lei
6-8 săpt.
-20%
Information and Randomness: An Algorithmic Perspective
Autor Cristian S. Calude
15 dec 2010
Paperback
Preț: 447.93 lei
6-8 săpt.
Parameterized Complexity Theory
Autor J. Flum et al.
9 feb 2006
Hardback
Preț: 694.70 lei 868.38 lei
6-8 săpt.
-20%
Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Editat de Arie Koster et al.
14 mar 2012
Paperback
Preț: 956.27 lei 1195.33 lei
6-8 săpt.
-20%
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%
Software Engineering 3: Domains, Requirements, and Software Design
Autor Dines Bjørner
12 feb 2010
Paperback
Preț: 699.00 lei 873.75 lei
6-8 săpt.
-20%
Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks
Autor Max Garzon
12 feb 2012
Paperback
Preț: 319.60 lei 399.50 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%
Computable Analysis: An Introduction
Autor Klaus Weihrauch
20 noi 2013
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Petri Net Synthesis
Autor Eric Badouel et al.
11 noi 2015
Hardback
Preț: 383.31 lei 479.13 lei
6-8 săpt.
-20%
The Resolution Calculus
Autor Alexander Leitsch
28 sep 2011
Paperback
Preț: 374.54 lei
6-8 săpt.
Introduction to Concurrency Theory: Transition Systems and CCS
Autor Roberto Gorrieri et al.
11 sep 2015
Hardback
Preț: 328.29 lei 410.37 lei
3-5 săpt.
-20%
An Introduction to Online Computation: Determinism, Randomization, Advice
Autor Dennis Komm
10 noi 2016
Hardback
Preț: 588.40 lei 735.50 lei
39-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%
Simulation Algorithms for Computational Systems Biology
Autor Luca Marchetti et al.
9 oct 2017
Hardback
Preț: 215.33 lei 269.16 lei
3-5 săpt. | 6-12 zile
-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%
The Parametric Lambda Calculus: A Metamodel for Computation
Autor Simona Ronchi Della Rocca et al.
5 iul 2004
Hardback
Preț: 379.31 lei
6-8 săpt.
Verification of Reactive Systems: Formal Methods and Algorithms
Autor Klaus Schneider
16 oct 2003
Hardback
Preț: 383.84 lei 479.80 lei
39-44 zile
-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%
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%
Extremal Combinatorics: With Applications in Computer Science
Autor Stasys Jukna
27 noi 2013
Paperback
Preț: 434.03 lei 542.55 lei
39-44 zile
-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%
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%
Exact Exponential Algorithms
Autor Fedor V. Fomin et al.
dec 2012
Paperback
Preț: 390.66 lei
39-44 zile
Introduction to Process Algebra
Autor Wan Fokkink
23 dec 1999
Hardback
Preț: 369.36 lei
6-8 săpt.
Elements of Finite Model Theory
Autor Leonid Libkin
2 iul 2004
Hardback
Preț: 568.50 lei 668.82 lei
6-8 săpt.
-15%
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Autor Juraj Hromkovič
9 dec 2010
Paperback
Preț: 414.14 lei 517.67 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%
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%
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%
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%
Finite Model Theory and Its Applications
Autor Erich Grädel et al.
24 apr 2007
Hardback
Preț: 577.57 lei 721.96 lei
6-8 săpt.
-20%
Public-Key Cryptography
Autor Arto Salomaa
5 dec 2010
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Dissemination of Information in Optical Networks:: From Technology to Algorithms
Autor Subir Bandyopadhyay
9 noi 2007
Hardback
Preț: 384.33 lei
6-8 săpt.
Communication Complexity and Parallel Computing
Autor Juraj Hromkovič
26 feb 1997
Hardback
Preț: 328.62 lei 410.77 lei
6-8 săpt.
-20%
Modelling Distributed Systems
Autor Wan Fokkink
26 sep 2007
Hardback
Preț: 319.42 lei 399.28 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 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ț: 521.31 lei 651.64 lei
6-8 săpt.
-20%
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Autor Markus Roggenbach et al.
24 iun 2023
Paperback
Preț: 359.44 lei 449.31 lei
6-8 săpt. | 6-12 zile
-20%