دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings
روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: ششمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2003، پاریس، فرانسه، 19.21 نوامبر 2003. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 340 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540204911 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2006: بیست و ششمین کنفرانس بین المللی IFIP WG 6.1، پاریس، فرانسه، 26-29 سپتامبر 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 488 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540462198,9783540462194 |
| نوبت چاپ | 1 |
دانلود کتاب SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
SDL 2007: طراحی برای سیستم های قابل اعتماد: سیزدهمین انجمن بین المللی SDL پاریس، فرانسه، 18-21 سپتامبر 2007 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 292 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 3540749837,9783540749837 |
| نوبت چاپ | 1 |