دانلود کتاب Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings
کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2017: بیستمین کنفرانس بین المللی، ملبورن، VIC، استرالیا، 28 اوت تا 1 سپتامبر 2017، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2017: بیستمین کنفرانس بین المللی، ملبورن، VIC، استرالیا، 28 اوت تا 1 سپتامبر 2017، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings
نام کتاب : Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings
عنوان ترجمه شده به فارسی : تئوری و کاربردهای تست رضایتمندی - SAT 2017: بیستمین کنفرانس بین المللی، ملبورن، VIC، استرالیا، 28 اوت تا 1 سپتامبر 2017، مجموعه مقالات
سری : Lecture notes in computer science 10491; LNCS sublibrary. SL 1 Theoretical computer science and general issues
نویسندگان : Gaspers. Serge, Walsh. Toby
ناشر :
سال نشر : 2017
تعداد صفحات : 476
ISBN (شابک) : 9783319662626 , 9783319662633
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 15 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی