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

دانلود کتاب From Semantics to Computer Science: Essays in Honour of Gilles Kahn

49,000 تومان
از معناشناسی تا علوم رایانه: مقالاتی به افتخار ژیل کان
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 596
حجم فایل 4 مگابایت
کد کتاب 0521518253,9780521518253
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

49,000 تومان
اثبات قضیه تعاملی و توسعه برنامه: Coq'Art: حساب ساختارهای استقرایی
موضوع اصلی سایبرنتیک: هوش مصنوعی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 497
حجم فایل 3 مگابایت
کد کتاب 3540208542,9783540208549
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

49,000 تومان
اثبات قضیه تعاملی و توسعه برنامه: Coq'Art: حساب ساختارهای استقرایی
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 497
حجم فایل 2 مگابایت
کد کتاب 9783540208549,3540208542
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

49,000 تومان
اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs 99 نیس، فرانسه، 14 تا 17 سپتامبر 1999 مجموعه مقالات
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 364
حجم فایل 4 مگابایت
کد کتاب 3540664637,9783540664635
نوبت چاپ 1
افزودن به سبد خرید