LEADER 03757nam  22008415  450 
001 996465997003316
005 20230406002609.0
010   $a3-642-39206-7
024 7 $a10.1007/978-3-642-39206-1
035   $a(CKB)3710000000002606
035   $a(DE-He213)978-3-642-39206-1
035   $a(SSID)ssj0000962516
035   $a(PQKBManifestationID)11607760
035   $a(PQKBTitleCode)TC0000962516
035   $a(PQKBWorkID)10976196
035   $a(PQKB)11770500
035   $a(MiAaPQ)EBC3101204
035   $a(PPN)172427819
035   $a(EXLCZ)993710000000002606
100   $a20130702d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomata, Languages, and Programming$b[electronic resource] $e40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I /$fedited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XXVI, 854 p. 55 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7965
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-39205-9 
327   $aAlgorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation.
330   $aThis two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7965
606   $aAlgorithms
606   $aComputer science
606   $aComputer networks
606   $aInformation storage and retrieval systems
606   $aApplication software
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aAlgorithms
606   $aTheory of Computation
606   $aComputer Communication Networks
606   $aInformation Storage and Retrieval
606   $aComputer and Information Systems Applications
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$aApplication software.
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$aComputer and Information Systems Applications.
615 24$aDiscrete Mathematics in Computer Science.
676   $a511.3
702   $aFomin$b Fedor V$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFreivalds$b Rusins$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKwiatkowska$b Marta$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPeleg$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465997003316
996   $aAutomata, languages and programming$9339738
997   $aUNISA