Texts in Theoretical Computer Science. An EATCS Series

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Autor Markus Roggenbach et al.

24 iun 2023

Preț: 342^.21 lei 427^.76 lei

22-36 zile | 5-11 zile

-20%

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability

Texts in Theoretical Computer Science. An EATCS Series

Autor Marcus Hutter

12 oct 2004

Preț: 584^.90 lei 731^.13 lei

43-57 zile

-20%

Verification of Reactive Systems: Formal Methods and Algorithms

Texts in Theoretical Computer Science. An EATCS Series

Autor Klaus Schneider

16 oct 2003

Preț: 354^.71 lei 443^.38 lei

38-44 zile

-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

Preț: 386^.36 lei

43-57 zile

Communication Complexity and Parallel Computing

Texts in Theoretical Computer Science. An EATCS Series

Autor Juraj Hromkovič

26 feb 1997

Preț: 334^.75 lei 418^.44 lei

43-57 zile

-20%

Introduction to Circuit Complexity: A Uniform Approach

Texts in Theoretical Computer Science. An EATCS Series

Autor Heribert Vollmer

23 iun 1999

Preț: 495^.92 lei 619^.89 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Lane A. Hemaspaandra et al.

dec 2001

Preț: 531^.24 lei 664^.05 lei

43-57 zile

-20%

Information and Randomness: An Algorithmic Perspective

Texts in Theoretical Computer Science. An EATCS Series

Autor Cristian S. Calude

15 dec 2010

Preț: 456^.32 lei

43-57 zile

Texts in Theoretical Computer Science. An EATCS Series

Autor Arto Salomaa

5 dec 2010

Preț: 325^.38 lei 406^.73 lei

43-57 zile

-20%

Abstract Computing Machines: A Lambda Calculus Perspective

Texts in Theoretical Computer Science. An EATCS Series

Autor Werner Kluge

18 feb 2005

Preț: 642^.92 lei 803^.64 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Fred Kröger et al.

27 mar 2008

Preț: 509^.66 lei 637^.08 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Jose L. Balcazar et al.

9 dec 2011

Preț: 322^.50 lei 403^.13 lei

43-57 zile

-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

Preț: 391^.47 lei

43-57 zile

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

Preț: 335^.08 lei 418^.85 lei

43-57 zile

-20%

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity

Texts in Theoretical Computer Science. An EATCS Series

Autor Jörg Rothe

22 iul 2005

Preț: 340^.27 lei 425^.34 lei

43-57 zile

-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

Preț: 338^.31 lei 422^.89 lei

43-57 zile

-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

Preț: 414^.37 lei 517^.97 lei

43-57 zile

-20%

Boolean Functions and Computation Models

Texts in Theoretical Computer Science. An EATCS Series

Autor Peter Clote et al.

19 sep 2002

Preț: 516^.12 lei 645^.14 lei

43-57 zile

-20%

Software Engineering 2: Specification of Systems and Languages

Texts in Theoretical Computer Science. An EATCS Series

Autor Dines Bjørner

22 feb 2006

Preț: 355^.27 lei 444^.09 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor J. Flum et al.

9 feb 2006

Preț: 708^.05 lei 885^.06 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Alexander Leitsch

28 sep 2011

Preț: 381^.50 lei

43-57 zile

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

Preț: 325^.56 lei 406^.95 lei

43-57 zile

-20%

Simulation Algorithms for Computational Systems Biology

Texts in Theoretical Computer Science. An EATCS Series

Autor Luca Marchetti et al.

9 oct 2017

Preț: 199^.04 lei 248^.80 lei

22-36 zile | 5-11 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Fedor V. Fomin et al.

dec 2012

Preț: 361^.03 lei

38-44 zile

Introduction to Concurrency Theory: Transition Systems and CCS

Texts in Theoretical Computer Science. An EATCS Series

Autor Roberto Gorrieri et al.

11 sep 2015

Preț: 334^.43 lei 418^.04 lei

22-36 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Wan Fokkink

26 sep 2007

Preț: 122^.75 lei 153^.44 lei

22-36 zile | 5-11 zile

-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

Preț: 421^.95 lei 527^.45 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Leonid Libkin

2 iul 2004

Preț: 579^.33 lei 681^.57 lei

43-57 zile

-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

Preț: 698^.13 lei 821^.33 lei

43-57 zile

-15%

Software Engineering 1: Abstraction and Modelling

Texts in Theoretical Computer Science. An EATCS Series

Autor Dines Bjørner

19 dec 2005

Preț: 659^.22 lei 824^.03 lei

43-57 zile

-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

Preț: 639^.03 lei 798^.79 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Gheorghe Paun et al.

15 sep 1998

Preț: 587^.64 lei 734^.56 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Wan Fokkink

23 dec 1999

Preț: 376^.22 lei

43-57 zile

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

Preț: 974^.74 lei 1218^.42 lei

43-57 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Roberto Bruni et al.

10 apr 2017

Preț: 634^.13 lei 792^.66 lei

43-57 zile

-20%

Decision Procedures: An Algorithmic Point of View

Texts in Theoretical Computer Science. An EATCS Series

Autor Daniel Kroening et al.

23 mai 2008

Preț: 418^.72 lei 523^.39 lei

43-57 zile

-20%

An Introduction to Online Computation: Determinism, Randomization, Advice

Texts in Theoretical Computer Science. An EATCS Series

Autor Dennis Komm

10 noi 2016

Preț: 942^.50 lei 1178^.13 lei

38-44 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Eric Badouel et al.

11 noi 2015

Preț: 390^.51 lei 488^.13 lei

43-57 zile

-20%

Grammatical Picture Generation: A Tree-Based Approach

Texts in Theoretical Computer Science. An EATCS Series

Autor Frank Drewes

18 ian 2006

Preț: 344^.94 lei 431^.17 lei

43-57 zile

-20%

Finite Model Theory and Its Applications

Texts in Theoretical Computer Science. An EATCS Series

Autor Erich Grädel et al.

24 apr 2007

Preț: 588^.61 lei 735^.76 lei

43-57 zile

-20%

Extremal Combinatorics: With Applications in Computer Science

Texts in Theoretical Computer Science. An EATCS Series

Autor Stasys Jukna

27 noi 2013

Preț: 401^.09 lei 501^.36 lei

38-44 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Klaus Weihrauch

20 noi 2013

Preț: 326^.20 lei 407^.76 lei

43-57 zile

-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

Preț: 330^.09 lei 412^.61 lei

43-57 zile

-20%

Software Engineering 3: Domains, Requirements, and Software Design

Texts in Theoretical Computer Science. An EATCS Series

Autor Dines Bjørner

12 feb 2010

Preț: 712^.43 lei 890^.54 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

Texts in Theoretical Computer Science. An EATCS Series