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

دانلود کتاب 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

49,000 تومان
دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات
موضوع اصلی نرم افزار: CAD
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 690
حجم فایل 6 مگابایت
کد کتاب 9783540528852,3540528857
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب A computational logic

49,000 تومان
یک منطق محاسباتی
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Academic Press
تعداد صفحه 440
حجم فایل 2 مگابایت
کد کتاب 0121229505,9780121229504
افزودن به سبد خرید
DJVU

دانلود کتاب A computational logic

49,000 تومان
یک منطق محاسباتی
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Academic Press
تعداد صفحه 440
حجم فایل 858 کیلوبایت
کد کتاب 9780121229504,0121229505
افزودن به سبد خرید
PDF

دانلود کتاب A Computational Logic (ACM monograph series)

49,000 تومان
منطق محاسباتی (سری تک نگاری ACM)
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Academic Press
تعداد صفحه 440
حجم فایل 825 کیلوبایت
کد کتاب 0121229505,9780121229504
افزودن به سبد خرید