LEADER 03383nam  22007575  450 
001 996466026503316
005 20230406032623.0
010   $a3-642-18098-1
024 7 $a10.1007/978-3-642-18098-9
035   $a(CKB)2670000000071947
035   $a(SSID)ssj0000476280
035   $a(PQKBManifestationID)11295812
035   $a(PQKBTitleCode)TC0000476280
035   $a(PQKBWorkID)10479397
035   $a(PQKB)10431196
035   $a(DE-He213)978-3-642-18098-9
035   $a(MiAaPQ)EBC3066442
035   $a(PPN)151584990
035   $a(EXLCZ)992670000000071947
100   $a20110204d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aImplementation and Application of Automata$b[electronic resource] $e15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers /$fedited by Michael Domaratzki, Kai Salomaa
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XII, 332 p. 53 illus., 3 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6482
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-18097-3 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010. The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6482
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   $aDomaratzki$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSalomaa$b Kai$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466026503316
996   $aImplementation and Application of Automata$92860279
997   $aUNISA