Computer Science - Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings / [electronic resource] :
edited by Fedor V. Fomin, Vladimir V. Podolskii.
- 1st ed. 2018.
- XXXII, 335 p. 41 illus. online resource.
- Theoretical Computer Science and General Issues, 10846 2512-2029 ; .
- Theoretical Computer Science and General Issues, 10846 .
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. .
9783319905303
10.1007/978-3-319-90530-3 doi
Computer science. Computer science--Mathematics. Discrete mathematics. Numerical analysis. Artificial intelligence--Data processing. Artificial intelligence. Computer Science Logic and Foundations of Programming. Discrete Mathematics in Computer Science. Numerical Analysis. Data Science. Artificial Intelligence.