دانلود کتاب Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
روشهای رسمی برای سیستمهای بحرانی صنعتی: دوازدهمین کارگاه بینالمللی، FMICS 2007، برلین، آلمان، 1-2 ژوئیه، 2007، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 254 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540797068,9783540797067 |
| نوبت چاپ | 1 |
دانلود کتاب Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
سناریوها: مدلها، تبدیلها و ابزارها: کارگاه بینالمللی، قلعه داگستول، آلمان، 7 تا 12 سپتامبر 2003، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 279 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540261893,9783540261896 |
| نوبت چاپ | 1 |
دانلود کتاب Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
جنبههای نظری و عملی بررسی مدل اسپین: پنجمین و ششمین کارگاه بینالمللی اسپین ترنتو، ایتالیا، 5 ژوئیه 1999 تولوز، فرانسه، 21 و 24 سپتامبر 1999 مجموعه مقالات
| موضوع اصلی | ژنتیک |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 282 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540664998,9783540664994 |
| نوبت چاپ | 1 |