LEADER 03611nam  22008295  450 
001 9910483974103321
005 20230329145808.0
010   $a3-662-48057-3
024 7 $a10.1007/978-3-662-48057-1
035   $a(CKB)3890000000001394
035   $a(SSID)ssj0001558586
035   $a(PQKBManifestationID)16182745
035   $a(PQKBTitleCode)TC0001558586
035   $a(PQKBWorkID)14819187
035   $a(PQKB)10371355
035   $a(DE-He213)978-3-662-48057-1
035   $a(MiAaPQ)EBC6281869
035   $a(MiAaPQ)EBC5579631
035   $a(Au-PeEL)EBL5579631
035   $a(OCoLC)918942220
035   $a(PPN)188460365
035   $a(EXLCZ)993890000000001394
100   $a20150810d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aMathematical Foundations of Computer Science 2015 $e40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /$fedited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella
205   $a1st ed. 2015.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015.
215   $a1 online resource (XXVI, 459 p. 51 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9234
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-662-48056-5 
330   $aThis two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9234
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aNumerical analysis
606   $aArtificial intelligence?Data processing
606   $aMachine theory
606   $aAlgorithms
606   $aDiscrete Mathematics in Computer Science
606   $aNumerical Analysis
606   $aData Science
606   $aFormal Languages and Automata Theory
606   $aMathematical Applications in Computer Science
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aNumerical analysis.
615  0$aArtificial intelligence?Data processing.
615  0$aMachine theory.
615 14$aAlgorithms.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aNumerical Analysis.
615 24$aData Science.
615 24$aFormal Languages and Automata Theory.
615 24$aMathematical Applications in Computer Science.
676   $a004.0151
702   $aItaliano$b Giuseppe F$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPighizzini$b Giovanni$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSannella$b Donald T$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483974103321
996   $aMathematical Foundations of Computer Science 2015$92830094
997   $aUNINA