Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings (Lecture Notes in Computer Science)
暫譯: 計算機科學的數學基礎 1989：波蘭 Porabka-Kozubnik，1989年8月28日至9月1日。會議紀錄（計算機科學講義）
Antoni Kreczmar, Grazyna Mirkowska
- 出版商: Springer
- 出版日期: 1989-08-09
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 620
- 裝訂: Paperback
- ISBN: 3540514864
- ISBN-13: 9783540514862
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.
商品描述(中文翻譯)
本卷包含了於1989年8月28日至9月1日在波蘭Porabka-Kozubnik舉行的第14屆計算機科學數學基礎研討會（MFCS '89）中選出的論文。先前的MFCS會議論文集也已發表在《計算機科學講義筆記》中。本卷呈現了在理論計算機科學中的研究和結果，特別是在以下領域：程式邏輯、平行與分散計算、推理資料庫、自動機與形式語言、演算法與資料結構、軟體規範與有效性、複雜性與可計算性理論。
