![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Texts in Theoretical Computer Science. An EATCS Series
2022
- Markus Roggenbach
, Antonio Cerone, Bernd-Holger Schlingloff
, Gerardo Schneider, Siraj Ahmed Shaikh:
Formal Methods for Software Engineering - Languages, Methods, Application Domains. Texts in Theoretical Computer Science. An EATCS Series, Springer 2022, ISBN 978-3-030-38799-0, pp. 1-488
2017
- Roberto Bruni, Ugo Montanari:
Models of Computation. Texts in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-42898-7, pp. 3-356 - Luca Marchetti, Corrado Priami, Vo Hong Thanh:
Simulation Algorithms for Computational Systems Biology. Texts in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-63111-0, pp. 1-205
2016
- Dennis Komm
:
An Introduction to Online Computation - Determinism, Randomization, Advice. Texts in Theoretical Computer Science. An EATCS Series, Springer 2016, ISBN 978-3-319-42747-8, pp. 1-267 - Daniel Kroening, Ofer Strichman
:
Decision Procedures - An Algorithmic Point of View, Second Edition. Texts in Theoretical Computer Science. An EATCS Series, Springer 2016, ISBN 978-3-662-50496-3, pp. 1-307
2015
- Roberto Gorrieri
, Cristian Versari:
Introduction to Concurrency Theory - Transition Systems and CCS. Texts in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-319-21490-0, pp. 1-321 - Éric Badouel, Luca Bernardinello, Philippe Darondeau:
Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-662-47966-7, pp. 1-325
2011
- Stasys Jukna
:
Extremal Combinatorics - With Applications in Computer Science. Texts in Theoretical Computer Science. An EATCS Series, Springer 2011, ISBN 978-3-642-17363-9, pp. 1-411
2010
- Fedor V. Fomin, Dieter Kratsch:
Exact Exponential Algorithms. Texts in Theoretical Computer Science. An EATCS Series, Springer 2010, ISBN 978-3-642-16532-0, pp. 1-203 - Arie Koster
, Xavier Muñoz
:
Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks. Texts in Theoretical Computer Science. An EATCS Series, Springer 2010, ISBN 978-3-642-02249-4 [contents]
2008
- Daniel Kroening, Ofer Strichman:
Decision Procedures - An Algorithmic Point of View. Texts in Theoretical Computer Science. An EATCS Series, Springer 2008, ISBN 978-3-540-74104-6, pp. 1-304 - Fred Kröger, Stephan Merz:
Temporal Logic and State Systems. Texts in Theoretical Computer Science. An EATCS Series, Springer 2008, ISBN 978-3-540-67401-6, pp. 1-433 - Subir Bandyopadhyay:
Dissemination of Information in Optical Networks - From Technology to Algorithms. In Cooperation with Ralf Klasing. Texts in Theoretical Computer Science. An EATCS Series, Springer 2008, ISBN 978-3-540-72874-0, pp. 1-310
2007
- Wan J. Fokkink:
Modelling Distributed Systems. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-73937-1, pp. 1-151 - Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein:
Finite Model Theory and Its Applications. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-00428-8, pp. 1-437
2006
- Jörg Flum, Martin Grohe:
Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-29952-3, pp. 1-495 - Frank Drewes:
Grammatical Picture Generation - A Tree-Based Approach. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-21304-8, pp. 1-476 - Dines Bjørner:
Software Engineering 1 - Abstraction and Modelling. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-21149-5, pp. 1-711 - Dines Bjørner:
Software Engineering 2 - Specification of Systems and Languages. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-21150-1, pp. 1-777 - Dines Bjørner:
Software Engineering 3 - Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-21151-8, pp. 1-768
2005
- Marcus Hutter
:
Universal Artificial Intellegence - Sequential Decisions Based on Algorithmic Probability. Texts in Theoretical Computer Science. An EATCS Series, Springer 2005, ISBN 978-3-540-22139-5, pp. 1-280 - Juraj Hromkovic:
Design and Analysis of Randomized Algorithms - Introduction to Design Paradigms. Texts in Theoretical Computer Science. An EATCS Series, Springer 2005, ISBN 978-3-540-23949-9, pp. 1-274 - Jörg Rothe:
Complexity Theory and Cryptology. An Introduction to Cryptocomplexity. Texts in Theoretical Computer Science. An EATCS Series, Springer 2005, ISBN 978-3-540-22147-0, pp. 1-478 - Reino Kurki-Suonio:
A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors. Texts in Theoretical Computer Science. An EATCS Series, Springer 2005, ISBN 978-3-540-23342-8, pp. 1-420 - Werner E. Kluge:
Abstract Computing Machines - A Lambda Calculus Perspective. Texts in Theoretical Computer Science. An EATCS Series, Springer 2005, ISBN 978-3-540-21146-4, pp. 1-384 - Juraj Hromkovic, Ralf Klasing, Andrzej Pelc, Peter Ruzicka, Walter Unger:
Dissemination of Information in Communication Networks - Broadcasting, Gossiping, Leader Election, and Fault-Tolerance. Texts in Theoretical Computer Science. An EATCS Series, Springer 2005, ISBN 978-3-540-00846-0, pp. 1-361
2004
- Leonid Libkin:
Elements of Finite Model Theory. Texts in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 3-540-21202-7, pp. 1-318 - Klaus Schneider
:
Verification of Reactive Systems - Formal Methods and Algorithms. Texts in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-05555-3, pp. 1-602 - Simona Ronchi Della Rocca, Luca Paolini
:
The Parametric Lambda Calculus - A Metamodel for Computation. Texts in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-05746-5, pp. 1-254 - Juraj Hromkovic:
Algorithmics for Hard Problems - Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics, Second Edition. Texts in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-07909-2, pp. 1-538 - Yves Bertot, Pierre Castéran:
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-05880-6, pp. 1-472
2002
- Peter Clote, Evangelos Kranakis:
Boolean Functions and Computation Models. Texts in Theoretical Computer Science. An EATCS Series, Springer 2002, ISBN 978-3-642-08217-7, pp. 1-602 - Cristian S. Calude
:
Information and Randomness - An Algorithmic Perspective. Texts in Theoretical Computer Science. An EATCS Series, Springer 2002, ISBN 978-3-642-07793-7, pp. 1-468 - Lane A. Hemaspaandra
, Mitsunori Ogihara:
The Complexity Theory Companion. Texts in Theoretical Computer Science. An EATCS Series, Springer 2002, ISBN 978-3-642-08684-7, pp. 1-372
2001
- Stasys Jukna:
Extremal Combinatorics - With Applications in Computer Science. Texts in Theoretical Computer Science. An EATCS Series, Springer 2001, ISBN 978-3-540-66313-3, pp. I-XVII, 1-375 - Juraj Hromkovic:
Algorithmics for Hard Problems - Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics. Texts in Theoretical Computer Science. An EATCS Series, Springer 2001, ISBN 978-3-662-04618-0, pp. 1-494
2000
- Wan J. Fokkink:
Introduction to Process Algebra. Texts in Theoretical Computer Science. An EATCS Series, Springer 2000, ISBN 978-3-540-66579-3, pp. I-VIII, 1-163 - Klaus Weihrauch:
Computable Analysis - An Introduction. Texts in Theoretical Computer Science. An EATCS Series, Springer 2000, ISBN 978-3-540-66817-6, pp. 1-285
1999
- Heribert Vollmer:
Introduction to Circuit Complexity - A Uniform Approach. Texts in Theoretical Computer Science. An EATCS Series, Springer 1999, ISBN 978-3-540-64310-4, pp. I-XI, 1-270
1998
- Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
DNA Computing - New Computing Paradigms. Texts in Theoretical Computer Science. An EATCS Series, Springer 1998, ISBN 978-3-540-64196-4, pp. I-IX, 1-402
1997
- Klaas Sikkel:
Parsing Schemata - A Framework for Specification and Analysis of Parsing Algorithms. Texts in Theoretical Computer Science. An EATCS Series, Springer 1997, ISBN 978-3-540-61650-4, pp. I-XVI, 1-365 - Alexander Leitsch:
The Resolution Calculus. Texts in Theoretical Computer Science. An EATCS Series, Springer 1997, ISBN 978-3-540-61882-9, pp. I-VIII, 1-300 - Juraj Hromkovic:
Communication Complexity and Parallel Computing. Texts in Theoretical Computer Science. An EATCS Series, Springer 1997, ISBN 978-3-540-57459-0, pp. I-X, 1-336
1996
- Arto Salomaa:
Public Key Cryptography, Second Edition. Texts in Theoretical Computer Science. An EATCS Series, Springer 1996, ISBN 978-3-540-61356-5, pp. I-X, 1-271
1995
- José L. Balcázar, Josep Díaz, Joaquim Gabarró:
Structural Complexity I, Second Edition. Texts in Theoretical Computer Science. An EATCS Series, Springer 1995, ISBN 978-3-642-79237-3, pp. 1-210 - Max H. Garzon:
Models of Massive Parallelism - Analysis of Cellular Automata and Neural Networks. Texts in Theoretical Computer Science. An EATCS Series, Springer 1995, ISBN 978-3-540-56149-1, pp. I-XIV, 1-272
![](https://dblp.dagstuhl.de/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.