-
1
Computability
Berlin ; New York : Springer-Verlag, 1987“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
Rational series and their languages
Berlin ; New York : Springer-Verlag, 1988“…EATCS monographs on theoretical computer science ;…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
Confluent string rewriting
Berlin ; New York : Springer-Verlag, 1988“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
Parsing theory
Berlin ; New York : Springer-Verlag, 1988“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
Fundamentals of algebraic specification
Berlin ; New York : Springer-Verlag, 1985“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
Public-key cryptography
Berlin ; New York : Springer-Verlag, 1990“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
Kolmogorov complexity and computational complexity
Berlin ; New York : Springer-Verlag, 1992“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
Semirings, automata, languages
Berlin ; New York : Springer-Verlag, 1986“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
9
Compiler generators : what they can do, what they might do, and what they will probably never do
Berlin ; New York : Springer-Verlag, 1990“…EATCS monographs on theoretical computer science ;…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
Temporal logic of programs
Berlin ; New York : Springer-Verlag, 1987“…EATCS monographs on theoretical computer science ;…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
11
Algorithms in combinatorial geometry
Berlin ; New York : Springer-Verlag, 1987“…EATCS monographs on theoretical computer science ;…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
12
Structural complexity
Berlin ; New York : Springer-Verlag, 1988“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Data structures and algorithms
Berlin ; New York : Springer-Verlag, 1984“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
Regulated rewriting in formal language theory
Berlin ; New York : Springer-Verlag, 1989“…EATCS monographs on theoretical computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
The Structure of the relational database model
Berlin ; New York : Springer-Verlag, 1989“…EATCS monographs on theoretical computer science ;…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
Sorting and searching.
Berlin ; New York : Springer-Verlag, 1984Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>