![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Monographs in Theoretical Computer Science. An EATCS Series
- Vittorio Bilò, Cosimo Vinci:
Coping with Selfishness in Congestion Games - Analysis and Design via LP Duality. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2023, ISBN 978-3-031-30260-2, pp. 3-166 - Dines Bjørner:
Domain Science and Engineering - A Foundation for Software Development. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2021, ISBN 978-3-030-73483-1, pp. 3-319 - Stanislaw Gawiejnowicz
:
Models and Algorithms of Time-Dependent Scheduling, Second Edition. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2020, ISBN 978-3-662-59361-5, pp. 3-502 - Kenichi Morita
:
Theory of Reversible Computing. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-4-431-56604-5, pp. 1-447 - Roberto Gorrieri
:
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-55558-4, pp. 1-285 - Hartmut Ehrig, Claudia Ermel, Ulrike Golas
, Frank Hermann:
Graph and Model Transformation - General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-662-47979-7, pp. 5-399 - Sergey Kitaev
, Vadim V. Lozin:
Words and Graphs. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-319-25857-7, pp. 1-229 - Ferdinando Cicalese:
Fault-Tolerant Search Algorithms - Reliable Computation with Unreliable Information. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2013, ISBN 978-3-642-17326-4, pp. 1-198 - Donald Sannella, Andrzej Tarlecki
:
Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-17335-6, pp. I-XVI, 1-581 - Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-32331-7, pp. I-XVI, 1-423 - Sergey Kitaev:
Patterns in Permutations and Words. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2011, ISBN 978-3-642-17332-5, pp. i-xxii, 1-494 - Ariel Gabizon:
Deterministic Extraction from Weak Random Sources. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2011, ISBN 978-3-642-14902-3, pp. i-xi, 1-148 - Sotiris E. Nikoletseas, José D. P. Rolim:
Theoretical Aspects of Distributed Computing in Sensor Networks. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2011, ISBN 978-3-642-14848-4 [contents] - Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2009, ISBN 978-3-642-02994-3, pp. I-XV, 1-231 - Stanislaw Gawiejnowicz
:
Time-Dependent Scheduling. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2008, ISBN 978-3-540-69445-8, pp. I-XVI, 1-379 - Javier Esparza, Keijo Heljanko:
Unfoldings - A Partial-Order Approach to Model Checking. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2008, ISBN 978-3-540-77425-9, pp. I-XII, 1-156 - Wil Michiels, Emile H. L. Aarts, Jan H. M. Korst:
Theoretical aspects of local search. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-35853-4, pp. I-VIII, 1-235 - Hartmut Ehrig, Karsten Ehrig, Ulrike Prange
, Gabriele Taentzer:
Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-31187-4, pp. I-XIII, 1-390 - Martin Große-Rhode:
Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-07306-9, pp. I-IX, 1-330 - Eugene Fink, Derick Wood:
Restricted-Orientation Convexity. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-62323-3, pp. I-X, 1-102 - Zhou Chaochen, Michael R. Hansen:
Duration Calculus - A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-07404-2, pp. I-X, 1-250 - Lane A. Hemaspaandra
, Leen Torenvliet:
Theory of Semi-Feasible Algorithms. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2003, ISBN 978-3-642-07581-0, pp. i-x, 1-149 - Jos C. M. Baeten, Cornelis A. Middelburg
:
Process Algebra with Timing. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2002, ISBN 978-3-642-07788-3, pp. I-XIX, 1-290 - Stéphane Demri, Ewa Orlowska:
Incomplete Information: Structure, Inference, Complexity. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2002, ISBN 3-540-41904-7, pp. I-XVIII, 1-408 - Eike Best, Raymond R. Devillers, Maciej Koutny:
Petri net algebra. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2001, ISBN 978-3-540-67398-9, pp. I-XI, 1-378 - Aldo de Luca, Stefano Varricchio:
Finiteness and Regularity in Semigroups and Formal Languages. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1999, ISBN 978-3-540-63771-4, pp. I-X, 1-242 - Zoltán Fülöp, Heiko Vogler:
Syntax-Directed Semantics - Formal Models Based on Tree Transducers. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1998, ISBN 978-3-642-72250-9, pp. I-X, 1-273 - Kurt Jensen:
Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 3. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1997, ISBN 978-3-642-64556-3, pp. I-IX, 1-268 - Kurt Jensen:
Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1, Second Edition. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1996, ISBN 978-3-642-08243-6, pp. I-XII, 1-236 - Areski Nait Abdallah:
The Logic of Partial Information. Monographs in Theoretical Computer Science. An EATCS Series, Springer 1995, ISBN 978-3-642-78162-9, pp. I-XXV, 1-718
EATCS Monographs on Theoretical Computer Science
- Cristian Calude
:
Information and Randomness - An Algorithmic Perspective. EATCS Monographs on Theoretical Computer Science, Springer 1994, ISBN 978-3-662-03051-6, pp. I-XVI, 1-243 - Stephen L. Bloom, Zoltán Ésik:
Iteration Theories - The Equational Logic of Iterative Processes. EATCS Monographs on Theoretical Computer Science, Springer 1993, ISBN 978-3-642-78036-3, pp. i-xv, 1-632 - Gunther Schmidt, Thomas Ströhlein:
Relations and Graphs - Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science, Springer 1993, ISBN 3-540-56254-0 - Ryszard Janicki, Peter E. Lauer:
Specification and Analysis of Concurrent Systems - The COSY Approach. EATCS Monographs on Theoretical Computer Science, Springer 1992, ISBN 978-3-642-77339-6, pp. i-xii, 1-482 - Kurt Jensen:
Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1. EATCS Monographs on Theoretical Computer Science, Springer 1992, ISBN 978-3-662-06291-3, pp. I-X, 1-236
- 25Wolfgang Wechler:
Universal Algebra for Computer Scientists. EATCS Monographs on Theoretical Computer Science 25, Springer 1992, ISBN 978-3-642-76773-9, pp. I-XII, 1-341 - 24Tamás Gergely, László Úry:
First-Order Programming Theories. EATCS Monographs on Theoretical Computer Science 24, Springer 1991, ISBN 978-3-642-63503-8, pp. 1-353 - 23Arto Salomaa:
Public-Key Cryptography. EATCS Monographs on Theoretical Computer Science 23, Springer 1990, ISBN 978-3-662-02629-8, pp. I-X, 1-247 - 22José L. Balcázar, Josep Díaz, Joaquim Gabarró:
Structural Complexity II. EATCS Monographs on Theoretical Computer Science 22, Springer 1990, ISBN 978-3-642-75359-6, pp. I-IX, 1-285 - 21Hartmut Ehrig, Bernd Mahr:
Fundamentals of Algebraic Specification 2. EATCS Monographs on Theoretical Computer Science 21, Springer 1990, ISBN 978-3-642-64776-5, pp. I-XI, 1-427 - 20Seppo Sippu, Eljas Soisalon-Soininen:
Parsing Theory - Volume II: LR(k) and LL(k) Parsing. EATCS Monographs on Theoretical Computer Science 20, Springer 1990, ISBN 978-3-642-08079-1, pp. I-IX, 1-427 - 19Mads Tofte:
Compiler Generators - What They Can Do, What They Might Do, and What They Will Probably Never Do. EATCS Monographs on Theoretical Computer Science 19, Springer 1990, ISBN 978-3-642-64857-1, pp. I-XI, 1-147 - 18….
- 17Jan Paredaens, Paul De Bra, Marc Gyssens
, Dirk Van Gucht:
The Structure of the Relational Database Model. EATCS Monographs on Theoretical Computer Science 17, Springer 1989, ISBN 3-540-13714-9 - 16Peter Padawitz:
Computing in Horn Clause Theories. EATCS Monographs on Theoretical Computer Science 16, Springer 1988, ISBN 978-3-642-73826-5, pp. I-XI, 1-322 - 15Seppo Sippu, Eljas Soisalon-Soininen:
Parsing Theory - Volume I: Languages and Parsing. EATCS Monographs on Theoretical Computer Science 15, Springer 1988, ISBN 978-3-642-64801-4, pp. I-VIII, 1-228 - 14Matthias Jantzen:
Confluent String Rewriting. EATCS Monographs on Theoretical Computer Science 14, Springer 1988, ISBN 978-3-642-64867-0, pp. I-IX, 1-126 - 13Eike Best, César Fernández:
Nonsequential Processes - A Petri Net View. EATCS Monographs on Theoretical Computer Science 13, Springer 1988, ISBN 978-3-642-73485-4, pp. i-ix, 1-112 - 12….
- 11José L. Balcázar, Josep Díaz, Joaquim Gabarró:
Structural Complexity I. EATCS Monographs on Theoretical Computer Science 11, Springer 1990, ISBN 978-3-642-97064-1, pp. i-ix, 1-191 - 10Herbert Edelsbrunner:
Algorithms in Combinatorial Geometry. EATCS Monographs on Theoretical Computer Science 10, Springer 1987, ISBN 978-3-642-64873-1, pp. I-XV, 1-423 - 9Klaus Weihrauch:
Computability. EATCS Monographs on Theoretical Computer Science 9, Springer 1987, ISBN 978-3-642-69967-2, pp. I-X, 1-517 - 8Fred Kröger:
Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science 8, Springer 1987, ISBN 978-3-642-71551-8, pp. I-VIII, 1-148 - 7Ferenc Gécseg:
Products of Automata. EATCS Monographs on Theoretical Computer Science 7, Springer 1986, ISBN 978-3-642-64884-7, pp. I-VIII, 1-107 - 6Hartmut Ehrig, Bernd Mahr:
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science 6, Springer 1985, ISBN 3-540-13718-1, pp. I-XI, 1-321 - 5Werner Kuich, Arto Salomaa:
Semirings, Automata, Languages. EATCS Monographs on Theoretical Computer Science 5, Springer 1986, ISBN 3-540-13716-5, pp. I-IX, 1-374 - 4Wolfgang Reisig:
Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science 4, Springer 1985, ISBN 3-540-13723-8, pp. I-IX, 1-164 - 3Kurt Mehlhorn:
Data Structures and Algorithms 3: Multi-dimensional Searching and Computational Geometry. EATCS Monographs on Theoretical Computer Science 3, Springer 1984, ISBN 3-540-13642-8, pp. I-XII, 1-284 - 2Kurt Mehlhorn:
Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness. EATCS Monographs on Theoretical Computer Science 2, Springer 1984, ISBN 3-540-13641-X, pp. I-XII, 1-262 - 1Kurt Mehlhorn:
Data Structures and Algorithms 1: Sorting and Searching. EATCS Monographs on Theoretical Computer Science 1, Springer 1984, ISBN 3-540-13302-X, pp. I-XIV, 1-336
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.