03380nam 22007335 450 99646543190331620230406070553.03-642-20877-010.1007/978-3-642-20877-5(CKB)2670000000082482(SSID)ssj0000541887(PQKBManifestationID)11320647(PQKBTitleCode)TC0000541887(PQKBWorkID)10509416(PQKB)10803183(DE-He213)978-3-642-20877-5(MiAaPQ)EBC3066675(PPN)153864893(EXLCZ)99267000000008248220110427d2011 u| 0engurnn|008mamaatxtccrTheory and Applications of Models of Computation[electronic resource] 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings /edited by Mitsunori Ogihara, Jun Tarui1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XVI, 564 p.) Theoretical Computer Science and General Issues,2512-2029 ;6648International conference proceedings.3-642-20876-2 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 136 submissions. The papers address the three main themes of the conference which were computability, complexity, and algorithms and are organized in topical sections on general algorithms, approximation, graph algorithms, complexity, optimization, circuit complexity, data structures, logic and formal language theory, games and learning theory, and cryptography and communication complexity.Theoretical Computer Science and General Issues,2512-2029 ;6648Computer scienceComputer science—MathematicsAlgorithmsMachine theoryDiscrete mathematicsTheory of ComputationMathematics of ComputingAlgorithmsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryDiscrete Mathematics in Computer ScienceComputer science.Computer science—Mathematics.Algorithms.Machine theory.Discrete mathematics.Theory of Computation.Mathematics of Computing.Algorithms.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Discrete Mathematics in Computer Science.004.0151Ogihara Mitsunoriedthttp://id.loc.gov/vocabulary/relators/edtTarui Junedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465431903316Theory and Applications of Models of Computation772738UNISA