EATCS Monographs on Theoretical Computer Science

18 réponses.

Nikoletseas, Sotiris (ed) & Rolim, José D.P. (ed)

Theoretical aspects of distributed computing in sensor networks. - Springer Verlag, 2011. - (EATCS Monographs on Theoretical Computer Science).

Bjorner, Dines

Logics of Specification Languages. - Springer Verlag, 2008. - (EATCS Monographs on Theoretical Computer Science).

Bloom, Stephen L. & Esik, Zoltan

Iteration theories. The equational logic of iterative processes. - Springer Verlag, 1993. - (EATCS Monographs on Theoretical Computer Science).

Schmidt, Gunther & Ströhlein, Thomas

Relations and graphs. Discrete mathematics for computer scientists. - Springer Verlag, 1993. - (EATCS Monographs on Theoretical Computer Science).

Mehlhorn, Kurt

Data structures and algorithms 2 : Graph algorithms and NP-completeness. - Springer Verlag, 1984. - (EATCS Monographs on Theoretical Computer Science).

Mehlhorn, Kurt

Data structures and algorithms 3 : Multi-dimensional searching and computational geometry. - Springer Verlag, 1984. - (EATCS Monographs on Theoretical Computer Science).

Wechler, Wolfgang

Universal algebra for computer scientists. - Springer Verlag, 1991. - (EATCS Monographs on Theoretical Computer Science; 25).

Gergely, Tamas & Ury, Laszlo

First-order programming theories. - Springer Verlag, 1991. - (EATCS Monographs on Theoretical Computer Science; 24).

Ehrig, Hartmut & Mahr, Bernd

Fundamentals of algebraic specification 2 : module specifications and constraints. - Springer Verlag, 1990. - (EATCS Monographs on Theoretical Computer Science; 21).

Paredaens, Jan & Bra, Paul de & Gyssens, Marc & Gucht, Dirk van

The structure of the relational Database model. - Springer Verlag, 1989. - (EATCS Monographs on Theoretical Computer Science; 17).

Sippu, Seppo & Soisalon-Soininen, Eljas

Parsing theory, volume 1: Languages and parsing. - Springer Verlag, 1988. - (EATCS Monographs on Theoretical Computer Science; 15).

Jantzen, Matthias

Confluent string rewriting. - Springer Verlag, 1988. - (EATCS Monographs on Theoretical Computer Science; 14).

Edelsbrunner, Herbert

Algorithms in combinatorial geometry. - Springer Verlag, 1987. - (EATCS Monographs on Theoretical Computer Science; 10).

Weihrauch, Klaus

Computability. - Springer Verlag, 1987. - (EATCS Monographs on Theoretical Computer Science; 9).

Ehrig, Hartmut & Mahr, Bernd

Fundamentals of algebraic specification 1 ; Equations and initial semantics. - Springer Verlag, 1985. - (EATCS Monographs on Theoretical Computer Science; 6).

Kuich, Werner & Salomaa, Arto

Semirings, automata, languages. - Springer Verlag, 1986. - (EATCS Monographs on Theoretical Computer Science; 5).

Reisig, Wolfgang

Petri nets, an introduction. - Springer Verlag, 1982. - (EATCS Monographs on Theoretical Computer Science; 4).

Mehlhorn, Kurt

Data structures and algorithms 1 : sorting and searching. - Springer Verlag, 1984. - (EATCS Monographs on Theoretical Computer Science; 1).