このページのURL

この文献を取り寄せる

<図書>
EATCS monographs on theoretical computer science

出版者 Berlin ; Tokyo : Springer-Verlag
本文言語 英語
書誌ID 1000000732
NCID BA00007320 WCLINK

子書誌情報を非表示

1 1 . Data structures and algorithms / Kurt Mehlhorn ; 1 Sorting and searching / Kurt Mehlhorn : us,: gw. - Berlin ; Tokyo : Springer-Verlag , 1984
2 2 . Data structures and algorithms / Kurt Mehlhorn ; 2 Graph algorithms and NP-completeness / Kurt Mehlhorn : us,: gw. - Berlin ; Tokyo : Springer-Verlag , 1984
3 3 . Data structures and algorithms ; 3 Multi-dimensional searching and computational geometry / Kurt Mehlhorn : us,: gw. - Berlin ; Tokyo : Springer-Verlag , 1984
4 v. 4 Petri nets : an introduction / Wolfgang Reisig : gw. - Berlin ; Tokyo : Springer-Verlag , 1985
5 v. 5 Semirings, automata, languages / Werner Kuich, Arto Salomaa : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1986
6 v. 6 . Fundamentals of algebraic specification ; v. 1 Equations and initial semantics / H. Ehrig, B. Mahr : U.S.,: Germany. - Berlin ; Tokyo : Springer-Verlag , c1985
7 v. 7 Products of automata / Ferenc Gécseg : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1986
8 Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1993
9 v. 8 Temporal logic of programs / Fred Kröger Berlin ; Tokyo : Springer-Verlag , c1987
10 v. 9 Computability / Klaus Weihrauch : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1987
11 v. 10 Algorithms in combinatorial geometry / Herbert Edelsbrunner : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1987
12 v. 11, 22 Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró v. 1 : gw - v. 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1988-c1990
13 v. 12 Rational series and their languages / Jean Berstel, Christophe Reutenauer : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1988
14 v. 13 Nonsequential processes : a Petri net view / Eike Best, César Fernández C : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1988
15 v. 14 Confluent string rewriting / Matthias Jantzen : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
16 v. 16 Computing in Horn clause theories / Peter Padawitz : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988
17 v. 17 The Structure of the relational database model / Jan Paredaens ... [et al.] : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1989
18 v. 18 Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun : US,: gw. - Berlin ; New York : Springer-Verlag , c1989
19 v. 19 Compiler generators : what they can do, what they might do, and what they will probably never do / Mads Tofte : u.s.,: gw. - Berlin ; New York : Springer-Verlag , c1990
20 v. 20 . Parsing theory ; v. 2 LR(k) and LL(k) parsing / Seppo Sippu, Eljas Soisalon-Soininen : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1990
21 Kolmogorov complexity and computational complexity / Osamu Watanabe (ed.) : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1992
22 Relations and graphs : discrete mathematics for computer scientists / Gunther Schmidt, Thomas Ströhlein : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993
23 v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2 Module specifications and constraints : us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1990
24 v. 23 Public-key cryptography / Arto Salomaa : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990
25 v. 24 First-order programming theories / Tamás Gergely, László Úry : Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991
26 Coloured petri nets : basic concepts, analysis methods and practical use / Kurt Jensen v. 1 : gw - v. 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1992-c1995
27 v. 26 Specification and analysis of concurrent systems : the COSY approach / Ryszard Janicki, Peter E. Lauer : us,: gw. - Berlin ; New York : Springer-Verlag , c1992

書誌詳細を非表示