Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings - Du, Dingzhu; Li, Lian.; Zhu, En.; He, Kun.; SpringerLink (Online service) (Singapore : Springer Singapore : Imprint: Springer, 2017)
Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory -- Parallel and Distributed Computing -- Computational Model.
Keywords: Algorithms; Computer logic; Mathematical logic; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languages