{"product_id":"computer-science-theory-and-applications-11th-international-computer-science-symposium-in-russia-csr-2016-st-petersburg-russia-june-9-13-2016-9783319341705","title":"Computer Science - Theory and Applications: 11th International Computer Science Symposium in Russia, Csr 2016, St. Petersburg, Russia, June 9-13, 2016","description":"\u003cp\u003e • Author(s): Alexander S. Kulikov\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Algorithms\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e\u003cp\u003eThe 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 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; computational models and concepts; algorithms for concurrent and distributed systems, networks; proof theory and applications of logic to computer science; model checking; automated reasoning; and deductive methods.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283934437527,"sku":"9783319341705","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319341705.webp?v=1769279677","url":"https:\/\/atlanticbooks.com\/products\/computer-science-theory-and-applications-11th-international-computer-science-symposium-in-russia-csr-2016-st-petersburg-russia-june-9-13-2016-9783319341705","provider":"Atlantic Books","version":"1.0","type":"link"}