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 /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Du, Dingzhu. (Editor ), Li, Lian. (Editor ), Zhu, En. (Editor ), He, Kun. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Singapore : Springer Singapore : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Communications in Computer and Information Science, 768
Materias:
Algorithms.
Computer logic.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Tabla de Contenidos:
  • Algorithms and Complexity
  • Software Theory and Method
  • Data Science and Machine Learning Theory
  • Parallel and Distributed Computing
  • Computational Model.

Ejemplares similares