Computer Science - Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Fomin, Fedor V. (Editor, http://id.loc.gov/vocabulary/relators/edt), Podolskii, Vladimir V. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Theoretical Computer Science and General Issues ; 10846
• Subjects: Computer logic.; Computer science-Mathematics.; Numerical analysis.; Data structures (Computer science).; Artificial intelligence.; Logics and Meanings of Programs.; Discrete Mathematics in Computer Science.; Numeric Computing.; Data Structures.; Artificial Intelligence.
• Physical Description: XXXII, 335 p. 41 illus. online resource.
• ISBN: 9783319905303
• DOI: 10.1007/978-3-319-90530-3

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. .