{"product_id":"9783642385353","title":"Lecture Notes in Computer Science: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings\u003c\/h1\u003e \u003ch2\u003eBulatov, Andrei A.; Shur, Arseny M.\u003c\/h2\u003e \u003cp\u003eThis book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. \nThe 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lectures. The papers are organized in topical sections on: algorithms; automata; logic and proof complexity; complexity; words and languages; and logic and automata.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2013-05-16\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783642385353\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-642-38536-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 445\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45373666099340,"sku":"9783642385353","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783642385353.jpg?v=1774011107","url":"https:\/\/lateknightbooks.com\/products\/9783642385353","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}