LEADER 03655nam  22008055  450 
001 9910481957803321
005 20230222140413.0
010   $a3-642-38236-3
024 7 $a10.1007/978-3-642-38236-9
035   $a(CKB)3280000000007638
035   $a(DE-He213)978-3-642-38236-9
035   $a(SSID)ssj0000904608
035   $a(PQKBManifestationID)11511231
035   $a(PQKBTitleCode)TC0000904608
035   $a(PQKBWorkID)10923535
035   $a(PQKB)10561624
035   $a(MiAaPQ)EBC3093076
035   $a(PPN)169140903
035   $a(EXLCZ)993280000000007638
100   $a20130417d2013      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTheory and Applications of Models of Computation $e10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /$fedited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XV, 356 p. 37 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7876
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-38235-5 
327   $aComputability -- complexity -- algorithms -- present current research.
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7876
606   $aComputer science
606   $aComputer science?Mathematics
606   $aAlgorithms
606   $aData structures (Computer science)
606   $aInformation theory
606   $aMachine theory
606   $aTheory of Computation
606   $aMathematics of Computing
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aData Structures and Information Theory
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aComputer science?Mathematics.
615  0$aAlgorithms.
615  0$aData structures (Computer science).
615  0$aInformation theory.
615  0$aMachine theory.
615 14$aTheory of Computation.
615 24$aMathematics of Computing.
615 24$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aData Structures and Information Theory.
615 24$aFormal Languages and Automata Theory.
676   $a511.3
702   $aChan$b T-H. Hubert$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLau$b Lap Chi$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTrevisan$b Luca$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910481957803321
996   $aTheory and Applications of Models of Computation$9772738
997   $aUNINA