{"product_id":"computer-science-theory-and-applications-12th-international-computer-science-symposium-in-russia-csr-2017-kazan-russia-june-8-12-2017-proceed-9783319587462","title":"Computer Science - Theory and Applications: 12th International Computer Science Symposium in Russia, Csr 2017, Kazan, Russia, June 8-12, 2017, Proceed","description":"\u003cp\u003e • Author(s): Pascal Weil\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Algorithms\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. \u003c\/p\u003e\u003cp\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45282994323607,"sku":"9783319587462","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319587462.webp?v=1769303773","url":"https:\/\/atlanticbooks.com\/products\/computer-science-theory-and-applications-12th-international-computer-science-symposium-in-russia-csr-2017-kazan-russia-june-8-12-2017-proceed-9783319587462","provider":"Atlantic Books","version":"1.0","type":"link"}