دانلود کتاب Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
روشهای صحیح طراحی و تأیید سختافزار: دهمین کنفرانس کاری تحقیقاتی پیشرفته IFIP WG10.5، CHARME'99 BadHerrenalb، آلمان، 27 تا 29 سپتامبر، مجموعه مقالات 1999
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 376 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540665595,9783540665595 |
| نوبت چاپ | 1 |
دانلود کتاب Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
رویکردهای بنیادی به مهندسی نرم افزار: هشتمین کنفرانس بین المللی، FASE 2005، به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2005، ادینبورگ، بریتانیا، 4-8 آوریل، 2005 برگزار شد.
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 374 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 354025420X,9783540254201 |
| نوبت چاپ | 1 |
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: سومین کارگاه بینالمللی، TACAS'97 Enschede، هلند، 2 تا 4 آوریل 1997 مجموعه مقالات
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 437 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540627901,9783540627906 |
| نوبت چاپ | 1 |