LEADER 03487nam  22007455  450 
001 996465542503316
005 20230406013458.0
010   $a3-642-22006-1
024 7 $a10.1007/978-3-642-22006-7
035   $a(CKB)2670000000095930
035   $a(SSID)ssj0000530724
035   $a(PQKBManifestationID)11323990
035   $a(PQKBTitleCode)TC0000530724
035   $a(PQKBWorkID)10568350
035   $a(PQKB)10049195
035   $a(DE-He213)978-3-642-22006-7
035   $a(MiAaPQ)EBC3066863
035   $a(PPN)153860537
035   $a(EXLCZ)992670000000095930
100   $a20110620d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomata, Languages and Programming$b[electronic resource] $e38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I /$fedited by Luca Aceto, Monika Henzinger, Ji?í Sgall
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XXIV, 802 p. 59 illus., 8 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6755
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22005-3 
320   $aIncludes bibliographical references and index.
330   $aThe 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6755
606   $aAlgorithms
606   $aComputer science
606   $aComputer networks
606   $aInformation storage and retrieval systems
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aAlgorithms
606   $aTheory of Computation
606   $aComputer Communication Networks
606   $aInformation Storage and Retrieval
606   $aDiscrete Mathematics in Computer Science
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aComputer networks.
615  0$aInformation storage and retrieval systems.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aAlgorithms.
615 24$aTheory of Computation.
615 24$aComputer Communication Networks.
615 24$aInformation Storage and Retrieval.
615 24$aDiscrete Mathematics in Computer Science.
676   $a005.1
702   $aAceto$b Luca$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHenzinger$b Monika$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSgall$b Ji?í$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465542503316
996   $aAutomata, languages and programming$9339738
997   $aUNISA