関西学院大学図書館

Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

edited by Wilfried Brauer. -- : gw, : us. -- Springer-Verlag, c1985. -- (Lecture notes in computer science ; 194). <BY00101227>
このページのURL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 : gw 上ケ原館外書庫図書 510.78:265:194 0096357405 0件
No. 0001
巻号 : gw
配架場所 上ケ原館外書庫図書
請求記号 510.78:265:194
資料ID 0096357405
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
出版事項 Berlin ; Tokyo : Springer-Verlag , c1985
形態 vii, 519 p. ; 25 cm
シリーズ名等 Lecture notes in computer science <BY02000012> 194//a
巻号情報
巻次等 : gw
ISBN 354015650X
巻号情報
巻次等 : us
ISBN 038715650X
その他の標題 背表紙タイトル:ICALP 85
注記 Spine title: ICALP 85
注記 Proceedings of the 12th International Colloquium on Automata, Languages, and Programming, sponsored by the European Association for Theoretical Computer Science and organized by the National Technical University of Athens with the University of Hamburg
注記 Includes index
NCID BA00533436
本文言語 英語
著者標目 Brauer, Wilfried, 1937- <AU00000014>
著者標目 *International Colloquium on Automata, Languages and Programming <AU00006328> (12th : 1985 : Nafplion, Greece)
著者標目 European Association for Theoretical Computer Science <AU00006330>
著者標目 Ethnikon Metsovion Polytechneion (Greece) <AU00033355>
著者標目 Universität Hamburg <AU00229344>
分類標目 LCC:QA267
分類標目 DC19:511.3
分類標目 情報科学 NDC8:007.1
分類標目 論理学.方法論.弁証法 NDC8:116.3
件名標目等 Machine theory -- Congresses
件名標目等 Formal languages -- Congresses
件名標目等 Programming (Electronic computers) -- Congresses
件名標目等 プログラミング(電子計算機)||プログラミング(デンキケイサンキ)