Overview
Part of the book series: Communications in Computer and Information Science (CCIS, volume 882)
Included in the following conference series:
Conference proceedings info: NCTCS 2018.
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
- approximation algorithms
- artificial intelligence
- cryptography
- data security
- distributed computer systems
- formal logic
- formal methods
- graph theory
- image processing
- image segmentation
- learning algorithms
- model checking
- mutual authentication
- security systems
- semantics
- software engineering
- specifications
- telecommunication networks
- algorithm analysis and problem complexity
Table of contents (11 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Theoretical Computer Science
Editors and Affiliations
Bibliographic Information
Book Title: Theoretical Computer Science
Book Subtitle: 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Editors: Lian Li, Pinyan Lu, Kun He
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-981-13-2712-4
Publisher: Springer Singapore
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Singapore Pte Ltd. 2018
Softcover ISBN: 978-981-13-2711-7Published: 26 September 2018
eBook ISBN: 978-981-13-2712-4Published: 25 September 2018
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: IX, 159
Number of Illustrations: 38 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence, Image Processing and Computer Vision
