دانلود کتاب 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

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

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

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

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

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

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