دانلود کتاب Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

49,000 تومان
روش‌های رسمی کاربردی — FM-Trends 98: کارگاه بین‌المللی درباره روندهای فعلی در روش‌های رسمی کاربردی Boppard، آلمان، 7 تا 9 اکتبر 1998 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 384
حجم فایل 22 مگابایت
کد کتاب 3540664629),3540664629
نوبت چاپ 1

دانلود کتاب Artificial intelligence: methodology, systems and applications

49,000 تومان
هوش مصنوعی: روش‌شناسی، سیستم‌ها و کاربردها
موضوع اصلی سایبرنتیک: هوش مصنوعی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 426
حجم فایل 10 مگابایت
کد کتاب 3540857753,9783540857754
نوبت چاپ اولین ویرایش

دانلود کتاب Automated Planning: Theory & Practice (The Morgan Kaufmann Series in Artificial Intelligence)

49,000 تومان
برنامه ریزی خودکار: تئوری و عمل (سری مورگان کافمن در هوش مصنوعی)
موضوع اصلی سایبرنتیک: هوش مصنوعی
نوع کالا کتاب الکترونیکی
ناشر Morgan Kaufmann
تعداد صفحه 638
حجم فایل 38 مگابایت
کد کتاب 1558608567,9781558608566
نوبت چاپ 1

دانلود کتاب Future Internet – FIS 2008, 1 conf., FIS 2008

49,000 تومان
اینترنت آینده - FIS 2008، 1 conf.، FIS 2008
موضوع اصلی شبکه: اینترنت
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 194
حجم فایل 3 مگابایت
کد کتاب 3642009840,9783642009846
نوبت چاپ 1