LEADER 03676nam  22007695  450 
001 996465776103316
005 20230222144953.0
010   $a3-642-29952-0
024 7 $a10.1007/978-3-642-29952-0
035   $a(CKB)3400000000029911
035   $a(SSID)ssj0000666389
035   $a(PQKBManifestationID)11430436
035   $a(PQKBTitleCode)TC0000666389
035   $a(PQKBWorkID)10664336
035   $a(PQKB)11076942
035   $a(DE-He213)978-3-642-29952-0
035   $a(MiAaPQ)EBC3069882
035   $a(PPN)16831567X
035   $a(EXLCZ)993400000000029911
100   $a20120503d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTheory and Applications of Models of Computation$b[electronic resource] $e9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /$fedited by Manindra Agrawal, Barry S. Cooper, Angsheng Li
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XV, 622 p. 91 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7287
300   $aInternational conference proceedings.
311   $a3-642-29951-2 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing?s unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012. The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7287
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   $a004.0151
702   $aAgrawal$b Manindra$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCooper$b Barry S$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLi$b Angsheng$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465776103316
996   $aTheory and Applications of Models of Computation$9772738
997   $aUNISA