000733662 000__ 02889cam\a2200505Ii\4500
000733662 001__ 733662
000733662 005__ 20230306141057.0
000733662 006__ m\\\\\o\\d\\\\\\\\
000733662 007__ cr\cn\nnnunnun
000733662 008__ 150819s2015\\\\gw\a\\\\o\\\\\101\0\eng\d
000733662 020__ $$a9783662480571$$qelectronic book
000733662 020__ $$a3662480573$$qelectronic book
000733662 020__ $$z9783662480564
000733662 0247_ $$a10.1007/978-3-662-48057-1$$2doi
000733662 035__ $$aSP(OCoLC)ocn918942220
000733662 035__ $$aSP(OCoLC)918942220
000733662 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dSNK$$dOCLCF$$dOCLCO
000733662 049__ $$aISEA
000733662 050_4 $$aQA76.9.M35
000733662 08204 $$a004.01/51$$223
000733662 1112_ $$aSymposium on Mathematical Foundations of Computer Science (1972- )$$n(40th :$$d2015 :$$cMilan, Italy)
000733662 24510 $$aMathematical foundations of computer science 2015$$h[electronic resource] :$$b40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings.$$nPart I /$$cGiuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.).
000733662 250__ $$a1st ed. 2015.
000733662 264_1 $$aHeidelberg :$$bSpringer,$$c2015.
000733662 300__ $$a1 online resource (xxvi, 459 pages) :$$billustrations.
000733662 336__ $$atext$$btxt$$2rdacontent
000733662 337__ $$acomputer$$bc$$2rdamedia
000733662 338__ $$aonline resource$$bcr$$2rdacarrier
000733662 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9234
000733662 4901_ $$aAdvanced research in computing and software science
000733662 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000733662 506__ $$aAccess limited to authorized users.
000733662 520__ $$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).
000733662 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 18, 2015).
000733662 650_0 $$aComputer science$$xMathematics$$vCongresses.
000733662 7001_ $$aItaliano, Giuseppe F.,$$eeditor.
000733662 7001_ $$aPighizzini, Giovanni.$$eeditor.
000733662 7001_ $$aSannella, D.$$q(Donald),$$d1956-$$eeditor.
000733662 830_0 $$aLecture notes in computer science ;$$v9234.
000733662 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
000733662 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000733662 852__ $$bebk
000733662 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-48057-1$$zOnline Access$$91397441.1
000733662 909CO $$ooai:library.usi.edu:733662$$pGLOBAL_SET
000733662 980__ $$aEBOOK
000733662 980__ $$aBIB
000733662 982__ $$aEbook
000733662 983__ $$aOnline
000733662 994__ $$a92$$bISE