close
1.

図書

図書
edited by E. Astesiano and C. Böhm
出版情報: Berlin : Springer-Verlag, 1981  vi, 364 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 112
所蔵情報: loading…
2.

図書

図書
edited by E. Börger, G. Hasenjaeger, and D. Rödding
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 456 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 171
所蔵情報: loading…
3.

図書

図書
edited by G. Ausiello and M. Protasi
出版情報: Berlin ; New York : Springer-Verlag, 1983  vi, 416 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 159
所蔵情報: loading…
4.

図書

図書
M. Dauchet, M. Nivat (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  viii, 303 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Rewriting
Algebraic Specifications
Parallelism and Concurrency
Invited Lectures
Author Index
Complexity
Rewriting
Algebraic Specifications
5.

図書

図書
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Computer Science Department, University of California, Los Angeles, California
出版情報: New York, N.Y. : ACM, c1980  447 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Department of Electrical Engineering and Computer Science, University of Wisconsin, Milwaukee, Wisconsin
出版情報: New York, N.Y. : ACM, c1981  v, 391 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
edited by David S. Johnson ... [et al.]
出版情報: Boston : Tokyo : Academic Press, c1987  xi, 483 p. ; 24 cm
シリーズ名: Perspectives in computing ; v. 15
所蔵情報: loading…
8.

図書

図書
edited by Marek Karpinski
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983  xi, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 158
所蔵情報: loading…
9.

図書

図書
R. Karlsson, A. Lingas (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 262 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 318
所蔵情報: loading…
目次情報: 続きを見る
From the Invited papers / S. Carlsson ; J.I. Munro ; P.V. Poblete
An Implicit Binomial Queue with Constant Insertion Time / D. Wood
Extremal Cost Tree Data Structures / M.H. Overmars
Connectability Problems / M. Dietzfelbinger ; K. Mehlhorn ; F. Meyer auf der Heide ; H. Rohnert
Upper and Lower Bounds for the Dictionary Problem
From the Invited papers / S. Carlsson ; J.I. Munro ; P.V. Poblete
An Implicit Binomial Queue with Constant Insertion Time / D. Wood
Extremal Cost Tree Data Structures / M.H. Overmars
10.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : Additional copies may be orderd from ACM Order Dept., c1986  v, 461 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼