000			03007nam a22006257a 4500
001			sulb-eb0025079
003			BD-SySUS
005			20160413122509.0
007			cr nn 008mamaa
008			130417s2013 gw | s |||| 0|eng d
020			_a9783642382369 _9978-3-642-38236-9
024	7		_a10.1007/978-3-642-38236-9 _2doi
050		4	_aQA75.5-76.95
072		7	_aUY _2bicssc
072		7	_aUYA _2bicssc
072		7	_aCOM014000 _2bisacsh
072		7	_aCOM031000 _2bisacsh
082	0	4	_a004.0151 _223
245	1	0	_aTheory and Applications of Models of Computation _h[electronic resource] : _b10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / _cedited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013.
300			_aXV, 356 p. 37 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v7876
505	0		_aComputability -- complexity -- algorithms -- present current research.
520			_aThis book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
650		0	_aComputer science.
650		0	_aData structures (Computer science).
650		0	_aComputers.
650		0	_aAlgorithms.
650		0	_aComputer logic.
650		0	_aMathematical logic.
650		0	_aComputer science _xMathematics.
650	1	4	_aComputer Science.
650	2	4	_aTheory of Computation.
650	2	4	_aMathematics of Computing.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aData Structures, Cryptology and Information Theory.
650	2	4	_aMathematical Logic and Formal Languages.
700	1		_aChan, T-H. Hubert. _eeditor.
700	1		_aLau, Lap Chi. _eeditor.
700	1		_aTrevisan, Luca. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642382352
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v7876
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-38236-9
912			_aZDB-2-SCS
912			_aZDB-2-LNC
942			_2Dewey Decimal Classification _ceBooks
999			_c47171 _d47171