000			01703nam a2200241 a 4500
001			vtls000001424
003			VRT
005			20250102225205.0
008			081102s2005 gw a |b 101 0 eng
020			_a9783540287025
020			_a3540287027
039		9	_a201402040051 _bVLOAD _c201010100754 _dmalmash _c200811020819 _dNoora _y200811020818 _zNoora
050		4	_aQA76.9.M35 _bS96 2004
111	2		_aSymposium on Mathematical Foundations of Computer Science (1972- ) _n(30th : _d2005 : _cGdansk, Poland) _954014
245	1	0	_aMathematical foundations of computer science 2005 : _b30th International Symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : proceedings / _cJoanna Je̦drzejowicz, Andrej Szepietowski (eds.).
260			_aBerlin : _bSpringer, _cc2005.
300			_axvi, 814 p. : _bill. ; _c24 cm.
440		0	_aLecture notes in computer science, _v3618 _9767
504			_aIncludes bibliographic references and index.
520			_aThis book constitutes the refereed proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005.The 62 revised full papers presented together with full papers or abstracts of 7 invited talks were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from quantum computing, approximation, automata, circuits, scheduling, games, languages, discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.
650		0	_aComputer science _xMathematics _95846
942			_2lcc _n0 _cBK
999			_c26143 _d26143