دانلود کتاب Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 4428)
| عنوان فارسی | بررسی مدل و هوش مصنوعی: کارگاه چهارم، MoChArt IV، ریوا دل گاردا، ایتالیا، 29 اوت 2006، مقالات منتخب و دعوت شده اصلاح شده (یادداشت های سخنرانی در علوم کامپیوتر، 4428) |
|---|---|
| عنوان اصلی | Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 4428) |
| ناشر | |
| نویسنده | Stefan Edelkamp |
| ISBN | 3540741275, 9783540741275 |
| سال نشر | |
| زبان | English |
| تعداد صفحات | 193 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد