1.

Record Nr.

UNISA996466200703316

Titolo

Unveiling Dynamics and Complexity [[electronic resource] ] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / / edited by Jarkko Kari, Florin Manea, Ion Petre

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017

ISBN

3-319-58741-2

Edizione

[1st ed. 2017.]

Descrizione fisica

1 online resource (XIII, 401 p. 57 illus.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10307

Disciplina

511.352

Soggetti

Computer science

Algorithms

Artificial intelligence

Pattern recognition systems

Computer science—Mathematics

Discrete mathematics

Machine theory

Theory of Computation

Artificial Intelligence

Automated Pattern Recognition

Discrete Mathematics in Computer Science

Formal Languages and Automata Theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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.

Sommario/riassunto

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.