000 | 02350nam a22005055i 4500 | ||
---|---|---|---|
001 | vtls000485229 | ||
003 | RU-ToGU | ||
005 | 20210922070114.0 | ||
007 | cr nn 008mamaa | ||
008 | 140715s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642401640 _9978-3-642-40164-0 |
||
024 | 7 |
_a10.1007/978-3-642-40164-0 _2doi |
|
035 | _ato000485229 | ||
040 |
_aSpringer _cSpringer _dRU-ToGU |
||
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 |
_aGąsieniec, Leszek. _eeditor. _9322038 |
|
245 | 1 | 0 |
_aFundamentals of Computation Theory _h[electronic resource] : _b19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / _cedited by Leszek Gąsieniec, Frank Wolter. |
260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
||
300 |
_aXII, 318 p. 45 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8070 |
|
520 | _aThis book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields. | ||
650 | 0 |
_aComputer Science. _9155490 |
|
650 | 0 |
_aInformation theory. _9303504 |
|
650 | 0 |
_aComputational complexity. _9304814 |
|
650 | 1 | 4 |
_aComputer Science. _9155490 |
650 | 2 | 4 |
_aTheory of Computation. _9303507 |
650 | 2 | 4 |
_aDiscrete Mathematics in Computer Science. _9304816 |
700 | 1 |
_aWolter, Frank. _eeditor. _9327466 |
|
710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
773 | 0 | _tSpringer eBooks | |
830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-40164-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 | _c357808 |