03418nam 22007455 450 99646555260331620230406013500.03-642-22012-610.1007/978-3-642-22012-8(CKB)2670000000095931(SSID)ssj0000530725(PQKBManifestationID)11351717(PQKBTitleCode)TC0000530725(PQKBWorkID)10569614(PQKB)11249696(DE-He213)978-3-642-22012-8(MiAaPQ)EBC3066852(PPN)153864869(EXLCZ)99267000000009593120110618d2011 u| 0engurnn#008mamaatxtccrAutomata, Languages and Programming[electronic resource] 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II /edited by Luca Aceto, Monika Henzinger, Jiri Sgall1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XXVI, 666 p.)Theoretical Computer Science and General Issues,2512-2029 ;6756Bibliographic Level Mode of Issuance: Monograph3-642-22011-8 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;6756Computer scienceSoftware engineeringMachine theoryComputer networksAlgorithmsComputer Science Logic and Foundations of ProgrammingSoftware EngineeringFormal Languages and Automata TheoryComputer Communication NetworksAlgorithmsTheory of ComputationComputer science.Software engineering.Machine theory.Computer networks.Algorithms.Computer Science Logic and Foundations of Programming.Software Engineering.Formal Languages and Automata Theory.Computer Communication Networks.Algorithms.Theory of Computation.005.1015113Aceto Lucaedthttp://id.loc.gov/vocabulary/relators/edtHenzinger Monikaedthttp://id.loc.gov/vocabulary/relators/edtSgall Jiriedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465552603316Automata, languages and programming339738UNISA