نمایش سایدبار
نمایش 12 24 36 همه
PDF

دانلود کتاب Adapting proofs-as-programs

49,000 تومان
انطباق اثبات-به عنوان-برنامه
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 430
حجم فایل 2 مگابایت
کد کتاب 9781441920140,1441920145
نوبت چاپ پیش نویس وب
افزودن به سبد خرید
PDF

دانلود کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol

49,000 تومان
تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 417
حجم فایل 2 مگابایت
کد کتاب 0387237593,9780387281834,9780387237596
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Adapting Proofs-as-Programs: The Curry-Howard Protocol

49,000 تومان
تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 416
حجم فایل 5 مگابایت
کد کتاب 9780387237596,0387237593
افزودن به سبد خرید
DJVU

دانلود کتاب Constructive Order Types

49,000 تومان
انواع سفارش سازنده
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North-Holland Pub. Co.
تعداد صفحه 216
حجم فایل 998 کیلوبایت
کد کتاب 0444534202,9780444534200
افزودن به سبد خرید
PDF

دانلود کتاب Constructive Order Types

49,000 تومان
انواع سفارش سازنده
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Elsevier, Academic Press
تعداد صفحه 216
حجم فایل 6 مگابایت
کد کتاب 0720422515,9780720422511
افزودن به سبد خرید
PDF

دانلود کتاب Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

49,000 تومان
سیستم های رسمی و توابع بازگشتی: مجموعه مقالات کنفرانس منطق هشتم، آکسفورد، ژوئیه 1963
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North-Holland Publishing Company
تعداد صفحه 321
حجم فایل 10 مگابایت
افزودن به سبد خرید
PDF

دانلود کتاب Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

49,000 تومان
مجموعه ها، مدل ها و نظریه بازگشت: مجموعه مقالات مدرسه تابستانی در منطق ریاضی و گفتگوی منطق دهم لستر، اوت-سپتامبر 1965
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North-Holland Publishing Co
تعداد صفحه 342
حجم فایل 5 مگابایت
افزودن به سبد خرید