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.- ISBN: 978-3-319-90529-7
- Editorial: Springer
- Encuadernacion: Rústica
- Páginas: 320
- Fecha Publicación: 02/06/2018
- Nº Volúmenes: 1
- Idioma: Inglés