000 | 03310nam a22006135i 4500 | ||
---|---|---|---|
001 | 978-3-319-94812-6 | ||
003 | DE-He213 | ||
005 | 20210201191258.0 | ||
007 | cr nn 008mamaa | ||
008 | 180629s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319948126 _9978-3-319-94812-6 |
||
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUM _2thema |
|
072 | 7 |
_aUYF _2thema |
|
082 | 0 | 4 |
_a005.1015113 _223 |
245 | 1 | 0 |
_aImplementation and Application of Automata _h[electronic resource] : _b23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings / _cedited by Cezar Câmpeanu. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXI, 339 p. 65 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 ; _v10977 |
|
500 | _aAcceso multiusuario | ||
505 | 0 | _aState complexity of automata -- Implementations of automata and experiments -- Enhanced regular expressions -- Complexity analysis. | |
520 | _aThis book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlottetown, PE, Canada, in July/August 2018. The 23 regular papers presented in this book together with 4 invited papers were carefully reviewed and selected from 39 initial submissions. The topics of the papers include state complexity of automata, implementations of automata and experiments, enhanced regular expressions, and complexity analysis. | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aData structures (Computer science). | |
650 | 0 | _aInformation storage and retrieval. | |
650 | 1 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
650 | 2 | 4 |
_aData Structures. _0https://scigraph.springernature.com/ontologies/product-market-codes/I15017 |
650 | 2 | 4 |
_aInformation Storage and Retrieval. _0https://scigraph.springernature.com/ontologies/product-market-codes/I18032 |
700 | 1 |
_aCâmpeanu, Cezar. _eeditor. _0(orcid)0000-0002-9777-3012 _1https://orcid.org/0000-0002-9777-3012 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319948119 |
776 | 0 | 8 |
_iPrinted edition: _z9783319948133 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10977 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-94812-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c241625 _d241624 |