1
Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /
“...Texts in Theoretical Computer Science. An EATCS Series...”

Full text 
Favorites
Saved in:
2
Models of Computation [E-Book] /
“...Texts in Theoretical Computer Science. An EATCS Series...”

Full text 
Favorites
Saved in:
3
Decision procedures : an algorithmic point of view /
Book
“...Texts in theoretical computer science. An EATCS series...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
4
Extremal Combinatorics [E-Book] : With Applications in Computer Science /
“...Texts in Theoretical Computer Science. An EATCS Series...”

Full text 
Favorites
Saved in:
5
Graphs and Algorithms in Communication Networks [E-Book] : Studies in Broadband, Optical, Wireless and Ad Hoc Networks /
“...Texts in Theoretical Computer Science. An EATCS Series,...”

Full text 
Favorites
Saved in:
6
Exact Exponential Algorithms [E-Book] /
“...Texts in Theoretical Computer Science. An EATCS Series,...”

Full text 
Favorites
Saved in:
7
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 
Favorites
Saved in:
8
Temporal Logic and State Systems [E-Book] /
“...Texts in Theoretical Computer Science, An EATCS Series,...”

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

Full text 
Favorites
Saved in:
10
Finite Model Theory and Its Applications [E-Book] /
“...Texts in Theoretical Computer Science an EATCS Series,...”

Full text 
Favorites
Saved in:
11
Modelling Distributed Systems [E-Book] /
“...Texts in Theoretical Computer Science An EATCS Series,...”

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

Full text 
Favorites
Saved in:
13
Parameterized Complexity Theory [E-Book] /
“...Texts in Theoretical Computer Science. An EATCS Series...”

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

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

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

Full text 
Favorites
Saved in:
17
Dissemination of Information in Communication Networks [E-Book] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
“...Texts in Theoretical Computer Science An EATCS Series...”

Full text 
Favorites
Saved in:
18
Design and Analysis of Randomized Algorithms [E-Book] : Introduction to Design Paradigms /
“...Texts in Theoretical Computer Science An EATCS Series...”

Full text 
Favorites
Saved in:
19
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 
Favorites
Saved in:
20
A Practical Theory of Reactive Systems [E-Book] : Incremental Modeling of Dynamic Behaviors /
“...Texts in Theoretical Computer Science An EATCS Series...”

Full text 
Favorites
Saved in:

Narrow Search Results