03655nam 22008055 450 991048195780332120230222140413.03-642-38236-310.1007/978-3-642-38236-9(CKB)3280000000007638(DE-He213)978-3-642-38236-9(SSID)ssj0000904608(PQKBManifestationID)11511231(PQKBTitleCode)TC0000904608(PQKBWorkID)10923535(PQKB)10561624(MiAaPQ)EBC3093076(PPN)169140903(EXLCZ)99328000000000763820130417d2013 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierTheory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XV, 356 p. 37 illus.)Theoretical Computer Science and General Issues,2512-2029 ;7876Bibliographic Level Mode of Issuance: Monograph3-642-38235-5 Computability -- complexity -- algorithms -- present current research.This 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.Theoretical Computer Science and General Issues,2512-2029 ;7876Computer scienceComputer science—MathematicsAlgorithmsData structures (Computer science)Information theoryMachine theoryTheory of ComputationMathematics of ComputingAlgorithmsComputer Science Logic and Foundations of ProgrammingData Structures and Information TheoryFormal Languages and Automata TheoryComputer science.Computer science—Mathematics.Algorithms.Data structures (Computer science).Information theory.Machine theory.Theory of Computation.Mathematics of Computing.Algorithms.Computer Science Logic and Foundations of Programming.Data Structures and Information Theory.Formal Languages and Automata Theory.511.3Chan T-H. Hubertedthttp://id.loc.gov/vocabulary/relators/edtLau Lap Chiedthttp://id.loc.gov/vocabulary/relators/edtTrevisan Lucaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910481957803321Theory and Applications of Models of Computation772738UNINA