دانلود کتاب Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
کتاب بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی، MoChArt 2010، آتلانتا، GA، ایالات متحده آمریکا، 11 ژوئیه 2010، مقالات منتخب و دعوت شده اصلاح شده نسخه زبان اصلی
دانلود کتاب بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی، MoChArt 2010، آتلانتا، GA، ایالات متحده آمریکا، 11 ژوئیه 2010، مقالات منتخب و دعوت شده اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
نام کتاب : Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی، MoChArt 2010، آتلانتا، GA، ایالات متحده آمریکا، 11 ژوئیه 2010، مقالات منتخب و دعوت شده اصلاح شده
سری : Lecture Notes in Computer Science 6572 : Lecture Notes in Artificial Intelligence
نویسندگان : Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 138
ISBN (شابک) : 9783642206733 , 9783642206740
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی