DNA Computing: New Computing Paradigms
Autor Gheorghe Paun et al.
7 dec 2010
Paperback
Preț: 675.52 lei 844.40 lei
6-8 săpt.
-20%
Texts in Theoretical Computer Science. An EATCS Series
Parameterized Complexity Theory
Autor J. Flum et al.
12 feb 2010
Paperback
Preț: 521.31 lei 651.64 lei
6-8 săpt.
-20%
Verification of Reactive Systems: Formal Methods and Algorithms
Autor Klaus Schneider
8 dec 2010
Paperback
Preț: 335.11 lei 418.89 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%
The Parametric Lambda Calculus: A Metamodel for Computation
Autor Simona Ronchi Della Rocca et al.
4 dec 2010
Paperback
Preț: 372.15 lei
6-8 săpt.
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Autor R. Kurki-Suonio
21 oct 2010
Paperback
Preț: 326.72 lei 408.40 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%
Information and Randomness: An Algorithmic Perspective
Autor Cristian S. Calude
15 dec 2010
Paperback
Preț: 447.93 lei
6-8 săpt.
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%
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%
The Complexity Theory Companion
Autor Lane A. Hemaspaandra et al.
15 dec 2010
Paperback
Preț: 378.72 lei 473.40 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%
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.
23 aug 2016
Paperback
Preț: 459.32 lei 574.15 lei
6-8 săpt.
-20%
Introduction to Concurrency Theory: Transition Systems and CCS
Autor Roberto Gorrieri et al.
22 oct 2016
Paperback
Preț: 336.13 lei 420.16 lei
38-44 zile
-20%
An Introduction to Online Computation: Determinism, Randomization, Advice
Autor Dennis Komm
28 iun 2018
Paperback
Preț: 427.27 lei 534.09 lei
38-44 zile
-20%
Simulation Algorithms for Computational Systems Biology
Autor Luca Marchetti et al.
18 aug 2018
Paperback
Preț: 367.60 lei 459.50 lei
38-44 zile
-20%
Models of Computation
Autor Roberto Bruni et al.
18 iul 2018
Paperback
Preț: 380.30 lei 475.37 lei
6-8 săpt.
-20%
Temporal Logic and State Systems
Autor Fred Kröger et al.
25 noi 2010
Paperback
Preț: 518.27 lei 647.84 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%
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Autor Juraj Hromkovič
6 dec 2010
Paperback
Preț: 621.94 lei 777.43 lei
6-8 săpt.
-20%
Software Engineering 2: Specification of Systems and Languages
Autor Dines Bjørner
12 feb 2010
Paperback
Preț: 343.86 lei 429.81 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
38-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.
15 dec 2010
Paperback
Preț: 516.79 lei 607.99 lei
6-8 săpt.
-15%
Exact Exponential Algorithms
Autor Fedor V. Fomin et al.
dec 2012
Paperback
Preț: 390.66 lei
38-44 zile
Introduction to Process Algebra
Autor Wan Fokkink
7 dec 2010
Paperback
Preț: 366.76 lei
6-8 săpt.
Elements of Finite Model Theory
Autor Leonid Libkin
3 dec 2010
Paperback
Preț: 563.34 lei 662.75 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%
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%
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%
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%
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%
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%
Public-Key Cryptography
Autor Arto Salomaa
25 oct 1996
Hardback
Preț: 325.47 lei 406.84 lei
6-8 săpt.
-20%
Dissemination of Information in Optical Networks:: From Technology to Algorithms
Autor Subir Bandyopadhyay
30 noi 2010
Paperback
Preț: 374.91 lei
6-8 săpt.
Communication Complexity and Parallel Computing
Autor Juraj Hromkovič
15 dec 2010
Paperback
Preț: 404.46 lei 505.58 lei
6-8 săpt.
-20%
Modelling Distributed Systems
Autor Wan Fokkink
18 noi 2010
Paperback
Preț: 313.56 lei 391.95 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. | 7-11 zile
-20%