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

دانلود کتاب Logic Colloquium 2006

49,000 تومان
کنفرانس منطق 2006
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 384
حجم فایل 2 مگابایت
کد کتاب 0521110815,9780521110815
افزودن به سبد خرید
PDF

دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

49,000 تومان
انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 2002، Berg en Dal، هلند، 24-28 آوریل، 2002. مقالات منتخب
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 336
حجم فایل 3 مگابایت
کد کتاب 354014031X,9783540140313
نوبت چاپ 1
افزودن به سبد خرید