03069nam 22006375 450 991025484660332120200630112456.0981-10-6893-310.1007/978-981-10-6893-5(CKB)4100000000882186(DE-He213)978-981-10-6893-5(MiAaPQ)EBC6295773(MiAaPQ)EBC5592599(Au-PeEL)EBL5592599(OCoLC)1006848430(PPN)220125821(EXLCZ)99410000000088218620171014d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTheoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /edited by Dingzhu Du, Lian Li, En Zhu, Kun He1st ed. 2017.Singapore :Springer Singapore :Imprint: Springer,2017.1 online resource (XXI, 356 p. 165 illus.) Communications in Computer and Information Science,1865-0929 ;768981-10-6892-5 Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory -- Parallel and Distributed Computing -- Computational Model.This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.Communications in Computer and Information Science,1865-0929 ;768AlgorithmsComputer logicMathematical logicAlgorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Algorithms.Computer logic.Mathematical logic.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.004Du Dingzhuedthttp://id.loc.gov/vocabulary/relators/edtLi Lianedthttp://id.loc.gov/vocabulary/relators/edtZhu Enedthttp://id.loc.gov/vocabulary/relators/edtHe Kunedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910254846603321Theoretical computer science104541UNINA