Produktnummer:
184117e7433fe9471d97d0daa96024921c
| Themengebiete: | algorithm analysis and problem complexity computer science logic equilibria computation formal methods formal verification hybrid systems program semantics systems security |
|---|---|
| Veröffentlichungsdatum: | 27.06.2011 |
| EAN: | 9783642220111 |
| Sprache: | Englisch |
| Seitenzahl: | 666 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Aceto, Luca Henzinger, Monika Sgall, Jiri |
| Verlag: | Springer Berlin |
| Untertitel: | 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II |
Produktinformationen "Automata, Languages and Programming"
The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen