خرید و دانلود نسخه کامل کتاب Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings

نظریه و کاربردهای آزمون رضایتمندی - SAT 2017: 20th International Conference، Melbourne، VIC، Australia، 28 اوت - 1 سپتامبر 2017، Proceedings

Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings

نویسنده: Gaspers, Serge; Walsh, Toby

ناشر: Springer International Publishing : Imprint: Springer, Lecture Notes in Computer Science, Lecture notes in computer science 10491; LNCS sublibrary. SL 1 Theoretical computer science and general issues, 1, 2017

سال انتشار: 2017

تعداد صفحات: 476

زبان: English

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

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