Author(s)
Bibliographic Information
EATCS monographs on theoretical computer science
Springer-Verlag
Search this Book/Journal
-
1
- Iteration theories : the equational logic of iterative processes
-
Stephen L. Bloom, Zoltán Ésik
Springer-Verlag c1993 EATCS monographs on theoretical computer science
: us , : gw
Available at 26 libraries
-
2
- Relations and graphs : discrete mathematics for computer scientists
-
Gunther Schmidt, Thomas Ströhlein
Springer-Verlag c1993 EATCS monographs on theoretical computer science
: gw , : us
Available at 47 libraries
-
3
- Kolmogorov complexity and computational complexity
-
Osamu Watanabe (ed.)
Springer-Verlag c1992 EATCS monographs on theoretical computer science
: us , : gw
Available at 40 libraries
-
4
- Specification and analysis of concurrent systems : the COSY approach
-
Ryszard Janicki, Peter E. Lauer
Springer-Verlag c1992 EATCS monographs on theoretical computer science v. 26
: us , : gw
Available at 18 libraries
-
5
- Coloured petri nets : basic concepts, analysis methods and practical use
-
Kurt Jensen
Springer-Verlag c1992-c1995 EATCS monographs on theoretical computer science
v. 1 : gw , v. 1 : us , v. 2 : gw , v. 2 : us
Available at 38 libraries
-
6
- Universal algebra for computer scientists
-
Wolfgang Wechler
Springer-Verlag c1992 EATCS monographs on theoretical computer science v. 25
: gw , : us , : pbk
Available at 31 libraries
-
7
- First-order programming theories
-
Tamás Gergely, László Úry
Springer-Verlag c1991 EATCS monographs on theoretical computer science v. 24
: Berlin , : New York
Available at 31 libraries
-
8
- Public-key cryptography
-
Arto Salomaa
Springer-Verlag c1990 EATCS monographs on theoretical computer science v. 23
: gw , : us
Available at 36 libraries
-
9
- LR(k) and LL(k) parsing
-
Seppo Sippu, Eljas Soisalon-Soininen
Springer-Verlag c1990 EATCS monographs on theoretical computer science v. 20 . Parsing theory ; v. 2
: Berlin , : New York
Available at 33 libraries
-
10
- Compiler generators : what they can do, what they might do, and what they will probably never do
-
Mads Tofte
Springer-Verlag c1990 EATCS monographs on theoretical computer science v. 19
: u.s. , : gw
Available at 35 libraries
-
11
- Module specifications and constraints
-
Springer-Verlag c1990 EATCS monographs on theoretical computer science v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig,
Bernd Mahr ; v. 2 : us , : gw
Available at 31 libraries
-
12
- Regulated rewriting in formal language theory
-
Jürgen Dassow, Gheorghe Păun
Springer-Verlag c1989 EATCS monographs on theoretical computer science v. 18
: US , : gw
Available at 38 libraries
-
13
- The Structure of the relational database model
-
Jan Paredaens ... [et al.]
Springer-Verlag c1989 EATCS monographs on theoretical computer science v. 17
: Berlin , : New York
Available at 37 libraries
-
14
- Confluent string rewriting
-
Matthias Jantzen
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 14
: gw , : us
Available at 39 libraries
-
15
- Rational series and their languages
-
Jean Berstel, Christophe Reutenauer
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 12
: us , : gw
Available at 38 libraries
-
16
- Computing in Horn clause theories
-
Peter Padawitz
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 16
: gw , : us
Available at 43 libraries
-
17
- Languages and parsing
-
Seppo Sippu, Eljas Soisalon-Soininen
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 15 . Parsing theory ; v. 1
: U.S. , : G.W.
Available at 39 libraries
-
18
- Nonsequential processes : a Petri net view
-
Eike Best, César Fernández C
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 13
: us , : gw
Available at 38 libraries
-
19
- Structural complexity
-
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
Springer-Verlag c1988-c1990 EATCS monographs on theoretical computer science v. 11,
22 v. 1 : gw , v. 1 : us , v. 2 : gw , v. 2 : us , v. 2 : [pbk]
Available at 69 libraries
-
20
- Algorithms in combinatorial geometry
-
Herbert Edelsbrunner
Springer-Verlag c1987 EATCS monographs on theoretical computer science v. 10
: pbk
Available at 1 libraries