Sailing routes in the world of computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings /
This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The confe...
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; ; |
Published: |
Springer,
|
Publisher Address: | Cham, Switzerland : |
Publication Dates: | [2018] |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science,
10936 LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Subjects: | |
Summary: |
This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving. |
Carrier Form: | xv, 434 pages : illustrations ; 24 cm. |
Bibliography: | Includes bibliographical references and author index. |
ISBN: |
9783319944173 3319944177 |
Index Number: | QA9 |
CLC: | O141.3-532 |
Call Number: | O141.3-532/C748/2018 |