دانلود کتاب Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
انتزاع، فرمول بندی مجدد و تقریب: چهارمین سمپوزیوم بین المللی، SARA 2000 Horseshoe Bay، ایالات متحده آمریکا، 26-29 ژوئیه، 2000 مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 336 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540678395,9783540678397 |
| نوبت چاپ | 1 |
دانلود کتاب Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
دانلود کتاب Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
تئوری و کاربردهای تست رضایتمندی: هشتمین کنفرانس بین المللی، SAT 2005، سنت اندروز، انگلستان، 19-23 ژوئن، 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 492 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540262768,9783540262763 |
| نوبت چاپ | 1 |