1
Coping with Selfishness in Congestion Games [E-Book] : Analysis and Design via LP Duality /
2
Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /
3
Domain Science and Engineering [E-Book] : A Foundation for Software Development /
...Monographs in Theoretical Computer Science. An EATCS Series...

Full text 
4
Models of Computation [E-Book] /
...Texts in Theoretical Computer Science. An EATCS Series...

Full text 
5
Decision procedures : an algorithmic point of view /
Book
...Texts in theoretical computer science. An EATCS series...
Table of Contents 
6
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
7
Combinatorics on Words [E-Book] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings /
8
Extremal Combinatorics [E-Book] : With Applications in Computer Science /
...Texts in Theoretical Computer Science. An EATCS Series...

Full text 
9
Patterns in Permutations and Words [E-Book] /
...Monographs in Theoretical Computer Science. An EATCS Series...

Full text 
10
Deterministic Extraction from Weak Random Sources [E-Book] /
...Monographs in Theoretical Computer Science. An EATCS Series,...

Full text 
11
Theoretical Aspects of Distributed Computing in Sensor Networks [E-Book] /
...Monographs in Theoretical Computer Science. An EATCS Series,...

Full text 
12
Graphs and Algorithms in Communication Networks [E-Book] : Studies in Broadband, Optical, Wireless and Ad Hoc Networks /
13
Exact Exponential Algorithms [E-Book] /
...Texts in Theoretical Computer Science. An EATCS Series,...

Full text 
14
Stochastic Coalgebraic Logic [E-Book] /
...Monographs in Theoretical Computer Science. An EATCS Series,...

Full text 
15
Unfoldings [E-Book] : A Partial-Order Approach to Model Checking /
...Monographs in Theoretical Computer Science An EATCS Series,...

Full text 
16
Dissemination of Information in Optical Networks [E-Book] : From Technology to Algorithms In Cooperation with Ralf Klasing /
...Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS),...

Full text 
17
Time-Dependent Scheduling [E-Book] /
...Monographs in Theoretical Computer Science, An EATCS Series,...

Full text 
18
Decision Procedures [E-Book] : An Algorithmic Point of View /
...Texts in Theoretical Computer Science, An Eatcs Series,...

Full text 
19
Temporal Logic and State Systems [E-Book] /
...Texts in Theoretical Computer Science, An EATCS Series,...

Full text 
20
Logics of Specification Languages [E-Book] /
...Monographs in Theoretical Computer Science, An EATCS Series,...

Full text