در حال نمایش 2 نتیجه

Show sidebar
Show 12 24 36 All
-46%PDF

دانلود کتاب Computation and Reasoning: A Type Theory for Computer Science

قیمت اصلی 36,000 تومان بود.قیمت فعلی 19,500 تومان است.
محاسبات و استدلال: یک نظریه نوع برای علوم کامپیوتر
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Oxford University Press, USA
تعداد صفحه 240
حجم فایل 10 مگابایت
کد کتاب 9780198538356,0198538359
افزودن به سبد خرید
-46%PDF

دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

قیمت اصلی 36,000 تومان بود.قیمت فعلی 19,500 تومان است.
انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2000 دورهام، بریتانیا، 8 تا 12 دسامبر، 2000 مقالات منتخب
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 248
حجم فایل 3 مگابایت
کد کتاب 3540432876,9783540432876
نوبت چاپ 1
افزودن به سبد خرید