دانلود کتاب Correct System Design: Recent Insights and Advances
دانلود کتاب Correct System Design: Recent Insights and Advances
دانلود کتاب Correct System Design: Recent Insights and Advances
دانلود کتاب Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings
Euro-Par 2003 پردازش موازی: نهمین کنفرانس بین المللی Euro-Par کلاگنفورت، اتریش، 26-29 اوت، 2003 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 1324 |
| حجم فایل | 19 مگابایت |
| کد کتاب | 354040788X,9783540407881 |
| نوبت چاپ | 1 |
دانلود کتاب FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
FM’99 — روشهای رسمی: کنگره جهانی روشهای رسمی در توسعه سیستمهای محاسباتی تولوز، فرانسه، 20 تا 24 سپتامبر 1999 مجموعه مقالات، جلد اول
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 940 |
| حجم فایل | 11 مگابایت |
| کد کتاب | 3540665870,9783540665878 |
| نوبت چاپ | 1 |
دانلود کتاب FME’96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
FME'96: مزیت صنعتی و پیشرفت در روشهای رسمی: سومین سمپوزیوم بینالمللی روشهای رسمی اروپا با حمایت مالی مشترک IFIP WG 14.3 آکسفورد، بریتانیا، 18 تا 22 مارس، 1996 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 711 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540609733,9783540609735 |
| نوبت چاپ | 1 |
دانلود کتاب TAPSOFT ’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
TAPSOFT '89: مجموعه مقالات کنفرانس مشترک بینالمللی تئوری و عمل توسعه نرمافزار بارسلون، اسپانیا، 13 تا 17 مارس 1989
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 383 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540509399,9783540509394 |
| نوبت چاپ | 1 |