Home  
Series  
Texts in Theoretical Computer Science: An EATCS Series
for weekly updates & specials by email

Texts in Theoretical Computer Science: An EATCS Series

1 to 40 of 76 Results
Sort:
Parameterized Complexity Theory on Hardback by J Flum
$327.00
Parameterized Complexity Theory
by J Flum ~ Hardback
Available - Usually ships in 3-4 weeks
Interactive Theorem Proving and Program Development by Yves Bertot
$247.00
Interactive Theorem Proving and Program Development
by Yves Bertot ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Graphs and Algorithms in Communication Networks
$450.00
Graphs and Algorithms in Communication Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Boolean Functions and Computation Models by Peter Clote
$299.00
Boolean Functions and Computation Models
by Peter Clote ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Dissemination of Information in Communication Networks by Juraj Hromkovic
$153.00
Dissemination of Information in Communication Networks
by Juraj Hromkovic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Concurrency Theory on Hardback by Roberto Gorrieri
$155.00
Introduction to Concurrency Theory
by Roberto Gorrieri ~ Hardback
Available - Usually ships in 3-4 weeks
Models of Computation by Roberto Bruni
$177.00
Models of Computation
by Roberto Bruni ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Distributed Systems by Wan Fokkink
$149.00
Modelling Distributed Systems
by Wan Fokkink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
DNA Computing on Hardback by Gheorghe Pa?un
$272.00
DNA Computing
by Gheorghe Pa?un ~ Hardback
Available - Usually ships in 3-4 weeks
Software Engineering 3 on Hardback by Dines Bjorner
$311.00
Software Engineering 3
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Computable Analysis on Hardback by Klaus Weihrauch
$155.00
Computable Analysis
by Klaus Weihrauch ~ Hardback
Available - Usually ships in 3-4 weeks
Complexity Theory and Cryptology by Jorg Rothe
$157.00
Complexity Theory and Cryptology
by Jorg Rothe ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Practical Theory of Reactive Systems by R. Kurki-Suonio
$155.00
A Practical Theory of Reactive Systems
by R. Kurki-Suonio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 1 by Dines Bjorner
$280.00
Software Engineering 1
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Petri Net Synthesis on Hardback by Eric Badouel
$181.00
Petri Net Synthesis
by Eric Badouel ~ Hardback
Available - Usually ships in 3-4 weeks
Universal Artificial Intelligence on Hardback by Marcus Hutter
$269.00
Universal Artificial Intelligence
by Marcus Hutter ~ Hardback
Available - Usually ships in 3-4 weeks
DNA Computing by Gheorghe Pa?un
$318.00
DNA Computing
by Gheorghe Pa?un ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Elements of Finite Model Theory by Leonid Libkin
$267.00
Elements of Finite Model Theory
by Leonid Libkin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 1 on Hardback by Dines Bjorner
$308.00
Software Engineering 1
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Elements of Finite Model Theory on Hardback by Leonid Libkin
$270.00
Elements of Finite Model Theory
by Leonid Libkin ~ Hardback
Available - Usually ships in 3-4 weeks
Public-Key Cryptography on Hardback by Arto Salomaa
$168.00
Public-Key Cryptography
by Arto Salomaa ~ Hardback
Available - Usually ships in 3-4 weeks
Parsing Schemata by Klaas Sikkel
$153.00
Parsing Schemata
by Klaas Sikkel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Circuit Complexity on Hardback by Heribert Vollmer
$245.00
Introduction to Circuit Complexity
by Heribert Vollmer ~ Hardback
Available - Usually ships in 3-4 weeks
A Practical Theory of Reactive Systems on Hardback by R. Kurki-Suonio
$157.00
A Practical Theory of Reactive Systems
by R. Kurki-Suonio ~ Hardback
Available - Usually ships in 3-4 weeks
Simulation Algorithms for Computational Systems Biology on Hardback by Luca Marchetti
$190.00
Simulation Algorithms for Computational Systems Biology
by Luca Marchetti ~ Hardback
Available - Usually ships in 3-4 weeks
The Resolution Calculus by Alexander Leitsch
$151.00
The Resolution Calculus
by Alexander Leitsch ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Public-Key Cryptography by Arto Salomaa
$150.00
Public-Key Cryptography
by Arto Salomaa ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 2 by Dines Bjorner
$167.00
Software Engineering 2
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Structural Complexity I by Josep Diaz
$149.00
Structural Complexity I
by Josep Diaz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Decision Procedures on Hardback by Daniel Kroening
$233.00
Decision Procedures
by Daniel Kroening ~ Hardback
Available - Usually ships in 3-4 weeks
Software Engineering 2 on Hardback by Dines Bjorner
$169.00
Software Engineering 2
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Interactive Theorem Proving and Program Development on Hardback by Yves Bertot
$326.00
Interactive Theorem Proving and Program Development
by Yves Bertot ~ Hardback
Available - Usually ships in 3-4 weeks
Modelling Distributed Systems on Hardback by Wan Fokkink
$150.00
Modelling Distributed Systems
by Wan Fokkink ~ Hardback
Available - Usually ships in 3-4 weeks
Theoretical Computer Science by Juraj Hromkovic
$292.00
Theoretical Computer Science
by Juraj Hromkovic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Process Algebra on Hardback by Wan Fokkink
$150.00
Introduction to Process Algebra
by Wan Fokkink ~ Hardback
Available - Usually ships in 3-4 weeks
Communication Complexity and Parallel Computing by Juraj Hromkovic
$191.00
Communication Complexity and Parallel Computing
by Juraj Hromkovic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmics for Hard Problems on Hardback by Juraj Hromkovic
$276.00
Algorithmics for Hard Problems
by Juraj Hromkovic ~ Hardback
Available - Usually ships in 3-4 weeks
Grammatical Picture Generation: A Tree-based Approach by Frank Drewes
$161.00
Grammatical Picture Generation: A Tree-based Approach
by Frank Drewes ~ Mixed media product
Available - Usually ships in 3-4 weeks
Complexity Theory and Cryptology on Hardback by Jorg Rothe
$182.00
Complexity Theory and Cryptology
by Jorg Rothe ~ Hardback
Available - Usually ships in 3-4 weeks
Boolean Functions and Computation Models on Hardback by Peter Clote
$240.00
Boolean Functions and Computation Models
by Peter Clote ~ Hardback
Available - Usually ships in 3-4 weeks