Sailing Routes in the World of Computation

14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Nonfiction, Computers, Database Management, Data Processing, General Computing, Programming
Cover of the book Sailing Routes in the World of Computation by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319944180
Publisher: Springer International Publishing Publication: July 23, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319944180
Publisher: Springer International Publishing
Publication: July 23, 2018
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Xenophobia in South Africa by
Cover of the book Combinatorial Pattern Matching by
Cover of the book Robust Subspace Estimation Using Low-Rank Optimization by
Cover of the book Advances in Robot Kinematics by
Cover of the book Ductal Carcinoma in Situ of the Breast by
Cover of the book Software Reuse: Bridging with Social-Awareness by
Cover of the book Time in Physics by
Cover of the book Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications by
Cover of the book Ecological Political Economy and the Socio-Ecological Crisis by
Cover of the book District Heating and Cooling Networks in the European Union by
Cover of the book UX Redefined by
Cover of the book Multi-Band Effective Mass Approximations by
Cover of the book Dynamics in Logistics by
Cover of the book Computer Vision – ECCV 2018 by
Cover of the book Multi-Criteria Decision Analysis to Support Healthcare Decisions by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy