Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10304)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CSR 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.
Similar content being viewed by others
Keywords
- algorithms and data structures
- combinatorial optimization
- constraint solving
- computational complexity
- cryptography
- combinatorics in computer science
- formal languages and automata
- algorithms for concurrent and distributed systems, networks
- formal and algorithmic aspects of bio-informatics
- current challenges such as quantum computing
- applications of logic to computer science
- algorithm analysis and problem complexity
- data structures
Table of contents (28 papers)
Other volumes
-
Computer Science – Theory and Applications
Editors and Affiliations
Bibliographic Information
Book Title: Computer Science – Theory and Applications
Book Subtitle: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Editors: Pascal Weil
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-58747-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-58746-2Published: 06 May 2017
eBook ISBN: 978-3-319-58747-9Published: 03 May 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 337
Number of Illustrations: 30 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Data Structures
Industry Sectors: Aerospace, Biotechnology, Electronics, Energy, Utilities & Environment, IT & Software, Telecommunications