How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings
edited by S. Barry Cooper, Anuj Dawar, Benedikt Lowe (Springer-Verlag, 2012)
|
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing. |
How the World Computes.pdf :: Unduh
|
No. Panggil : | e20409217 |
Entri tambahan-Nama orang : | |
Subjek : | |
Penerbitan : | Berlin: Springer-Verlag, 2012 |
Sumber Pengatalogan: | LibUI eng rda |
Tipe Konten: | text |
Tipe Media: | computer |
Tipe Pembawa: | online resource |
Deskripsi Fisik: | |
Tautan: | http://link.springer.com/book/10.1007%2F978-3-642-30870-3 |
Lembaga Pemilik: | |
Lokasi: |
No. Panggil | No. Barkod | Ketersediaan |
---|---|---|
e20409217 | 20-22-58049912 | TERSEDIA |
Ulasan: |
Tidak ada ulasan pada koleksi ini: 20409217 |