Automata, Languages and Programming 自動化、編程和語言 在線電子書 圖書標籤:
發表於2024-11-10
Automata, Languages and Programming 自動化、編程和語言 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
在綫閱讀本書
This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.
length: (cm)23.1 width:(cm)15.2
評分
評分
評分
評分
Automata, Languages and Programming 自動化、編程和語言 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024