SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... (Lecture Notes in Computer Science)
暫譯: SOFSEM 2017：計算機科學的理論與實踐：第43屆當前計算機科學理論與實踐國際會議（計算機科學講義）
- 出版商: Springer
- 出版日期: 2017-01-11
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 544
- 裝訂: Paperback
- ISBN: 331951962X
- ISBN-13: 9783319519623
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.
商品描述(中文翻譯)
本書是第43屆國際計算機科學理論與實踐當前趨勢會議（SOFSEM 2017）的經過審稿的會議論文集，該會議於2017年1月在愛爾蘭利默里克舉行。本卷中呈現的34篇論文是從41篇提交的論文中仔細審核和選出的。這些論文被組織成以下主題部分：計算機科學基礎；語義、規範與組合性；移動與分散系統理論；驗證與自動系統分析；Petri 網、遊戲與放鬆數據結構；圖論與排程演算法；量子與矩陣演算法；平面與分子圖；著色與頂點覆蓋；字串與形式語言的演算法；數據、信息與知識工程；以及軟體工程：方法、工具、應用。
