Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 06. Mai 2017 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 528 Gramm |
| Format | Softcover |
| ISBN-13 | 9783319587462 |
| Auflage | 1st ed. 2017 |
| Seiten | 337 |