Automata, Languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science)
暫譯: 自動機、語言與程式設計:第十五屆國際研討會,芬蘭坦佩雷,1988年7月11-15日。會議紀錄(計算機科學講義)
***
- 出版商: Springer
- 出版日期: 1988-06-22
- 售價: $4,600
- 貴賓價: 9.5 折 $4,370
- 語言: 英文
- 頁數: 746
- 裝訂: Paperback
- ISBN: 3540194886
- ISBN-13: 9783540194880
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th 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, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics.
商品描述(中文翻譯)
本卷包含1988年7月11日至15日在芬蘭坦佩雷科技大學舉行的ICALP 88會議的會議紀錄。ICALP 88是第15屆國際自動機、語言與程式設計研討會,這是一系列由歐洲理論計算機科學協會(EATCS)贊助的會議。這是一個涵蓋理論計算機科學各個方面的廣泛會議,包括可計算性、自動機、形式語言、演算法分析、計算複雜性、資料類型和資料結構、資料庫和知識庫理論、程式語言的語義、程式規範、轉換和驗證、邏輯程式設計的基礎、邏輯設計和佈局理論、平行和分散計算、併發理論、符號和代數計算、項重寫系統、密碼學以及機器人理論。