Unveiling Dynamics and Complexity

13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Jarkko Kari, Florin Manea, Ion Petre (Herausgeber)

Buch | Softcover

XIII, 401 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-58740-0 (ISBN)

Artikel merken

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.

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.

Erscheinungsdatum	08.06.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XIII, 401 p. 57 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	635 g
Themenwelt	Informatik ► Software Entwicklung ► User Interfaces (HCI)
	Informatik ► Theorie / Studium ► Algorithmen
	Mathematik / Informatik ► Mathematik
Schlagworte	Algorithm analysis and problem complexity • Algorithmics • Algorithms & Data Structures • Algorithms & data structures • Applications • Artificial Intelligence • artificial intelligence (incl. robotics) • Automated Theorem Proving • Cellular Automation • classical computation • Computability • computation by abstract devices • Computer Science • conference proceedings • cryptography and information theory • Discrete Mathematics • Discrete mathematics in computer science • formal languages and automata theory • Geometric Computation • history and philosophy of computing • Informatics • Logic • Mathematical logic and formal languages • Mathematical theory of computation • Mathematics of Computing • Maths for computer scientists • Models of Computation • Natural Computing • pattern recognition • regular languages • Research • reversible computation • Robotics • signal machine • Theory of Computation • total turing machines • turing machine model • uniformization theorem • user interface design & usability • User interface design & usability
ISBN-10	3-319-58740-4 / 3319587404
ISBN-13	978-3-319-58740-0 / 9783319587400
Zustand	Neuware