Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Part II / Samson Abramsky [and others] (Eds.).
Material type:
TextSeries: Lecture notes in computer science ; 6199. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010.Description: 1 online resource (xxiv, 614 pages)Content type: - text
- computer
- online resource
- 9783642141621
- 3642141625
- ICALP 2010
- Machine theory -- Congresses
- Robots -- Programming -- Congresses
- Computer programming -- Congresses
- Formal languages -- Congresses
- Théorie des automates -- Congrès
- Robots -- Programmation -- Congrès
- Programmation (Informatique) -- Congrès
- Langages formels -- Congrès
- Informatique
- Computer programming
- Formal languages
- Machine theory
- Robots -- Programming
- algoritmen
- algorithms
- computeranalyse
- computer analysis
- wiskunde
- mathematics
- informatiesystemen
- information systems
- internet
- computerwetenschappen
- computer sciences
- computernetwerken
- computer networks
- computational science
- software engineering
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 511.3 22
- QA267 .I58 2010
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes bibliographical references and author index.
Print version record.
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 6199 contains 46 contributions of track B and C selected from 167 submissions as well as 4 invited talks.