Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
| Author/creator | Abramsky, Samson Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | xxiii, 754 p. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2010 English International |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Other author/creator | Gavoille, Cyril Editor |
| Other author/creator | Kirchner, Claude Editor |
| Other author/creator | Meyer auf der Heide, Friedhelm Editor |
| Other author/creator | Spirakis, Paul Editor |
| Series | Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser. |
| Summary | Annotation 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 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783642141645 |
| ISBN | 3642141641 (Trade Paper) Active Record |
| Standard identifier# | 9783642141645 |
| Stock number | 3642141641 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |