Automata, Languages and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings (Lecture Notes in Computer Science)
暫譯: 自動機、語言與程式設計：第十六屆國際研討會，義大利斯特雷薩，1989年7月11-15日。會議錄（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1989-06-28
- 售價: $4,570
- 貴賓價: 9.5 折 $4,342
- 語言: 英文
- 頁數: 790
- 裝訂: Paperback
- ISBN: 354051371X
- ISBN-13: 9783540513711
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.
商品描述(中文翻譯)
本卷包含1989年7月11日至15日在意大利斯特雷薩舉行的ICALP 89會議的會議紀錄。ICALP 89是第16屆國際自動機、語言與程式設計研討會，這是一系列由歐洲理論計算機科學協會（EATCS）贊助的會議。這是一個涵蓋理論計算機科學各個方面的廣泛會議，包括可計算性、自動機理論、形式語言理論、演算法分析、計算複雜性、程式語言定義的數學方面、程式語言的邏輯與語義、邏輯程式設計的基礎、定理證明、軟體規範、計算幾何、資料類型與資料結構、資料庫與知識基礎系統的理論、密碼學、VLSI結構、平行與分散式計算、並發模型與機器人技術。
