Models of computation.- Formal languages and automata theory.- Computational complexity and cryptography.- Logic.- Design and analysis of algorithms.- Randomness, geometry and discrete structures.- Theory and algorithms for application domains.
(source: Nielsen Book Data)
This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more. (source: Nielsen Book Data)