Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II /

The two-volume set LNCS 5555 and LNCS 5556 constitutes the refereed proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP 2009, held in Rhodes, Greece, in July 2009. The 126 revised full papers (62 papers for track A, 24 for track B, and 22 for track C) prese...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Albers, Susanne (Editor ), Marchetti-Spaccamela, Alberto (Editor ), Matias, Yossi (Editor ), Nikoletseas, Sotiris (Editor ), Thomas, Wolfgang (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Theoretical Computer Science and General Issues, 5556
Temas:
Software engineering.
Computer programming.
Computer science.
Computer science-Mathematics.
Discrete mathematics.
Software Engineering.
Programming Techniques.
Theory of Computation.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Acceso en línea:Texto Completo
Descripción
Sumario:The two-volume set LNCS 5555 and LNCS 5556 constitutes the refereed proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP 2009, held in Rhodes, Greece, in July 2009. The 126 revised full papers (62 papers for track A, 24 for track B, and 22 for track C) presented were carefully reviewed and selected from a total of 370 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games; on logic, semantics, theory of programming, as well as on foundations of networked computation: models, algorithms and information management. LNCS 5556 contains 46 contributions of tracks B and C selected from 147 submissions as well as 2 invited lectures. This two-volume set lauches the new subline of Lecture Notes in Computer Science, entitled LNCS Advanced Research in Computing and Software Science (ARCoSS).
Descripción Física:XXI, 597 p. online resource.
ISBN:9783642029301
ISSN:2512-2029 ;

Ejemplares similares