| 000 | 03861nam a22006495i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-53733-7 | ||
| 003 | DE-He213 | ||
| 005 | 20210120143409.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170215s2017 gw | s |||| 0|eng d | ||
| 020 |
_a9783319537337 _9978-3-319-53733-7 |
||
| 024 | 7 |
_a10.1007/978-3-319-53733-7 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUY _2bicssc |
|
| 072 | 7 |
_aCOM037000 _2bisacsh |
|
| 072 | 7 |
_aUY _2thema |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aLanguage and Automata Theory and Applications _h[electronic resource] : _b11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / _cedited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe. |
| 250 | _a1st ed. 2017. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
| 300 |
_aXXIII, 462 p. 59 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 ; _v10168 _aLecture Notes in Computer Science _v10168 |
|
| 505 | 0 | _aAlgorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression, and pattern matching -- Complexity -- Finite automata -- Grammars, languages, and parsing -- Graphs and Petri Nets -- Non-classical automata -- Pushdown automata and systems. | |
| 520 | _aThis book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems. | ||
| 650 | 0 | _aComputers. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 0 | _aDatabase management. | |
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 1 | 4 |
_aComputation by Abstract Devices. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16013 |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
| 650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16021 |
| 650 | 2 | 4 |
_aDatabase Management. _0https://scigraph.springernature.com/ontologies/product-market-codes/I18024 |
| 650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
| 650 | 2 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
| 700 | 1 |
_aDrewes, Frank. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aMartín-Vide, Carlos. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aTruthe, Bianca. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319537320 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319537344 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10168 |
|
| 830 | 0 |
_aLecture Notes in Computer Science ; _v10168 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-53733-7 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c58167 _d58167 |
||