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

دانلود کتاب Complexity of problems in archimedean ordered groups (EUROCAL85)

49,000 تومان
پیچیدگی مشکلات در گروه‌های ارشمیدسی (EUROCAL85)
موضوع اصلی تقارن و گروه
نوع کالا کتاب الکترونیکی
تعداد صفحه 2
حجم فایل 45 کیلوبایت
افزودن به سبد خرید
DJVU

دانلود کتاب Efficient decision procedures for locally finite theories II

49,000 تومان
رویه های تصمیم گیری کارآمد برای نظریه های محدود محلی II
موضوع اصلی جبر کامپیوتری
نوع کالا کتاب الکترونیکی
ناشر ISSAC
تعداد صفحه 6
حجم فایل 159 کیلوبایت
افزودن به سبد خرید
DJVU

دانلود کتاب Quantifier elimination in degree 3

49,000 تومان
حذف کمیت در درجه 3
موضوع اصلی جبر کامپیوتری
نوع کالا کتاب الکترونیکی
تعداد صفحه 6
حجم فایل 120 کیلوبایت
کد کتاب 0897916387
افزودن به سبد خرید