Formal Methods for Software Engineering: Languages, Methods, Application Domains Texts in Theoretical Computer Science. An EATCS Series Autor Markus Roggenbach et al. 24 iun 2023 Paperback Preț: 319.34 lei 399.17 lei 3-5 săpt. | 10-14 zile -20%
Temporal Logic and State Systems Texts in Theoretical Computer Science. An EATCS Series Autor Fred Kröger et al. 27 mar 2008 Hardback Preț: 520.17 lei 650.21 lei 6-8 săpt. -20%
The Parametric Lambda Calculus: A Metamodel for Computation Texts in Theoretical Computer Science. An EATCS Series Autor Simona Ronchi Della Rocca et al. 5 iul 2004 Hardback Preț: 394.29 lei 6-8 săpt.
Communication Complexity and Parallel Computing Texts in Theoretical Computer Science. An EATCS Series Autor Juraj Hromkovič 26 feb 1997 Hardback Preț: 341.63 lei 427.04 lei 6-8 săpt. -20%
Introduction to Circuit Complexity: A Uniform Approach Texts in Theoretical Computer Science. An EATCS Series Autor Heribert Vollmer 23 iun 1999 Hardback Preț: 506.13 lei 632.67 lei 6-8 săpt. -20%
The Complexity Theory Companion Texts in Theoretical Computer Science. An EATCS Series Autor Lane A. Hemaspaandra et al. dec 2001 Hardback Preț: 542.18 lei 677.72 lei 6-8 săpt. -20%
Information and Randomness: An Algorithmic Perspective Texts in Theoretical Computer Science. An EATCS Series Autor Cristian S. Calude 15 dec 2010 Paperback Preț: 465.70 lei 6-8 săpt.
Public-Key Cryptography Texts in Theoretical Computer Science. An EATCS Series Autor Arto Salomaa 5 dec 2010 Paperback Preț: 332.06 lei 415.08 lei 6-8 săpt. -20%
Abstract Computing Machines: A Lambda Calculus Perspective Texts in Theoretical Computer Science. An EATCS Series Autor Werner Kluge 18 feb 2005 Hardback Preț: 656.19 lei 820.23 lei 6-8 săpt. -20%
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability Texts in Theoretical Computer Science. An EATCS Series Autor Marcus Hutter 12 oct 2004 Hardback Preț: 596.97 lei 746.20 lei 6-8 săpt. -20%
Dissemination of Information in Optical Networks:: From Technology to Algorithms Texts in Theoretical Computer Science. An EATCS Series Autor Subir Bandyopadhyay 9 noi 2007 Hardback Preț: 399.50 lei 6-8 săpt.
The Resolution Calculus Texts in Theoretical Computer Science. An EATCS Series Autor Alexander Leitsch 28 sep 2011 Paperback Preț: 389.31 lei 6-8 săpt.
Modelling Distributed Systems Texts in Theoretical Computer Science. An EATCS Series Autor Wan Fokkink 26 sep 2007 Hardback Preț: 332.06 lei 415.08 lei 6-8 săpt. -20%
Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance Texts in Theoretical Computer Science. An EATCS Series Autor Juraj Hromkovič et al. 18 feb 2005 Hardback Preț: 341.95 lei 427.44 lei 6-8 săpt. -20%
Complexity Theory and Cryptology: An Introduction to Cryptocomplexity Texts in Theoretical Computer Science. An EATCS Series Autor Jörg Rothe 22 iul 2005 Hardback Preț: 347.26 lei 434.07 lei 6-8 săpt. -20%
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors Texts in Theoretical Computer Science. An EATCS Series Autor R. Kurki-Suonio 17 feb 2005 Hardback Preț: 345.26 lei 431.57 lei 6-8 săpt. -20%
Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms Texts in Theoretical Computer Science. An EATCS Series Autor J. Hromkovic et al. 14 iun 2005 Hardback Preț: 422.90 lei 528.62 lei 6-8 săpt. -20%
Boolean Functions and Computation Models Texts in Theoretical Computer Science. An EATCS Series Autor Peter Clote et al. 19 sep 2002 Hardback Preț: 526.75 lei 658.44 lei 6-8 săpt. -20%
Software Engineering 2: Specification of Systems and Languages Texts in Theoretical Computer Science. An EATCS Series Autor Dines Bjørner 22 feb 2006 Hardback Preț: 362.57 lei 453.21 lei 6-8 săpt. -20%
Parameterized Complexity Theory Texts in Theoretical Computer Science. An EATCS Series Autor J. Flum et al. 9 feb 2006 Hardback Preț: 722.66 lei 903.33 lei 6-8 săpt. -20%
Verification of Reactive Systems: Formal Methods and Algorithms Texts in Theoretical Computer Science. An EATCS Series Autor Klaus Schneider 16 oct 2003 Hardback Preț: 354.71 lei 443.38 lei 38-44 zile -20%
Structural Complexity I Texts in Theoretical Computer Science. An EATCS Series Autor Jose L. Balcazar et al. 9 dec 2011 Paperback Preț: 329.11 lei 411.39 lei 6-8 săpt. -20%
Simulation Algorithms for Computational Systems Biology Texts in Theoretical Computer Science. An EATCS Series Autor Luca Marchetti et al. 9 oct 2017 Hardback Preț: 199.04 lei 248.80 lei 3-5 săpt. | 10-14 zile -20%
Introduction to Process Algebra Texts in Theoretical Computer Science. An EATCS Series Autor Wan Fokkink 23 dec 1999 Hardback Preț: 383.93 lei 6-8 săpt.
Introduction to Concurrency Theory: Transition Systems and CCS Texts in Theoretical Computer Science. An EATCS Series Autor Roberto Gorrieri et al. 11 sep 2015 Hardback Preț: 341.30 lei 426.63 lei 3-5 săpt. -20%
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics Texts in Theoretical Computer Science. An EATCS Series Autor Juraj Hromkovič 9 dec 2010 Paperback Preț: 430.64 lei 538.29 lei 6-8 săpt. -20%
Elements of Finite Model Theory Texts in Theoretical Computer Science. An EATCS Series Autor Leonid Libkin 2 iul 2004 Hardback Preț: 591.28 lei 695.61 lei 6-8 săpt. -15%
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions Texts in Theoretical Computer Science. An EATCS Series Autor Yves Bertot et al. 14 mai 2004 Hardback Preț: 712.54 lei 838.29 lei 6-8 săpt. -15%
Software Engineering 1: Abstraction and Modelling Texts in Theoretical Computer Science. An EATCS Series Autor Dines Bjørner 19 dec 2005 Hardback Preț: 672.84 lei 841.05 lei 6-8 săpt. -20%
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography Texts in Theoretical Computer Science. An EATCS Series Autor Juraj Hromkovič 18 sep 2003 Hardback Preț: 652.22 lei 815.27 lei 6-8 săpt. -20%
DNA Computing: New Computing Paradigms Texts in Theoretical Computer Science. An EATCS Series Autor Gheorghe Paun et al. 15 sep 1998 Hardback Preț: 599.76 lei 749.70 lei 6-8 săpt. -20%
Exact Exponential Algorithms Texts in Theoretical Computer Science. An EATCS Series Autor Fedor V. Fomin et al. dec 2012 Paperback Preț: 361.03 lei 38-44 zile
Models of Computation Texts in Theoretical Computer Science. An EATCS Series Autor Roberto Bruni et al. 10 apr 2017 Hardback Preț: 647.21 lei 809.01 lei 6-8 săpt. -20%
Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks Texts in Theoretical Computer Science. An EATCS Series Autor Max Garzon 12 feb 2012 Paperback Preț: 332.24 lei 415.30 lei 6-8 săpt. -20%
Decision Procedures: An Algorithmic Point of View Texts in Theoretical Computer Science. An EATCS Series Autor Daniel Kroening et al. 23 mai 2008 Hardback Preț: 427.33 lei 534.17 lei 6-8 săpt. -20%
An Introduction to Online Computation: Determinism, Randomization, Advice Texts in Theoretical Computer Science. An EATCS Series Autor Dennis Komm 10 noi 2016 Hardback Preț: 942.50 lei 1178.13 lei 38-44 zile -20%
Petri Net Synthesis Texts in Theoretical Computer Science. An EATCS Series Autor Eric Badouel et al. 11 noi 2015 Hardback Preț: 398.54 lei 498.17 lei 6-8 săpt. -20%
Grammatical Picture Generation: A Tree-Based Approach Texts in Theoretical Computer Science. An EATCS Series Autor Frank Drewes 18 ian 2006 Mixed media product Preț: 352.02 lei 440.02 lei 6-8 săpt. -20%
Finite Model Theory and Its Applications Texts in Theoretical Computer Science. An EATCS Series Autor Erich Grädel et al. 24 apr 2007 Hardback Preț: 600.75 lei 750.93 lei 6-8 săpt. -20%
Extremal Combinatorics: With Applications in Computer Science Texts in Theoretical Computer Science. An EATCS Series Autor Stasys Jukna 27 noi 2013 Paperback Preț: 401.09 lei 501.36 lei 38-44 zile -20%
Computable Analysis: An Introduction Texts in Theoretical Computer Science. An EATCS Series Autor Klaus Weihrauch 20 noi 2013 Paperback Preț: 332.89 lei 416.12 lei 6-8 săpt. -20%
Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms Texts in Theoretical Computer Science. An EATCS Series Autor Klaas Sikkel 13 noi 2013 Paperback Preț: 336.86 lei 421.08 lei 6-8 săpt. -20%
Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks Texts in Theoretical Computer Science. An EATCS Series Editat de Arie Koster et al. 14 mar 2012 Paperback Preț: 994.92 lei 1243.64 lei 6-8 săpt. -20%
Software Engineering 3: Domains, Requirements, and Software Design Texts in Theoretical Computer Science. An EATCS Series Autor Dines Bjørner 12 feb 2010 Paperback Preț: 727.14 lei 908.92 lei 6-8 săpt. -20%