| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910299309403321 |
|
|
Titolo |
Theoretical Computer Science : 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings / / edited by Lian Li, Pinyan Lu, Kun He |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 159 p. 38 illus.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0929 ; ; 882 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Algorithms |
Computer logic |
Mathematical logic |
Artificial intelligence |
Optical data processing |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Artificial Intelligence |
Image Processing and Computer Vision |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Algorithms -- Software theory and method -- Data science. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 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. |
|
|
|
|
|
|
|
| |