خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

تئوری و کاربردهای تست رضایتمندی - SAT 2013: شانزدهمین کنفرانس بین المللی، هلسینکی، فنلاند، 8-12 ژوئیه، 2013، مجموعه مقالات

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

نویسنده: Matti Jarvisalo, Allen Van Gelder

ناشر: Springer

سال انتشار: 2013

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

زبان: English

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

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