LEADER 03223nam  22006975  450 
001 9910349429903321
005 20230221142600.0
010   $a3-319-90530-9
024 7 $a10.1007/978-3-319-90530-3
035   $a(CKB)3850000000031362
035   $a(DE-He213)978-3-319-90530-3
035   $a(MiAaPQ)EBC6248589
035   $a(PPN)22740338X
035   $a(EXLCZ)993850000000031362
100   $a20180424d2018      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Science ? Theory and Applications $e13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6?10, 2018, Proceedings /$fedited by Fedor V. Fomin, Vladimir V. Podolskii
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXXII, 335 p. 41 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10846
311   $a3-319-90529-5 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018. The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as 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; and proof theory and applications of logic to computer science. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10846
606   $aComputer science
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aNumerical analysis
606   $aArtificial intelligence?Data processing
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aDiscrete Mathematics in Computer Science
606   $aNumerical Analysis
606   $aData Science
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aNumerical analysis.
615  0$aArtificial intelligence?Data processing.
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aNumerical Analysis.
615 24$aData Science.
615 24$aArtificial Intelligence.
676   $a004
702   $aFomin$b Fedor V$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPodolskii$b Vladimir V$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349429903321
996   $aComputer Science - Theory and Applications$92889860
997   $aUNINA