### Texts in Theoretical computer Science (EATCS series)

### 11 réponses.

**Grädel, Erich & Kolaitis, Phokion G. & Libkin, Leonid & al**
Finite-model theory and its applications.
- Springer Verlag, 2007.
- (Texts in Theoretical computer Science (EATCS series)).

**Bjorner, Dines**
Software engineering 1: abstraction and modelling.
- Springer Verlag, 2006.
- (Texts in Theoretical computer Science (EATCS series)).

**Bjorner, Dines**
Software engineering 2: specification of systems and languages.
- Springer Verlag, 2006.
- (Texts in Theoretical computer Science (EATCS series)).

**Bjorner, Dines**
Software engineering 3: domains, requirements, and software design.
- Springer Verlag, 2006.
- (Texts in Theoretical computer Science (EATCS series)).

**Drewes, Frank**
Grammatical picture generation: a tree-based approach - With 203 figures and CD-ROM.
- Springer Verlag, 2006.
- (Texts in Theoretical computer Science (EATCS series)).

**Hromkovic, J. & Klasing, R. & Pelc, A. & Ruzicka, P. & Unger, W.**
Dissemination of information in communication networks - broadcasting, gossiping, leader election, and fault-tolerance.
- Springer Verlag, 2005.
- (Texts in Theoretical computer Science (EATCS series)).

**Libkin, Leonid**
Elements of finite model theory.
- Springer Verlag, 2004.
- (Texts in Theoretical computer Science (EATCS series)).

**Hromkovic, Juraj**
Algorithmics for hard problems. Introduction to combinatorial optimization, randomization, approximation and heuristics.
- Springer Verlag, 2001.
- (Texts in Theoretical computer Science (EATCS series)).

**Hromkovic, Juraj**
Algorithmics for hard problems. Introduction to combinatorial optimization, randomization, approximation and heuristics. Second edition.
- Springer Verlag, 2001.
- (Texts in Theoretical computer Science (EATCS series)).

**Jukna, Stasys**
Extremal combinatorics. With applications in computer science.
- Springer Verlag, 2001.
- (Texts in Theoretical computer Science (EATCS series)).

**Salomaa, Arto**
Public-key cryptography. Second edition.
- Springer Verlag, 1996.
- (Texts in Theoretical computer Science (EATCS series)).