دانلود کتاب Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
روش‌های صحیح طراحی و تأیید سخت‌افزار: یازدهمین کنفرانس کاری تحقیقاتی پیشرفته IFIP WG 10.5، CHARME 2001 لیوینگستون، اسکاتلند، بریتانیا، 4 تا 7 سپتامبر 2001 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 488 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540425411,9783540425410 |
| نوبت چاپ | 1 |
دانلود کتاب 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 |
دانلود کتاب Services and Visualization Towards User-Friendly Design: ACoS’98, VISUAL’98, AIN’97 Selected Papers
دانلود کتاب Services and Visualization Towards User-Friendly Design: ACoS’98, VISUAL’98, AIN’97 Selected Papers
دانلود کتاب Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings
دانلود کتاب Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: هفتمین کنفرانس بین‌المللی، TACAS 2001 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار برگزار شد، ETAPS 2001 Genova، ایتالیا، 2-6 آوریل، 2001 مجموعه مقالات
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 594 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540418652,9783540418658 |
| نوبت چاپ | 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 |