دانلود کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ساخت و تجزیه و تحلیل دستگاه های هوشمند ایمن، ایمن و قابل همکاری: کارگاه بین المللی، CASSIS 2004، مارسی، فرانسه، 10-14 مارس، 2004، مقالات منتخب اصلاح شده
| موضوع اصلی | ساخت و ساز |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 258 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 9783540242871,3540242872 |
| نوبت چاپ | 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 |