Livres

Texts In Theoretical Computer Science. An Eatcs Series

Ramasser gratuitement à

Trouver en magasin

Faire livrer

Filtres

Ramasser gratuitement à

Trouver en magasin

Faire livrer

32 résultats pour

Trier par ::
Faire livrer
Ramasser gratuitement à:

0 articles

Aucun article trouvé

Try adjusting your filters to see more items.

Couverture

Algorithmics For Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Juraj Hromkovi Couverture rigide
145,95 $
Couverture

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity
Jörg Rothe Couverture souple
80,50 $
2 formats offerts
Couverture

Elements of Finite Model Theory
Leonid Libkin Couverture souple
145,95 $
2 formats offerts
Couverture

Dissemination Of Information In Optical Networks: : From Technology To Algorithms
Subir Bandyopadhyay Couverture souple
80,50 $
Couverture

Formal Methods For Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach Couverture rigide
124,50 $
2 formats offerts
Couverture

The Parametric Lambda Calculus: A Metamodel for Computation
Simona Ronchi Della Rocca Couverture souple
80,50 $
2 formats offerts
Couverture

Software Engineering 2: Specification of Systems and Languages
Dines Bjorner Couverture souple
80,50 $
2 formats offerts
Couverture

Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, And Fault-tolerance
Juraj Hromkovi Couverture souple
80,50 $
2 formats offerts
Couverture

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Yves Bertot Couverture souple
131,50 $
2 formats offerts
Couverture

Boolean Functions and Computation Models
Peter Clote Couverture souple
159,50 $
2 formats offerts
Couverture

Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Juraj Hromkovi Couverture souple
102,50 $
Couverture

Temporal Logic and State Systems
Fred Kröger Couverture souple
131,50 $
2 formats offerts
Couverture

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability
Marcus Hutter Couverture souple
145,95 $
2 formats offerts
Couverture

Verification of Reactive Systems: Formal Methods and Algorithms
Klaus Schneider Couverture souple
80,50 $
Couverture

Computable Analysis: An Introduction
Klaus Weihrauch Couverture souple
80,50 $
2 formats offerts
Couverture

Extremal Combinatorics: With Applications in Computer Science
Stasys Jukna Couverture rigide
145,95 $
2 formats offerts
Couverture

Introduction to Process Algebra
Wan Fokkink Couverture souple
80,50 $
2 formats offerts
Couverture

Modelling Distributed Systems
Wan Fokkink Couverture souple
80,50 $
2 formats offerts
Couverture

Communication Complexity and Parallel Computing
Juraj Hromkovi Couverture souple
102,50 $
2 formats offerts
Couverture

Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms
Klaas Sikkel Couverture souple
80,50 $
Couverture

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Juraj Hromkovi Couverture souple
160,95 $
2 formats offerts
Couverture

Petri Net Synthesis
Eric Badouel Couverture souple
116,95 $
2 formats offerts
Couverture

Introduction to Circuit Complexity: A Uniform Approach
Heribert Vollmer Couverture souple
124,50 $
2 formats offerts
Couverture

Parameterized Complexity Theory
J. Flum Couverture souple
131,50 $
2 formats offerts