Monographs in Theoretical Computer Science. An EATCS Series

Javier Esparza and Others
Series • 11 Books • Computers
Fault-Tolerant Search Algorithms Fault-Tolerant Search Algorithms
Fault-Tolerant Search Algorithms
Ferdinando Cicalese
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
Dines Bjørner & Martin C. Henson
Theoretical Aspects of Local Search Theoretical Aspects of Local Search
Theoretical Aspects of Local Search
Wil Michiels, Emile Aarts & Jan Korst
Fundamentals of Algebraic Graph Transformation Fundamentals of Algebraic Graph Transformation
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange & Gabriele Taentzer
Patterns in Permutations and Words Patterns in Permutations and Words
Patterns in Permutations and Words
Sergey Kitaev
Handbook of Weighted Automata Handbook of Weighted Automata
Handbook of Weighted Automata
Manfred Droste, Werner Kuich & Heiko Vogler
Stochastic Coalgebraic Logic Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
Ernst-Erich Doberkat
Time-Dependent Scheduling Time-Dependent Scheduling
Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Unfoldings Unfoldings
Unfoldings
Javier Esparza & Keijo Heljanko
Theoretical Aspects of Distributed Computing in Sensor Networks Theoretical Aspects of Distributed Computing in Sensor Networks
Theoretical Aspects of Distributed Computing in Sensor Networks
Sotiris Nikoletseas & José D.P. Rolim