LEADER 03609nam  22007815  450 
001 996208604103316
005 20230222021949.0
010   $a3-319-17142-9
024 7 $a10.1007/978-3-319-17142-5
035   $a(CKB)3710000000404060
035   $a(SSID)ssj0001501763
035   $a(PQKBManifestationID)11840189
035   $a(PQKBTitleCode)TC0001501763
035   $a(PQKBWorkID)11446224
035   $a(PQKB)10582212
035   $a(DE-He213)978-3-319-17142-5
035   $a(MiAaPQ)EBC5595447
035   $a(PPN)185489036
035   $a(EXLCZ)993710000000404060
100   $a20150415d2015      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] $e12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /$fedited by Rahul Jain, Sanjay Jain, Frank Stephan
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XII, 466 p. 83 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9076
300   $aIncludes index.
311   $a3-319-17141-0 
327   $aRecursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph theory -- Quantum computing -- Parallelism and statistics -- Learning, automata and probabilistic models -- Parameterised complexity.
330   $aThis book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9076
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aAlgorithms
606   $aComputer science
606   $aData structures (Computer science)
606   $aInformation theory
606   $aFormal Languages and Automata Theory
606   $aMathematics of Computing
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aData Structures and Information Theory
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aData structures (Computer science).
615  0$aInformation theory.
615 14$aFormal Languages and Automata Theory.
615 24$aMathematics of Computing.
615 24$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aData Structures and Information Theory.
676   $a004.0151
702   $aJain$b Rahul$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJain$b Sanjay$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aStephan$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996208604103316
996   $aTheory and Applications of Models of Computation$9772738
997   $aUNISA