دانلود کتاب Euro-Par 2002 Parallel Processing: 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings
یورو-پار 2002 پردازش موازی: هشتمین کنفرانس بین المللی یورو-پار پادربورن، آلمان، 27 تا 30 اوت، 2002 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 998 |
| حجم فایل | 13 مگابایت |
| کد کتاب | 3540440496,9783540440499 |
| نوبت چاپ | 1 |
دانلود کتاب FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
FM 2006: روش های رسمی: چهاردهمین سمپوزیوم بین المللی روش های رسمی، همیلتون، کانادا، 21-27 اوت 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 620 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540372156,9783540372158 |
| نوبت چاپ | 1 |
