Publication year: 2005
ISBN: 978-3-540-31691-6
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures
Subject: Computer Science, Automat, algorithms, automata, complexity, computer science, data structures, distributed systems, formal language, formal languages, game theory, logic, model checking, programming, verification