Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings / / edited by Dingzhu Du, Lian Li, En Zhu, Kun He
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings / / edited by Dingzhu Du, Lian Li, En Zhu, Kun He
|
| Pubblicazione: | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 |
| Edizione: | 1st ed. 2017. |
| Descrizione fisica: | 1 online resource (XXI, 356 p. 165 illus.) |
| Disciplina: | 004 |
| Soggetto topico: | Algorithms |
| Computer logic | |
| Mathematical logic | |
| Algorithm Analysis and Problem Complexity | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Persona (resp. second.): | DuDingzhu |
| LiLian | |
| ZhuEn | |
| HeKun | |
| Nota di contenuto: | Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory -- Parallel and Distributed Computing -- Computational Model. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Theoretical computer science |
| ISBN: | 981-10-6893-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910254846603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Communications in Computer and Information Science, . 1865-0929 ; ; 768