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

دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

49,000 تومان
نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 246
حجم فایل 3 مگابایت
کد کتاب 9783540427520,354042752X
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

49,000 تومان
نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 246
حجم فایل 2 مگابایت
کد کتاب 354042752X,9783540427520
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Substructural Logics

49,000 تومان
منطق زیرساختی
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Clarendon Press
تعداد صفحه 397
حجم فایل 3 مگابایت
کد کتاب 0198537778,9780198537779
افزودن به سبد خرید