Mendeley出力
＜図書＞
Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings
| 責任表示 | W. Kuich (ed.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 623 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; New York : Springer-Verlag , c1992 |
| 本文言語 | 英語 |
| 大きさ | xii, 719 p. : ill. ; 25 cm |
| 概要 | This volume presents the proceedings of the 19thInternational Colloquium onAutomata, Languages, andProgramming (ICALP 92) in a series of meetings sponsored bythe European Association for Theoretical ...omputer Science(EATCS).ICALP is a broadly based conference covering all aspects oftheoretical computer science, including such topics ascomputability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraiccomputation, cryptography, data types and data structures, theory of databases and knowledge bases, semantics ofprogramming languages, program specification, transformationand verification, foundations of logic programming, theoryof logical design andlayout, parallel and distributedcomputation, theory of concurrency, and theory of robotics.The papers in the volume are grouped into thematic partscorresponding to their order of presentation at ICALP 92. This volume presents the proceedings of the 19thInternational Colloquium onAutomata, Languages, andProgramming (ICALP 92) in a series of meetings sponsored bythe European Association for Theoretical Computer Science(EATCS).ICALP is a broadly based conference covering all aspects oftheoretical computer science, including such topics ascomputability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraiccomputation, cryptography, data types and data structures, theory of databases and knowledge bases, semantics ofprogramming languages, program specification, transformationand verification, foundations of logic programming, theoryof logical design andlayout, parallel and distributedcomputation, theory of concurrency, and theory of robotics.The papers in the volume are grouped into thematic partscorresponding to their order of presentation at ICALP 92. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6799738 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: gw | シ情 情報学 数理 | 007.6 | 1992 |
|
026211998001140 |
|
|||
|
|
: gw | 理系図 自動書庫 | 408/L 49 | 1992 |
|
061232004010484 |
|
書誌詳細
| 一般注記 | Proceedings of ICALP 92, the 19th International Colloquium on Automata, Languages, and Programming, sponsored by the European Association for Theoretical Computer Science Includes bibliographical references and index |
|---|---|
| 著者標目 | Kuich, Werner, 1941- *International Colloquium on Automata, Languages and Programming (19th : 1992 : Wien, Austria) European Association for Theoretical Computer Science |
| 件 名 | LCSH:Machine theory -- Congresses
全ての件名で検索
LCSH:Formal languages -- Congresses 全ての件名で検索 LCSH:Programming languages (Electronic computers) -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA267 DC20:005.13/1 |
| 書誌ID | 1000954589 |
| ISBN | 3540557199 |
| NCID | BA17265171 |
| 巻冊次 | : gw ; ISBN:3540557199 : us ; ISBN:0387557199 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |