TY  - BOOK
AU  - Fomin,Fedor V.
AU  - Freivalds,Rūsiņš
AU  - Kwiatkowska,Marta
AU  - Peleg,David
ED  - SpringerLink (Online service)
TI  - Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I 
T2  - Lecture Notes in Computer Science,
SN  - 9783642392061
AV  - QA76.9.A43 
U1  - 005.1 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computer communication systems
KW  - Computers
KW  - Algorithms
KW  - Mathematics
KW  - Information storage and retrieval
KW  - Computer Science
KW  - Algorithm Analysis and Problem Complexity
KW  - Computation by Abstract Devices
KW  - Computer Communication Networks
KW  - Information Storage and Retrieval
KW  - Information Systems Applications (incl. Internet)
KW  - Discrete Mathematics in Computer Science
N1  - Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation
N2  - This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation
UR  - http://dx.doi.org/10.1007/978-3-642-39206-1
ER  -