دانلود کتاب Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 – August 1, 2008. Proceedings

49,000 تومان
ریاضیات کامپیوتری هوشمند: نهمین کنفرانس بین المللی، AISC 2008، پانزدهمین سمپوزیوم، Calculemus 2008، هفتمین کنفرانس بین المللی، MKM 2008، بیرمنگام، بریتانیا، 28 ژوئیه - 1 اوت 2008. مجموعه مقالات
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 602
حجم فایل 10 مگابایت
کد کتاب 3540851097,9783540851097
نوبت چاپ 1

دانلود کتاب The Seventeen Provers of the World: Foreword by Dana S. Scott

49,000 تومان
The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات
موضوع اصلی سایبرنتیک: هوش مصنوعی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 162
حجم فایل 1 مگابایت
کد کتاب 9783540307044,3540307044
نوبت چاپ 1

دانلود کتاب The Seventeen Provers of the World: Foreword by Dana S. Scott

49,000 تومان
The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 162
حجم فایل 1 مگابایت
کد کتاب 9783540307044
نوبت چاپ 1

دانلود کتاب The Seventeen Provers of the World: Foreword by Dana S. Scott

49,000 تومان
The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 162
حجم فایل 1 مگابایت
کد کتاب 3540307044,9783540307044
نوبت چاپ 1

دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

49,000 تومان
انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2002، Berg en Dal، هلند، 24-28 آوریل، 2002. مقالات منتخب
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 336
حجم فایل 3 مگابایت
کد کتاب 354014031X,9783540140313
نوبت چاپ 1