دانلود کتاب 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 |
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
تأیید، بررسی مدل، و تفسیر چکیده: ششمین کنفرانس بین المللی، VMCAI 2005، پاریس، فرانسه، 17-19 ژانویه 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 483 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 354024297X,9783540242970 |
| نوبت چاپ | 1 |