خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5–9, 2021, Proceedings

تئوری و کاربردهای تست رضایتمندی - SAT 2021: بیست و چهارمین کنفرانس بین المللی، بارسلون، اسپانیا، 5 تا 9 ژوئیه، 2021، مجموعه مقالات

Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5–9, 2021, Proceedings

نویسنده: Li, Chu-Min & Manyà, Felip

ناشر: Springer International Publishing

سال انتشار: 2021

زبان: eng

فرمت: epub - قابل تبدیل به سایر فرمت ها

حجم فایل: 45 مگابایت