> Verlagsreihe
-
26:
Specification and analysis of concurrent systems the COSY approach Ryszard Janicki, Peter E. Lauer
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer-Verlag, 1992
-
25:
Universal algebra for computer scientists Wolfgang Wechler
Berlin; Heidelberg [u.a.]: Springer, 1992
-
24:
First-order programming theories Tamás Gergely; László Úry
Berlin; Heidelberg [u.a.]: Springer, 1991
-
20:
Parsing theory 2 LR(k) and LL(k) parsing Seppo Sippu; Eljas Soisalon-Soininen
Berlin; Heidelberg: Springer, 1990
-
22:
Structural complexity 2 José Luis Balcázar; Josep Díaz; Joaquim Gabarró
Berlin; Heidelberg: Springer, 1990
-
21:
Fundamentals of algebraic specification 2 Module specifications and constraints H. Ehrig; B. Mahr
Berlin; Heidelberg: Springer, 1990
-
19:
Compiler generators what they can do, what they might do, and what they will probably never do Mads Tofte
Berlin; Heidelberg [u.a.]: Springer, 1990
-
23:
Public-key cryptography Arto Salomaa
Berlin; Heidelberg [u.a.]: Springer, 1990
-
17:
The structure of the relational database model Jan Paredaens
Berlin; Heidelberg [u.a.]: Springer, 1989
-
18:
Regulated rewriting in formal language theory with 4 tables Jürgen Dassow; Gheorghe Păun
Berlin; Heidelberg [u.a.]: Springer, 1989
-
16:
Computing in Horn clause theories Peter Padawitz
Berlin; Heidelberg [u.a.]: Springer, 1988
-
12:
Rational series and their languages Jean Berstel; Christophe Reutenauer
Berlin; Heidelberg [u.a.]: Springer, 1988
-
11:
Structural complexity 1 José Luis Balcázar; Josep Díaz; Joaquim Gabarró
Berlin; Heidelberg: Springer, 1988
-
15:
Parsing theory 1 Languages and parsing Seppo Sippu; Eljas Soisalon-Soininen
Berlin; Heidelberg: Springer, 1988
-
14:
Confluent string rewriting Matthias Jantzen
Berlin; Heidelberg [u.a.]: Springer, 1988
-
13:
Nonsequential processes a Petri net view Eike Best; César Fernández C
Berlin; Heidelberg [u.a.]: Springer, 1988
-
9:
Computability Klaus Weihrauch
Berlin; Heidelber; New York; London: Springer, 1987
-
8:
Temporal logic of programs Fred Kröger
Berlin; Heidelberg [u.a.]: Springer, 1987
-
10:
Algorithms in combinatorial geometry Herbert Edelsbrunner
Berlin; Heidelberg [u.a.]: Springer, 1987
-
5:
Semirings, automata, languages Werner Kuich; Arto Salomaa
Berlin; Heidelberg [u.a.]: Springer, 1986
-
7:
Products of automata Ferenc Gécseg
Berlin; Heidelberg [u.a.]: Springer, 1986
-
6:
Fundamentals of algebraic specification 1 Equations and initial semantics H. Ehrig; B. Mahr
Berlin; Heidelberg: Springer, 1985
-
1:
Data structures and algorithms 1 Sorting and searching Kurt Mehlhorn
Berlin: Springer, 1984
-
3:
Data structures and algorithms 3 Multi-dimensional searching and computational geometry Kurt Mehlhorn
Berlin: Springer, 1984
-
2:
Data structures and algorithms 2 Graph algorithms and NP-completeness Kurt Mehlhorn
Berlin: Springer, 1984