Books

Texts In Theoretical Computer Science. An Eatcs Series

Free pickup at

Select a store

Available for delivery

Filters

Free pickup at

Select a store

Available for delivery

32 results for

Sort By:
Available for delivery
Free pickup at:

0 items

No products found

Try adjusting your filters to see more items.

Front cover

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

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

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

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

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

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

Public-Key Cryptography
Arto Salomaa Paperback
$80.50
2 formats available
Front cover

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

Elements of Finite Model Theory
Leonid Libkin Paperback
$145.95
2 formats available
Front cover

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

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

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

Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, And Fault-tolerance
Juraj Hromkovi Paperback
$80.50
2 formats available
Front cover

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Yves Bertot Paperback
$131.50
2 formats available
Front cover

Boolean Functions and Computation Models
Peter Clote Paperback
$159.50
2 formats available
Front cover

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

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability
Marcus Hutter Paperback
$145.95
2 formats available
Front cover

Exact Exponential Algorithms
Fedor V. Fomin Paperback
$80.50
2 formats available
Front cover

Computable Analysis: An Introduction
Klaus Weihrauch Paperback
$80.50
2 formats available
Front cover

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

Introduction to Process Algebra
Wan Fokkink Paperback
$80.50
2 formats available
Front cover

Modelling Distributed Systems
Wan Fokkink Paperback
$80.50
2 formats available
Front cover

Communication Complexity and Parallel Computing
Juraj Hromkovi Paperback
$102.50
2 formats available
Front cover

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