LEADER 03529nam  22007695  450 
001 996466200703316
005 20230221063432.0
010   $a3-319-58741-2
024 7 $a10.1007/978-3-319-58741-7
035   $a(CKB)4340000000061521
035   $a(DE-He213)978-3-319-58741-7
035   $a(MiAaPQ)EBC5592315
035   $a(PPN)202990567
035   $a(EXLCZ)994340000000061521
100   $a20170511d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aUnveiling Dynamics and Complexity$b[electronic resource] $e13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /$fedited by Jarkko Kari, Florin Manea, Ion Petre
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIII, 401 p. 57 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10307
311   $a3-319-58740-4 
320   $aIncludes bibliographical references and index.
327   $aAlgorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing.
330   $aThis book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10307
606   $aComputer science
606   $aAlgorithms
606   $aArtificial intelligence
606   $aPattern recognition systems
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aMachine theory
606   $aTheory of Computation
606   $aAlgorithms
606   $aArtificial Intelligence
606   $aAutomated Pattern Recognition
606   $aDiscrete Mathematics in Computer Science
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aArtificial intelligence.
615  0$aPattern recognition systems.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aMachine theory.
615 14$aTheory of Computation.
615 24$aAlgorithms.
615 24$aArtificial Intelligence.
615 24$aAutomated Pattern Recognition.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aFormal Languages and Automata Theory.
676   $a511.352
702   $aKari$b Jarkko$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aManea$b Florin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPetre$b Ion$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466200703316
996   $aUnveiling Dynamics and Complexity$92830669
997   $aUNISA