TY - BOOK AU - Du,Dingzhu AU - Li,Lian AU - Zhu,En AU - He,Kun ED - SpringerLink (Online service) TI - Theoretical Computer Science: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings T2 - Communications in Computer and Information Science, SN - 9789811068935 AV - QA76.9.A43 U1 - 005.1 23 PY - 2017/// CY - Singapore PB - Springer Singapore, Imprint: Springer KW - Algorithms KW - Computer logic KW - Mathematical logic KW - Algorithm Analysis and Problem Complexity KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages N1 - Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory -- Parallel and Distributed Computing -- Computational Model; Available to subscribing member institutions only. Доступно лише організаціям членам підписки N2 - 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 UR - https://doi.org/10.1007/978-981-10-6893-5 ER -