This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.
ISBN: | 9783662439470 |
Publication date: | 24th June 2014 |
Author: | Javier Esparza |
Publisher: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K an imprint of Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
Format: | Paperback |
Pagination: | 1090 pages |
Series: | Theoretical Computer Science and General Issues |
Genres: |
Algorithms and data structures Mathematical theory of computation Network hardware Information retrieval Data warehousing Applied computing Maths for computer scientists Discrete mathematics |