Texts in Theoretical Computer Science An EATCS Series

Joel Spencer and Others
Series • 19 Books • Computers
Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider & Siraj Ahmed Shaikh
Software Engineering 3 Software Engineering 3
Software Engineering 3
Dines Bjørner
Universal Artificial Intelligence Universal Artificial Intelligence
Universal Artificial Intelligence
Marcus Hutter
Complexity Theory and Cryptology Complexity Theory and Cryptology
Complexity Theory and Cryptology
Jörg Rothe
Software Engineering 2 Software Engineering 2
Software Engineering 2
Dines Bjørner
Parameterized Complexity Theory Parameterized Complexity Theory
Parameterized Complexity Theory
J. Flum & M. Grohe
Dissemination of Information in Communication Networks Dissemination of Information in Communication Networks
Dissemination of Information in Communication Networks
Juraj Hromkovic, Ralf Klasing, A. Pelc, Peter Ružička & Walter Unger
Software Engineering 1 Software Engineering 1
Software Engineering 1
Dines Bjørner
Exact Exponential Algorithms Exact Exponential Algorithms
Exact Exponential Algorithms
Fedor V. Fomin & Dieter Kratsch
Extremal Combinatorics Extremal Combinatorics
Extremal Combinatorics
Stasys Jukna