
基本信息出版社:Springer; 1 edition
页码:1083 页
出版日期:2001年08月
ISBN:3540422870
条形码:9783540422877
装帧:平装
开本:20开 Pages Per Sheet
丛书名:Lecture Notes in Computer Science
外文书名:自动机、语言与程序设计
内容简介 在线阅读本书
Book Description
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.
Book Dimension
length: (cm)23.1 width:(cm)15.2