close
1.

図書
図書
1. アルゴリズムと複雑さ
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1
所蔵情報: loading…
2.

図書
図書
2. コンピュータ基礎理論ハンドブック
Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
出版情報: 東京 : 丸善, 1994.2
所蔵情報: loading…
3.

図書
図書
3. 形式的モデルと意味論
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2
所蔵情報: loading…
4.

図書
図書
4. Parallel architectures and algorithms : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings (: gw ; : us)
E.H.L. Aarts, J. van Leeuwen, M. Rem (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 505 . PARLE '91 : parallel architectures and languages Europe ; v. 1
所蔵情報: loading…
5.

図書
図書
5. Parallel languages : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings (: gw ; : us)
E.H.L. Aarts, J. van Leeuwen, M. Rem, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 506 . PARLE '91 : parallel architectures and languages Europe ; v. 2
所蔵情報: loading…
6.

図書
図書
6. Distributed algorithms : 4th International Workshop, Bari, Italy, September 24-26, 1990 : proceedings (: gw ; : us)
J. van Leeuwen, N. Santoro, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 486
所蔵情報: loading…
7.

図書
図書
7. Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings (: gw ; : us)
J. van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 344
所蔵情報: loading…
8.

図書
図書
8. Distributed algorithms : 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987 : proceedings (: gw ; : us)
J. van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 312
所蔵情報: loading…
9.

図書
図書
9. Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 (: ne ; : U.S. : pbk.)
edited by Marek Karpinski and Jan van Leeuwen
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985
シリーズ名: Annals of discrete mathematics ; 24
North-Holland mathematics studies ; 102
所蔵情報: loading…
10.

図書
図書
10. Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 (: gw ; : us)
edited by J.W. de Bakker and J. van Leeuwen
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 85
所蔵情報: loading…