دانلود کتاب Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
مدلها و زبانهای هماهنگی: دهمین کنفرانس بینالمللی، COORDINATION 2008، اسلو، نروژ، 4-6 ژوئن 2008. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 350 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540682643,9783540682646 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
روشهای رسمی برای زیستشناسی سیستمهای محاسباتی: هشتمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2008 برتینورو، ایتالیا، 2-7 ژوئن 2008 سخنرانیهای پیشرفته
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 527 |
| حجم فایل | 12 مگابایت |
| کد کتاب | 3540688927,9783540688921 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: هفتمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2005، آتن، یونان، 15-17 ژوئن 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 326 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540261818,9783540261810 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
تکنیک های رسمی برای سیستم های کامپیوتری و فرآیندهای تجاری: کارگاه مهندسی عملکرد اروپا، EPEW 2005 و کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2005، ورسای، فرانسه، 1-3 سپتامبر 2005. مجموعه مقالات
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 349 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540287019,9783540287018 |
| نوبت چاپ | 1 |
