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

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
$159.50
2 formats available
Front cover

Formal Methods for Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach Hardcover
$131.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
$144.95
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

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

Extremal Combinatorics: With Applications in Computer Science
Stasys Jukna Hardcover
$159.50
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
$173.95
2 formats available
Front cover

Petri Net Synthesis
Eric Badouel Paperback
$116.95
2 formats available
Front cover

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

Parameterized Complexity Theory
J. Flum Paperback
$144.95
2 formats available
Front cover

The Complexity Theory Companion
Lane A. Hemaspaandra Paperback
$94.95
2 formats available
Front cover

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

Introduction to Concurrency Theory: Transition Systems and CCS
Roberto Gorrieri Hardcover
$80.50
2 formats available
Front cover

DNA Computing: New Computing Paradigms
Gheorghe Paun Paperback
$173.95
2 formats available
Front cover

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