دانلود کتاب 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 Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
روشهای رسمی برای تأیید سختافزار: ششمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2006، برتینورو، ایتالیا، 22-27 می، 2006، سخنرانیهای پیشرفته
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 244 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540343040,9783540343042 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
روشهای رسمی برای محاسبات سیار: پنجمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانیهای پیشرفته
| موضوع اصلی | سازمان و پردازش داده ها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 272 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540256970,9783540256977 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
روشهای رسمی برای ارزیابی عملکرد: هفتمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2007، برتینورو، ایتالیا، 28 مه تا 2 ژوئن 2007، سخنرانیهای پیشرفته
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 469 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540724826,9783540724827,9783540725220 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures
روشهای رسمی برای معماری نرمافزار: سومین مدرسه بینالمللی در روشهای رسمی برای طراحی رایانه، ارتباطات و سیستمهای نرمافزار: معماریهای نرمافزار، SFM 2003، برتینورو، ایتالیا، 22-27 سپتامبر 2003. سخنرانیهای پیشرفته
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 289 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540200835,9783540200833 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
روشهای رسمی برای طراحی سیستمهای بلادرنگ: مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، برتینورا، ایتالیا، 13 تا 18 سپتامبر 2004، سخنرانیهای اصلاحشده
| موضوع اصلی | کامپیوتر - علوم کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 297 / 301 |
| حجم فایل | 2.31 مگابایت |
| کد کتاب | 3540300805 , 9783540300809 |
| نوبت چاپ | 1 |
