|
|
|
|
| LEADER |
02469nam a22005175i 4500 |
| 001 |
978-981-10-6893-5 |
| 003 |
DE-He213 |
| 005 |
20171014142643.0 |
| 007 |
cr nn 008mamaa |
| 008 |
171014s2017 si | s |||| 0|eng d |
| 020 |
|
|
|a 9789811068935
|9 978-981-10-6893-5
|
| 024 |
7 |
|
|a 10.1007/978-981-10-6893-5
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.9.A43
|
| 072 |
|
7 |
|a UMB
|2 bicssc
|
| 072 |
|
7 |
|a COM051300
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 245 |
1 |
0 |
|a Theoretical Computer Science
|h [electronic resource] :
|b 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
|c edited by Dingzhu Du, Lian Li, En Zhu, Kun He.
|
| 264 |
|
1 |
|a Singapore :
|b Springer Singapore :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a XXI, 356 p. 165 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Communications in Computer and Information Science,
|x 1865-0929 ;
|v 768
|
| 505 |
0 |
|
|a Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory -- Parallel and Distributed Computing -- Computational Model.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 700 |
1 |
|
|a Du, Dingzhu.
|e editor.
|
| 700 |
1 |
|
|a Li, Lian.
|e editor.
|
| 700 |
1 |
|
|a Zhu, En.
|e editor.
|
| 700 |
1 |
|
|a He, Kun.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9789811068928
|
| 830 |
|
0 |
|a Communications in Computer and Information Science,
|x 1865-0929 ;
|v 768
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-981-10-6893-5
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
