Unveiling Dynamics and Complexity
13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Seiten
2017
|
1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-58740-0 (ISBN)
Springer International Publishing (Verlag)
978-3-319-58740-0 (ISBN)
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 | 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 |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Aus- und Weiterbildung zum UXQB® Certified Professional for Usability …
Buch | Hardcover (2023)
dpunkt (Verlag)
36,90 €
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …
Buch | Hardcover (2023)
dpunkt Verlag
34,90 €
Wissensverarbeitung - Neuronale Netze
Buch | Hardcover (2023)
Carl Hanser (Verlag)
34,99 €