000733660 000__ 02965cam\a2200541Ii\4500
000733660 001__ 733660
000733660 005__ 20230306141057.0
000733660 006__ m\\\\\o\\d\\\\\\\\
000733660 007__ cr\cn\nnnunnun
000733660 008__ 150819s2015\\\\gw\a\\\\o\\\\\101\0\eng\d
000733660 019__ $$a919684555
000733660 020__ $$a9783662480540$$qelectronic book
000733660 020__ $$a3662480549$$qelectronic book
000733660 020__ $$z9783662480533
000733660 020__ $$z3662480530
000733660 0247_ $$a10.1007/978-3-662-48054-0$$2doi
000733660 035__ $$aSP(OCoLC)ocn918942081
000733660 035__ $$aSP(OCoLC)918942081$$z(OCoLC)919684555
000733660 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dSNK$$dOCLCF$$dOCLCO
000733660 049__ $$aISEA
000733660 050_4 $$aQA76.9.M35
000733660 08204 $$a004.01/51$$223
000733660 1112_ $$aSymposium on Mathematical Foundations of Computer Science (1972- )$$n(40th :$$d2015 :$$cMilan, Italy)
000733660 24510 $$aMathematical foundations of computer science 2015$$h[electronic resource] :$$b40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings.$$nPart II /$$cedited by Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella.
000733660 2463_ $$aMFCS 2015
000733660 264_1 $$aBerlin, Heidelberg :$$bSpringer,$$c2015.
000733660 300__ $$a1 online resource (xvii, 615 pages) :$$billustrations.
000733660 336__ $$atext$$btxt$$2rdacontent
000733660 337__ $$acomputer$$bc$$2rdamedia
000733660 338__ $$aonline resource$$bcr$$2rdacarrier
000733660 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9235
000733660 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000733660 500__ $$aInternational conference proceedings.
000733660 500__ $$aIncludes author index.
000733660 506__ $$aAccess limited to authorized users.
000733660 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).
000733660 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 19, 2015).
000733660 650_0 $$aComputer science$$xMathematics$$vCongresses.
000733660 7001_ $$aItaliano, Giuseppe F.,$$eeditor.
000733660 7001_ $$aPighizzini, Giovanni,$$eeditor.
000733660 7001_ $$aSannella, D.$$q(Donald),$$d1956-$$eeditor.
000733660 77608 $$iPrint version:$$z3662480530$$z9783662480533$$w(OCoLC)913557341
000733660 830_0 $$aLecture notes in computer science ;$$v9235.
000733660 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000733660 852__ $$bebk
000733660 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-48054-0$$zOnline Access$$91397441.1
000733660 909CO $$ooai:library.usi.edu:733660$$pGLOBAL_SET
000733660 980__ $$aEBOOK
000733660 980__ $$aBIB
000733660 982__ $$aEbook
000733660 983__ $$aOnline
000733660 994__ $$a92$$bISE