TY - BOOK AU - Kari,Jarkko AU - Manea,Florin AU - Petre,Ion ED - SpringerLink (Online service) TI - Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings T2 - Theoretical Computer Science and General Issues SN - 9783319587417 AV - QA75.5-76.95 U1 - 004.0151 23 PY - 2017/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computers KW - Algorithms KW - Artificial intelligence KW - Pattern recognition KW - Computer science—Mathematics KW - Mathematical logic KW - Computation by Abstract Devices KW - Algorithm Analysis and Problem Complexity KW - Artificial Intelligence KW - Pattern Recognition KW - Discrete Mathematics in Computer Science KW - Mathematical Logic and Formal Languages N1 - Algorithmics 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 N2 - This 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 UR - https://doi.org/10.1007/978-3-319-58741-7 ER -