دانلود کتاب A Survey of Recent Advances in SAT-Based Formal Verification
دانلود کتاب Computer Science Logic: 4th Workshop, CSL ’90 Heidelberg, Germany, October 1–5, 1990 Proceedings
دانلود کتاب Computer Science Logic: 5th Workshop, CSL ’91 Berne, Switzerland, October 7–11, 1991 Proceedings
دانلود کتاب CSL ’87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
دانلود کتاب CSL ’88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
دانلود کتاب CSL ’89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
تئوری و کاربردهای تست رضایتمندی - SAT 2008: یازدهمین کنفرانس بین المللی، SAT 2008، گوانگژو، چین، 12-15 مه 2008. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 305 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540797181,9783540797180 |
| نوبت چاپ | 1 |