دانلود کتاب Advances in Nonlinear Dynamos
دانلود کتاب Advances in nonlinear dynamos
دانلود کتاب Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
دانلود کتاب Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
رویکردهای رسمی به تست نرم افزار و تأیید زمان اجرا: اولین کارگاه بین المللی ترکیبی، FATES 2006 و RV 2006، سیاتل، WA، ایالات متحده آمریکا، 15-16 اوت 2006، مقالات منتخب اصلاح شده
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 255 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 9783540496991,3540496998 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
رویکردهای رسمی به تست نرم افزار و تأیید زمان اجرا: اولین کارگاه بین المللی ترکیبی، FATES 2006 و RV 2006، سیاتل، WA، ایالات متحده آمریکا، 15-16 اوت 2006، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 255 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540496998,9783540496991 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
تکنیکهای رسمی برای سیستمهای شبکهشده و توزیعشده - FORTE 2002: بیست و دومین کنفرانس بینالمللی IFIP WG 6.1 هیوستون، تگزاس، ایالات متحده، 11–14 نوامبر، 2002 مجموعه مقالات
| موضوع اصلی | شبکه سازی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 374 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540001417,9783540001416 |
| نوبت چاپ | 1 |
