著者
書誌事項
EATCS monographs on theoretical computer science
Springer-Verlag
この図書・雑誌をさがす
-
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
所蔵館26館
-
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
所蔵館47館
-
3
- Kolmogorov complexity and computational complexity
-
Osamu Watanabe (ed.)
Springer-Verlag c1992 EATCS monographs on theoretical computer science
: us , : gw
所蔵館40館
-
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
所蔵館18館
-
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
所蔵館38館
-
6
- Universal algebra for computer scientists
-
Wolfgang Wechler
Springer-Verlag c1992 EATCS monographs on theoretical computer science v. 25
: gw , : us , : pbk
所蔵館30館
-
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
所蔵館31館
-
8
- Public-key cryptography
-
Arto Salomaa
Springer-Verlag c1990 EATCS monographs on theoretical computer science v. 23
: gw , : us
所蔵館36館
-
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
所蔵館33館
-
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
所蔵館35館
-
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
所蔵館31館
-
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
所蔵館38館
-
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
所蔵館37館
-
14
- Confluent string rewriting
-
Matthias Jantzen
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 14
: gw , : us
所蔵館39館
-
15
- Rational series and their languages
-
Jean Berstel, Christophe Reutenauer
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 12
: us , : gw
所蔵館38館
-
16
- Computing in Horn clause theories
-
Peter Padawitz
Springer-Verlag c1988 EATCS monographs on theoretical computer science v. 16
: gw , : us
所蔵館43館
-
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.
所蔵館39館
-
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
所蔵館38館
-
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]
所蔵館69館
-
20
- Algorithms in combinatorial geometry
-
Herbert Edelsbrunner
Springer-Verlag c1987 EATCS monographs on theoretical computer science v. 10
: pbk
所蔵館1館