LEADER 03355nam  22007575  450 
001 996465762103316
005 20230406011521.0
010   $a3-642-31606-9
024 7 $a10.1007/978-3-642-31606-7
035   $a(CKB)3400000000085754
035   $a(SSID)ssj0000745991
035   $a(PQKBManifestationID)11412855
035   $a(PQKBTitleCode)TC0000745991
035   $a(PQKBWorkID)10859567
035   $a(PQKB)11432082
035   $a(DE-He213)978-3-642-31606-7
035   $a(MiAaPQ)EBC3070436
035   $a(PPN)168319845
035   $a(EXLCZ)993400000000085754
100   $a20120825d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aImplementation and Application of Automata$b[electronic resource] $e17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings /$fedited by Nelma Moreira, Rogério Reis
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIII, 369 p. 76 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7381
300   $a"The 17th International Conference on Implementation and Application of Automata"--Preface.
311   $a3-642-31605-0 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7381
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aBioinformatics
606   $aArtificial intelligence?Data processing
606   $aInformation storage and retrieval systems
606   $aTheory of Computation
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aComputational and Systems Biology
606   $aData Science
606   $aInformation Storage and Retrieval
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aBioinformatics.
615  0$aArtificial intelligence?Data processing.
615  0$aInformation storage and retrieval systems.
615 14$aTheory of Computation.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
615 24$aComputational and Systems Biology.
615 24$aData Science.
615 24$aInformation Storage and Retrieval.
676   $a004.0151
702   $aMoreira$b Nelma$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aReis$b Rogério$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465762103316
996   $aImplementation and Application of Automata$92860279
997   $aUNISA