<図書>

Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

(Lecture notes in computer science;1443)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1443 2012738700

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Automata 8010211491


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1998
大きさ xvi, 932 p. : ill. ; 24 cm
一般注記 "The International Colloquium on Automata, Languages and Programming (ICALP) is the annual conference series of the European Association for Theoretical Computer Science (EATCS)" -- Foreword
Includes bibliographical references and index
著者標目 *International Colloquium on Automata, Languages and Programming (25th : 1998 : Aalborg, Denmark)
European Association for Theoretical Computer Science
Larsen, K. G. (Kim G.), 1957-
Skyum, Sven, 1946-
Winskel, Glynn
件 名 LCSH:Machine theory -- Congresses
LCSH:Formal languages -- Congresses
LCSH:Programming languages (Electronic computers) -- Congresses
分 類 LCC:QA267
DC20:511.3
本文言語 英語
書誌ID 2000774201
ISBN 3540647813
NCID BA36723783 WCLINK

類似資料

  1. 1 Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999 : proceedings / Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)
  2. 2 Automata, languages and programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien, (eds.)
  3. 3 Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
  4. 4 CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop (eds.)
  5. 5 Automata, languages and programming : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings / edited by Laurent Kott
  6. 6 Automata and languages / John M. Howie
  7. 7 Automata, languages and programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.)
  8. 8 Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.)
  9. 9 Automata, languages and programming : 29th International Colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings / Peter Widmayer ... [et al.] (eds.)
  10. 10 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.)

検索結果一覧に戻る ページトップ