Automata, Languages and Programming Automata, Languages and Programming

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Samson Abramsky и другие
    • 119,99 $
    • 119,99 $

От издателя

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010.
The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6199 contains 46 contributions of track B and C selected from 167 submissions as well as 4 invited talks.

ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2010
30 июня
ЯЗЫК
EN
английский
ОБЪЕМ
610
стр.
ИЗДАТЕЛЬ
Springer Berlin Heidelberg
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
12,6
МБ
Computer Aided Verification Computer Aided Verification
2010
Language and Automata Theory and Applications Language and Automata Theory and Applications
2010
Computer Science Logic Computer Science Logic
2010
LATIN 2010: Theoretical Informatics LATIN 2010: Theoretical Informatics
2010
Fundamental Problems in Computing Fundamental Problems in Computing
2009
Applications and Theory of Petri Nets Applications and Theory of Petri Nets
2010
Dependence Logic Dependence Logic
2016
Automata, Languages and Programming Automata, Languages and Programming
2010