Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science)
暫譯: 自動機、語言與程式設計：第20屆國際研討會，ICALP 93，瑞典隆德，1993年7月5-9日。會議論文集（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1993-06-23
- 售價: $4,600
- 貴賓價: 9.5 折 $4,370
- 語言: 英文
- 頁數: 703
- 裝訂: Paperback
- ISBN: 3540569391
- ISBN-13: 9783540569398
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions.
商品描述(中文翻譯)
國際自動機、語言與程式設計研討會（ICALP）是一個由歐洲理論計算機科學協會（EATCS）主辦的年度會議系列。該會議旨在涵蓋理論計算機科學的所有重要領域，例如：可計算性、自動機、形式語言、項重寫、演算法分析、計算幾何、計算複雜性、符號與代數計算、密碼學、資料類型與資料結構、資料庫與知識庫理論、程式語言的語義、程式規範、轉換與驗證、邏輯程式設計的基礎、邏輯設計與佈局理論、平行與分散計算、併發理論，以及機器人學理論。本卷包含1993年7月在瑞典隆德大學舉行的ICALP 93的會議論文集。它包括五篇邀請論文和51篇從151篇投稿中選出的貢獻論文。
