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

دانلود کتاب Logic for programming and automated reasoning: 6th International Conference, LPAR’99, Tbilisi, Georgia, September 6-10, 1999: proceedings

10,000 تومان
منطق برای برنامه نویسی و استدلال خودکار: ششمین کنفرانس بین المللی، LPAR'99، تفلیس، گرجستان، 6-10 سپتامبر 1999: مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 410
حجم فایل 22 مگابایت
کد کتاب 9783540664925,3540664920
نوبت چاپ 1

دانلود کتاب Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

10,000 تومان
منطق برای برنامه نویسی و استدلال خودکار: هفتمین کنفرانس بین المللی، LPAR 2000 Reunion Island، فرانسه، 6-10 نوامبر، 2000 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 498
حجم فایل 5 مگابایت
کد کتاب 3540412859,9783540412854
نوبت چاپ 1

دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

10,000 تومان
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: یازدهمین کارگاه بین المللی، LPAR 2004، مونته ویدئو، اروگوئه، 14-18 مارس، 2005، مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 571
حجم فایل 5 مگابایت
کد کتاب 3540252363,9783540252368
نوبت چاپ 1

دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005,

10,000 تومان
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: دوازدهمین کنفرانس بین المللی، LPAR 2005، Montego Bay، جامائیکا، 2-6 دسامبر 2005،
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 755
حجم فایل 7 مگابایت
کد کتاب 354030553X,9783540305538
نوبت چاپ 1

دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,

10,000 تومان
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: سیزدهمین کنفرانس بین المللی، LPAR 2006، پنوم پن، کامبوج، 13-17 نوامبر 2006،
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 598
حجم فایل 7 مگابایت
کد کتاب 3540482814,9783540482819
نوبت چاپ 1

دانلود کتاب Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers … Computer Science and General Issues)

10,000 تومان
دیدگاه های انفورماتیک سیستم ها: ششمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2006، نووسیبیرسک، روسیه، 27-30 ژوئن 2006، مقالات تجدید نظر شده ... علوم کامپیوتر و مسائل عمومی)
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 510
حجم فایل 7 مگابایت
کد کتاب 3540708804,9783540708803
نوبت چاپ 1