000 | 02955nam a22005055i 4500 | ||
---|---|---|---|
003 | DE-He213 | ||
005 | 20231104114300.0 | ||
007 | cr nn 008mamaa | ||
008 | 150803s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319221779 _z978-3-319-22177-9 |
||
024 | 7 |
_a10.1007/978-3-319-22177-9 _2doi |
|
050 | 4 | _aQA76.9.A43 | |
072 | 7 |
_aUMB _2bicssc |
|
072 | 7 |
_aCOM051300 _2bisacsh |
|
072 | 7 |
_aUMB _2thema005.1 _223 |
|
245 | 1 | 0 |
_aFundamentals of Computation Theory : _b20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / _cedited by Adrian Kosowski, Igor Walukiewicz. |
250 | _a1st ed. 2015. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 | _a1 online resource | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 0 |
_aTheoretical Computer Science and General Issues ; _v9210 |
|
520 | _aThis book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdańsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms; complexity and Boolean functions; languages; set algorithms, covering, and traversal; graph algorithms and networking applications; anonymity and indistinguishability; graphs, automata, and dynamics; and logic and games. | ||
650 | 0 | _aComputer software. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aComputational complexity. | |
650 | 0 | _aSoftware engineering. | |
650 | 1 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0http://scigraph.springernature.com/things/product-market-codes/I16021 |
650 | 2 | 4 |
_aComputer Communication Networks. _0http://scigraph.springernature.com/things/product-market-codes/I13022 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X |
650 | 2 | 4 |
_aDiscrete Mathematics in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17028 |
650 | 2 | 4 |
_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029 |
700 | 1 |
_aKosowski, Adrian. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aWalukiewicz, Igor. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-319-22177-9 _3Springer eBooks _zOnline access link to the resource |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 |
_c200434045 _d52257 |
||
942 |
_2lcc _cEBK |
||
041 | _aeng |