Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions.
Computable and constructive analysis.- Computation in biological systems.- Cryptography and information theory.- History and philosophy of computing.- Symbolic dynamics.- Weak arithmetic.