دانلود کتاب Correct System Design: Recent Insights and Advances
دانلود کتاب Correct System Design: Recent Insights and Advances
دانلود کتاب Correct System Design: Recent Insights and Advances
دانلود کتاب Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
استفاده از کاربردهای روشهای رسمی، تأیید و اعتبارسنجی: چهارمین سمپوزیوم بینالمللی در مورد استفاده از برنامههای کاربردی، ISoLA 2010، هراکلیون، کرت، یونان، 18 تا 21 اکتبر 2010، مجموعه مقالات، بخش اول
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 708 |
| حجم فایل | 13 مگابایت |
| کد کتاب | 3642165575,9783642165573 |
| نوبت چاپ | 1 |
دانلود کتاب Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2004, Revised Selected Papers
استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر - 2 نوامبر، 2004، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 197 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540489282,9783540489283 |
| نوبت چاپ | 1 |
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS’98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: چهارمین کنفرانس بینالمللی، TACAS'98 به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS'98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 461 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540643567,9783540643562 |
| نوبت چاپ | 1 |
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: دومین کارگاه بینالمللی، TACAS '96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 443 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540610421,9783540610427 |
| نوبت چاپ | 1 |