خرید و دانلود نسخه کامل کتاب Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes in Computer Science, 4996)

تئوری و کاربردهای تست رضایتمندی - SAT 2008: یازدهمین کنفرانس بین المللی، SAT 2008، گوانگژو، چین، 12-15 مه، 2008، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 4996)

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes in Computer Science, 4996)

نویسنده: Hans Kleine Büning (editor), Xishun Zhao (editor)

ناشر: Springer

سال انتشار: 2008

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

زبان: English

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

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