000 | 02888nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-642-38236-9 | ||
003 | DE-He213 | ||
005 | 20140220082911.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 |
100 | 1 |
_aChan, T-H. Hubert. _eeditor. |
|
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 | _aInformation theory. | |
650 | 0 | _aComputer software. | |
650 | 0 | _aLogic design. | |
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 |
_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 | ||
999 |
_c98227 _d98227 |