دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
دسته: خارجی
کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2010: سیزدهمین کنفرانس بین المللی، SAT 2010، ادینبورگ، انگلستان، 11-14 ژوئیه، 2010. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2010: سیزدهمین کنفرانس بین المللی، SAT 2010، ادینبورگ، انگلستان، 11-14 ژوئیه، 2010. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
نام کتاب : Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : تئوری و کاربردهای تست رضایتمندی - SAT 2010: سیزدهمین کنفرانس بین المللی، SAT 2010، ادینبورگ، انگلستان، 11-14 ژوئیه، 2010. مجموعه مقالات
سری : Lecture Notes in Computer Science 6175 : Theoretical Computer Science and General Issues
نویسندگان : Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 410
ISBN (شابک) : 9783642141850 , 9783642141867
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی