دانلود کتاب Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Name: Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
Availability: InStock
Author: Eric Allender (auth.)
ISBN: 9783642139611, 9783642139628

by Eric Allender (auth.)

عنوان فارسی: برنامه، اثبات، فرآیندها: کنفرانس 6 پذیری در اروپا، CIE 2010، Ponta Delgada در، آزور، پرتغال، 30 ژوئن - 4 ژوئیه، 2010. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2010
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 450-464
شابک: 9783642139611, 9783642139628
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 7.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. The 28 revised papers presented together with 20 invited lectures were carefully reviewed and selected from 90 submissions. The papers address not only the more established lines of research of computational complexity and the interplay between proofs and computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

گزارش اشکال ⚠