Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10846)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CSR 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (27 papers)
Other volumes
-
Computer Science – Theory and Applications
Keywords
- approximation algorithms
- artificial intelligence
- automata theory
- bits
- case based reasoning (cbr)
- data mining
- design and analysis of algorithms
- discrete mathematics
- finite automata
- graph theory
- information complexity
- knowledge based systems
- machine learning
- models of computation
- parallel computing methodologies
- problem solving
- symbolic and algebraic manipulation
- data structures
About this book
This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.
The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as 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; and proof theory and applications of logic to computer science.Editors and Affiliations
Bibliographic Information
Book Title: Computer Science – Theory and Applications
Book Subtitle: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Editors: Fedor V. Fomin, Vladimir V. Podolskii
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-90530-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-90529-7Published: 25 April 2018
eBook ISBN: 978-3-319-90530-3Published: 24 May 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXXII, 335
Number of Illustrations: 41 b/w illustrations
Topics: Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Numeric Computing, Data Structures, Artificial Intelligence