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 US$
    • ‏119٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٠
٣٠ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٦١٠
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
١٢٫٦
‫م.ب.‬
Automata, Languages and Programming Automata, Languages and Programming
٢٠١١
Computer Science – Theory and Applications Computer Science – Theory and Applications
٢٠٠٧
SOFSEM 2009: Theory and Practice of Computer Science SOFSEM 2009: Theory and Practice of Computer Science
٢٠٠٩
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
٢٠١١
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
٢٠٠٩
Reachability Problems Reachability Problems
٢٠١٩
Dependence Logic Dependence Logic
٢٠١٦
Automata, Languages and Programming Automata, Languages and Programming
٢٠١٠