All Brands Books

Texts In Theoretical Computer Science. An Eatcs Series

Filters

32 items

Sort By:

0 items

No products found

Try adjusting your filters to see more items.

Verification of Reactive Systems: Formal Methods and Algorithms
Klaus Schneider Paperback
$80.50

Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Juraj Hromkovi Paperback
$102.50

Dissemination Of Information In Optical Networks: : From Technology To Algorithms
Subir Bandyopadhyay Paperback
$80.50

Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms
Klaas Sikkel Paperback
$80.50

Formal Methods for Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach Paperback
$87.95

Algorithmics For Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Juraj Hromkovi Hardcover
$145.95

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity
Jörg Rothe Paperback
$80.50
2 formats available

Elements Of Finite Model Theory
Leonid Libkin Hardcover
$145.95
2 formats available

Formal Methods For Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach Hardcover
$124.50
2 formats available

The Parametric Lambda Calculus: A Metamodel for Computation
Simona Ronchi Della Rocca Hardcover
$80.50
2 formats available

Software Engineering 2: Specification of Systems and Languages
Dines Bjorner Paperback
$80.50
2 formats available

Dissemination Of Information In Communication Networks: Broadcasting, Gossiping, Leader Election, And Fault-tolerance
Juraj Hromkovi Hardcover
$80.50
2 formats available

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
Yves Bertot Hardcover
$175.50
2 formats available

Temporal Logic and State Systems
Fred Kröger Paperback
$131.50
2 formats available

Extremal Combinatorics: With Applications in Computer Science
Stasys Jukna Hardcover
$145.95
2 formats available

Introduction To Process Algebra
Wan Fokkink Hardcover
$80.50
2 formats available

Modelling Distributed Systems
Wan Fokkink Paperback
$80.50
2 formats available

Communication Complexity and Parallel Computing
Juraj Hromkovi Hardcover
$80.50
2 formats available

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Juraj Hromkovi Hardcover
$160.95
2 formats available

Petri Net Synthesis
Eric Badouel Paperback
$116.95
2 formats available

Introduction to Circuit Complexity: A Uniform Approach
Heribert Vollmer Paperback
$124.50
2 formats available

Parameterized Complexity Theory
J. Flum Paperback
$131.50
2 formats available

The Complexity Theory Companion
Lane A. Hemaspaandra Hardcover
$131.50
2 formats available

Simulation Algorithms For Computational Systems Biology
Luca Marchetti Hardcover
$102.50
2 formats available