1
Extremal Combinatorics [E-Book] : With Applications in Computer Science /
...Texts in Theoretical Computer Science. An EATCS Series...

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

Full text 
4
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 
5
Temporal Logic and State Systems [E-Book] /
...Texts in Theoretical Computer Science, An EATCS Series,...

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

Full text 
7
Modelling Distributed Systems [E-Book] /
...Texts in Theoretical Computer Science An EATCS Series,...

Full text 
8
Finite Model Theory and Its Applications [E-Book] /
...Texts in Theoretical Computer Science an EATCS Series,...

Full text 
9
Parameterized Complexity Theory [E-Book] /
...Texts in Theoretical Computer Science. An EATCS Series...

Full text 
10
Software Engineering 2 [E-Book] : Specification of Systems and Languages /
...Texts in Theoretical Computer Science An EATCS Series...

Full text 
11
Software Engineering 1 [E-Book] : Abstraction and Modelling /
...Texts in Theoretical Computer Science an EATCS Series,...

Full text 
12
Grammatical Picture Generation [E-Book] : A Tree-Based Approach /
...Texts in Theoretical Computer Science. An EATCS Series...

Full text 
13
Software Engineering 3 [E-Book] : Domains, Requirements, and Software Design /
...Texts in Theoretical Computer Science An EATC Series...

Full text 
14
Dissemination of Information in Communication Networks [E-Book] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
15
A Practical Theory of Reactive Systems [E-Book] : Incremental Modeling of Dynamic Behaviors /
16
Complexity Theory and Cryptology [E-Book] : An Introduction to Cryptocomplexity /
...Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)...

Full text 
17
Design and Analysis of Randomized Algorithms [E-Book] : Introduction to Design Paradigms /
18
Universal Artificial Intellegence [E-Book] : Sequential Decisions Based on Algorithmic Probability /
19
Abstract Computing Machines [E-Book] : A Lambda Calculus Perspective /
Kluge, W.
2005
...Texts in Theoretical Computer Science, An EATCS Series...

Full text