000 | 02978nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-662-55751-8 | ||
003 | DE-He213 | ||
005 | 20240730200337.0 | ||
007 | cr nn 008mamaa | ||
008 | 170815s2017 gw | s |||| 0|eng d | ||
020 |
_a9783662557518 _9978-3-662-55751-8 |
||
024 | 7 |
_a10.1007/978-3-662-55751-8 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aFundamentals of Computation Theory _h[electronic resource] : _b21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings / _cedited by Ralf Klasing, Marc Zeitoun. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2017. |
|
300 |
_aXXI, 432 p. 33 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v10472 |
|
505 | 0 | _aTheoretical computer science -- Algorithms -- Complexity -- Formal and logical methods. | |
520 | _aThis book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods. | ||
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aComputer science _xMathematics. _93866 |
|
650 | 0 |
_aDiscrete mathematics. _912873 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 1 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aAlgorithms. _93390 |
650 | 2 | 4 |
_aComputer Communication Networks. _9162939 |
650 | 2 | 4 |
_aTheory of Computation. _9162940 |
650 | 2 | 4 |
_aDiscrete Mathematics in Computer Science. _931837 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
700 | 1 |
_aKlasing, Ralf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9162941 |
|
700 | 1 |
_aZeitoun, Marc. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9162942 |
|
710 | 2 |
_aSpringerLink (Online service) _9162943 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783662557501 |
776 | 0 | 8 |
_iPrinted edition: _z9783662557525 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v10472 _9162944 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-662-55751-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c95999 _d95999 |