Overview
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. four invited papers were carefully reviewed and selected from a total of 208 submissions. 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.
- | Author: Fernando Orejas
- | Publisher: Springer
- | Publication Date: Jun 27, 2001
- | Number of Pages: 1086 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540422870
- | ISBN-13: 9783540422877
