東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Leeuwen Jan van)
該当件数:21件
Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1872)
図書
Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings / Jan van Leeuwen (ed.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 790)
Handbook of theoretical computer science / editor, Jan van Leeuwen
Elsevier : set,MIT Press : set. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990-
Formal models and semantics / edited by Jan van Leeuwen
: Elsevier,: MIT Press. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B)
Algorithms and complexity / edited by Jan van Leeuwen
: Elsevier,: MIT Press. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A)
Computer science today : recent trends and developments / Jan van Leeuwen, (ed.)
Berlin ; New York ; Tokyo : Springer , c1995. - (Lecture notes in computer science ; 1000)
MIT Pr. paperback ed. - Cambridge, Mass. : MIT Pr. , 1994, c1990. - Amsterdam : Elsevier. - Tokyo. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B)
MIT Pr. paperback ed. - Cambridge, Mass. : MIT Pr. , 1994, c1990. - Amsterdam : Elsevier. - Tokyo. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A)
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 / edited by Marek Karpinski and Jan van Leeuwen
Amsterdam : North-Holland , 1985. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. - New York. - (Annals of discrete mathematics ; 24 .). - (North-Holland mathematics studies ; 4 .)
Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings / J. van Leeuwen (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 344)
Distributed algorithms : 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987 : proceedings / J. van Leeuwen (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 312)
International computer science series
Wokingham, England ; Tokyo : Addison-Wesley Pub. Co.
Algorithms -- ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994 : proceedings / Jan van Leeuwen (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 855)
Distributed algorithms : 4th International Workshop, Bari, Italy, September 24-26, 1990 : proceedings / J. van Leeuwen, N. Santoro, (eds.)
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 486)
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)
アルゴリズムと複雑さ
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1)
Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2076)
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 85)
Parallel architectures and algorithms : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings / E. H. L. Aarts, J. van Leeuwen, M. Rem (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 505 . parallel architectures and languages Europe ; v. 1). - ( ; . lel architectures and languages Europe)
Parallel languages : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings / E.H.L. Aarts, J. van Leeuwen, M. Rem, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 506 . parallel architectures and languages Europe ; v. 2). - ( ; . lel architectures and languages Europe)
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
東京 : 丸善 , 1994.2