000 | 03300nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-642-22256-6 | ||
003 | DE-He213 | ||
005 | 20240730184157.0 | ||
007 | cr nn 008mamaa | ||
008 | 110719s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642222566 _9978-3-642-22256-6 |
||
024 | 7 |
_a10.1007/978-3-642-22256-6 _2doi |
|
050 | 4 | _aQA76.9.A43 | |
072 | 7 |
_aUMB _2bicssc |
|
072 | 7 |
_aCOM051300 _2bisacsh |
|
072 | 7 |
_aUMB _2thema |
|
082 | 0 | 4 |
_a518.1 _223 |
245 | 1 | 0 |
_aImplementation and Application of Automata _h[electronic resource] : _b16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers / _cedited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel. |
250 | _a1st ed. 2011. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2011. |
|
300 |
_aXIII, 299 p. 45 illus., 18 illus. in color. _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 ; _v6807 |
|
520 | _aThis book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; document engineering and bioinformatics as well as foundational work on automata theory. | ||
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aMachine theory. _9134765 |
|
650 | 0 |
_aComputer science _xMathematics. _93866 |
|
650 | 0 |
_aDiscrete mathematics. _912873 |
|
650 | 0 |
_aArtificial intelligence _xData processing. _921787 |
|
650 | 1 | 4 |
_aAlgorithms. _93390 |
650 | 2 | 4 |
_aTheory of Computation. _9134766 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9134767 |
650 | 2 | 4 |
_aDiscrete Mathematics in Computer Science. _931837 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aData Science. _934092 |
700 | 1 |
_aBouchou-Markhoff, Béatrice. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9134768 |
|
700 | 1 |
_aCaron, Pascal. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9134769 |
|
700 | 1 |
_aChamparnaud, Jean-Marc. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9134770 |
|
700 | 1 |
_aMaurel, Denis. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9134771 |
|
710 | 2 |
_aSpringerLink (Online service) _9134772 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642222559 |
776 | 0 | 8 |
_iPrinted edition: _z9783642222573 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v6807 _9134773 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-22256-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c92223 _d92223 |