Texts in Theoretical Computer Science An EATCS Series

Joel Spencer and Others
Series • 19 Books • Computers
Universal Artificial Intelligence Universal Artificial Intelligence
Universal Artificial Intelligence
Marcus Hutter
Abstract Computing Machines Abstract Computing Machines
Abstract Computing Machines
Werner Kluge
Decision Procedures Decision Procedures
Decision Procedures
Daniel Kroening & Ofer Strichman
A Practical Theory of Reactive Systems A Practical Theory of Reactive Systems
A Practical Theory of Reactive Systems
R. Kurki-Suonio
Software Engineering 1 Software Engineering 1
Software Engineering 1
Dines Bjørner
Design and Analysis of Randomized Algorithms Design and Analysis of Randomized Algorithms
Design and Analysis of Randomized Algorithms
J. Hromkovic
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
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