LEADER 03595nam  22007815  450 
001 996465769503316
005 20230406042339.0
010   $a3-642-22256-0
024 7 $a10.1007/978-3-642-22256-6
035   $a(CKB)2670000000099843
035   $a(SSID)ssj0000530743
035   $a(PQKBManifestationID)11930086
035   $a(PQKBTitleCode)TC0000530743
035   $a(PQKBWorkID)10569897
035   $a(PQKB)10847170
035   $a(DE-He213)978-3-642-22256-6
035   $a(MiAaPQ)EBC3067022
035   $a(PPN)156322005
035   $a(EXLCZ)992670000000099843
100   $a20110719d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aImplementation and Application of Automata$b[electronic resource] $e16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers /$fedited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 299 p. 45 illus., 18 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6807
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22255-2 
320   $aIncludes bibliographical references and index.
330   $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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6807
606   $aAlgorithms
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aArtificial intelligence?Data processing
606   $aAlgorithms
606   $aTheory of Computation
606   $aFormal Languages and Automata Theory
606   $aDiscrete Mathematics in Computer Science
606   $aComputer Science Logic and Foundations of Programming
606   $aData Science
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aArtificial intelligence?Data processing.
615 14$aAlgorithms.
615 24$aTheory of Computation.
615 24$aFormal Languages and Automata Theory.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aData Science.
676   $a005.1
702   $aBouchou-Markhoff$b Béatrice$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCaron$b Pascal$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aChamparnaud$b Jean-Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMaurel$b Denis$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465769503316
996   $aImplementation and Application of Automata$92860279
997   $aUNISA