000			01381cam a22002657a 4500
001			16204871
005			20170913224131.0
008			100427s2010 gw a b 101 0 eng d
020			_a9783642131813
082	0	4	_223 _a004.0151
111	2		_aInternational Computer Science Symposium in Russia _n(5th : _d2010 : _cKazan, Russia)
245	1	0	_aComputer science-- theory and applications : _b5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / _cFarid Ablayev, Ernst W. Mayr (eds.).
260			_aBerlin ; _aNew York : _bSpringer, _cc2010.
300			_axi, 396 pages. : _billustration ; _c24 cm.
490	0		_aLecture notes in computer science, _x0302-9743 ; _v6072
490	0		_aLNCS sublibrary: SL 1-theoretical computer science and general issues
504			_aIncludes bibliographical references and index.
505	2		_aAlgorithms for Energy Management -- Sofic and Almost of Finite Type Tree-Shifts -- Proof-Based Design of Security Protocols -- Approximating the Minimum Length of Synchronizing Words Is Hard -- Realizability of Dynamic MSC Languages
530			_aAlso issued online.
650		0	_aComputer science _vCongresses. _9133
650		0	_aComputer science _zRussia (Federation) _vCongresses.
700	1		_aAblayev, Farid _92273 _eeditor
700	1		_aMayr, Ernst _92273 _eeditor
942			_2ddc _cLIBRO
999			_c56