Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /

Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Du, Dingzhu. (Editor), Li, Lian. (Editor), Zhu, En. (Editor), He, Kun. (Editor)
Format: eBook
Language:English
Published: Singapore : Springer Singapore : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Communications in Computer and Information Science, 768
Subjects:
Algorithms.
Computer logic.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Table of Contents:
  • Algorithms and Complexity
  • Software Theory and Method
  • Data Science and Machine Learning Theory
  • Parallel and Distributed Computing
  • Computational Model.

Similar Items