در حال نمایش 5 نتیجه

دانلود کتاب Advances in Natural Language Processing: 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings

قیمت اصلی 36,000 تومان بود.قیمت فعلی 15,000 تومان است.
پیشرفت در پردازش زبان طبیعی: ششمین کنفرانس بین المللی، GoTAL 2008 گوتنبرگ، سوئد، 25-27 اوت، 2008 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 516
حجم فایل 8 مگابایت
کد کتاب 3540852867,9783540852865
نوبت چاپ 1

دانلود کتاب Programming in Martin-Lof’s Type Theory: An Introduction

قیمت اصلی 36,000 تومان بود.قیمت فعلی 15,000 تومان است.
برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Oxford University Press, USA
تعداد صفحه 211
حجم فایل 1024 کیلوبایت
کد کتاب 9780198538141,0198538146

دانلود کتاب Programming in Martin-Löf’s Type Theory: An Introduction

قیمت اصلی 36,000 تومان بود.قیمت فعلی 15,000 تومان است.
برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Oxford University Press, USA
تعداد صفحه 211
حجم فایل 693 کیلوبایت
کد کتاب 0198538146,9780198538141

دانلود کتاب Types for Proofs and Programs: International Workshop TYPES ’94 Båstad, Sweden, June 6–10, 1994 Selected Papers

قیمت اصلی 36,000 تومان بود.قیمت فعلی 15,000 تومان است.
انواع مدارک و برنامه ها: کارگاه بین المللی TYPES '94 باستاد، سوئد، 6 تا 10 ژوئن 1994 مقالات منتخب
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 210
حجم فایل 2 مگابایت
کد کتاب 3540605797,9783540605799
نوبت چاپ 1

دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

قیمت اصلی 36,000 تومان بود.قیمت فعلی 15,000 تومان است.
انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES’99 Lökeberg، سوئد، 12 تا 16 ژوئن 1999 مقالات منتخب
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 197
حجم فایل 1 مگابایت
کد کتاب 3540415173,9783540415176
نوبت چاپ 1