LEADER 03348nam  22007575  450 
001 996465274703316
005 20230329233312.0
010   $a3-642-30642-X
024 7 $a10.1007/978-3-642-30642-6
035   $a(CKB)3400000000085726
035   $a(SSID)ssj0000745877
035   $a(PQKBManifestationID)11421400
035   $a(PQKBTitleCode)TC0000745877
035   $a(PQKBWorkID)10859623
035   $a(PQKB)11083392
035   $a(DE-He213)978-3-642-30642-6
035   $a(MiAaPQ)EBC3070101
035   $a(PPN)168317311
035   $a(EXLCZ)993400000000085726
100   $a20120811d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Science -- Theory and Applications$b[electronic resource] $e7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings /$fedited by Edward Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XXIII, 327 p. 25 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7353
300   $aInternational conference proceedings.
311   $a3-642-30641-1 
320   $aIncludes bibliographical references and author index.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7353
606   $aAlgorithms
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aDiscrete Mathematics in Computer Science
606   $aTheory of Computation
606   $aMathematics of Computing
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aTheory of Computation.
615 24$aMathematics of Computing.
676   $a005.1
702   $aHirsch$b Edward A$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKarhumäki$b Juhani$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLepistö$b Arto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPrilutskii$b Michail$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465274703316
996   $aComputer Science - Theory and Applications$92889860
997   $aUNISA