Computer Science – Theory and Applications, 1st ed. 2017 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateur : Weil Pascal
The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: 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; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.
Date de parution : 05-2017
Ouvrage de 337 p.
15.5x23.5 cm
Thèmes de Computer Science – Theory and Applications :
Mots-clés :
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; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing; applications of logic to computer science; algorithm analysis and problem complexity; data structures