Grädel, Erich & Kolaitis, Phokion G. & Libkin, Leonid & alFinite-model theory and its applications. - Springer Verlag, 2007. - (Texts in Theoretical computer Science (EATCS series)).
Bjorner, DinesSoftware engineering 1: abstraction and modelling. - Springer Verlag, 2006. - (Texts in Theoretical computer Science (EATCS series)).
Bjorner, DinesSoftware engineering 2: specification of systems and languages. - Springer Verlag, 2006. - (Texts in Theoretical computer Science (EATCS series)).
Bjorner, DinesSoftware engineering 3: domains, requirements, and software design. - Springer Verlag, 2006. - (Texts in Theoretical computer Science (EATCS series)).
Drewes, FrankGrammatical 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, LeonidElements of finite model theory. - Springer Verlag, 2004. - (Texts in Theoretical computer Science (EATCS series)).
Hromkovic, JurajAlgorithmics for hard problems. Introduction to combinatorial optimization, randomization, approximation and heuristics. - Springer Verlag, 2001. - (Texts in Theoretical computer Science (EATCS series)).
Hromkovic, JurajAlgorithmics for hard problems. Introduction to combinatorial optimization, randomization, approximation and heuristics. Second edition. - Springer Verlag, 2001. - (Texts in Theoretical computer Science (EATCS series)).
Jukna, StasysExtremal combinatorics. With applications in computer science. - Springer Verlag, 2001. - (Texts in Theoretical computer Science (EATCS series)).
Salomaa, ArtoPublic-key cryptography. Second edition. - Springer Verlag, 1996. - (Texts in Theoretical computer Science (EATCS series)).