03348nam 22007575 450 99646527470331620230329233312.03-642-30642-X10.1007/978-3-642-30642-6(CKB)3400000000085726(SSID)ssj0000745877(PQKBManifestationID)11421400(PQKBTitleCode)TC0000745877(PQKBWorkID)10859623(PQKB)11083392(DE-He213)978-3-642-30642-6(MiAaPQ)EBC3070101(PPN)168317311(EXLCZ)99340000000008572620120811d2012 u| 0engurnn#008mamaatxtccrComputer Science -- Theory and Applications[electronic resource] 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings /edited by Edward Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XXIII, 327 p. 25 illus.)Theoretical Computer Science and General Issues,2512-2029 ;7353International conference proceedings.3-642-30641-1 Includes bibliographical references and author index.This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its appcliations.Theoretical Computer Science and General Issues,2512-2029 ;7353AlgorithmsComputer scienceMachine theoryComputer science—MathematicsDiscrete mathematicsAlgorithmsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryDiscrete Mathematics in Computer ScienceTheory of ComputationMathematics of ComputingAlgorithms.Computer science.Machine theory.Computer science—Mathematics.Discrete mathematics.Algorithms.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Discrete Mathematics in Computer Science.Theory of Computation.Mathematics of Computing.005.1Hirsch Edward Aedthttp://id.loc.gov/vocabulary/relators/edtKarhumäki Juhaniedthttp://id.loc.gov/vocabulary/relators/edtLepistö Artoedthttp://id.loc.gov/vocabulary/relators/edtPrilutskii Michailedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465274703316Computer Science - Theory and Applications2889860UNISA