Limit search to available items
Book Cover
E-book
Author International Colloquium on Automata, Languages, and Programming (40th : 2013 : Rīga, Latvia)

Title Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings. Part II / Fedor V. Fomin [and others] (eds.)
Published Berlin : Springer, 2013

Copies

Description 1 online resource (726 pages) : illustrations
Series Lecture notes in computer science ; 7966
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 7966.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation
Summary 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
Notes International conference proceedings
Online resource; title from PDF title page (SpringerLink, viewed July 11, 2013)
In Springer e-books
Subject Programming languages (Electronic computers) -- Congresses
Computer programming -- Congresses
Programming languages (Electronic computers)
Programming Languages
Software
software.
Computer programming
Programming languages (Electronic computers)
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Fomin, Fedor V.
ISBN 9783642392122
3642392121
Other Titles ICALP 2013