000			03175nam a22005295i 4500
003			DE-He213
005			20231104114209.0
007			cr nn 008mamaa
008			150810s2015 gw | s |||| 0|eng d
020			_a9783662480571 _z978-3-662-48057-1
024	7		_a10.1007/978-3-662-48057-1 _2doi
050		4	_aQA76.9.A43
072		7	_aUMB _2bicssc
072		7	_aCOM051300 _2bisacsh
072		7	_aUMB _2thema005.1 _223
245	1	0	_aMathematical Foundations of Computer Science 2015 : _b40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / _cedited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella.
250			_a1st ed. 2015.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2015.
300			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aTheoretical Computer Science and General Issues ; _v9234
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).
650		0	_aComputer software.
650		0	_aComputational complexity.
650		0	_aElectronic data processing.
650		0	_aData structures (Computer scienc.
650		0	_aComputer science.
650	1	4	_aAlgorithm Analysis and Problem Complexity. _0http://scigraph.springernature.com/things/product-market-codes/I16021
650	2	4	_aDiscrete Mathematics in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17028
650	2	4	_aNumeric Computing. _0http://scigraph.springernature.com/things/product-market-codes/I1701X
650	2	4	_aData Structures. _0http://scigraph.springernature.com/things/product-market-codes/I15017
650	2	4	_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048
650	2	4	_aMath Applications in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17044
700	1		_aItaliano, Giuseppe F. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aPighizzini, Giovanni. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSannella, Donald T. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
856	4	0	_uhttps://doi.org/10.1007/978-3-662-48057-1 _3Springer eBooks _zOnline access link to the resource
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c200433724 _d51936
942			_2lcc _cEBK
041			_aeng