دانلود کتاب 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
49,000 تومان
روشهای رسمی برای زیستشناسی سیستمهای محاسباتی: هشتمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2008 برتینورو، ایتالیا، 2-7 ژوئن 2008 سخنرانیهای پیشرفته
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 527 |
| حجم فایل | 12 مگابایت |
| کد کتاب | 3540688927,9783540688921 |
| نوبت چاپ | 1 |
| نویسنده | Andrea Degasperi, Gianluigi Zavattaro (eds.), Marco Bernardo, Pierpaolo Degano, Stephen Gilmore (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای رسمی برای زیستشناسی سیستمهای محاسباتی: هشتمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2008 برتینورو، ایتالیا، 2-7 ژوئن 2008 سخنرانیهای پیشرفته
این کتاب مجموعهای از 14 مقاله را ارائه میکند که همراه با سخنرانیهای محققان برجسته ارائه شده در ویرایش هشتم مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2008، که در برتینورو، ایتالیا در ژوئن برگزار شد. 2008.
SFM 2008 به تکنیکهای رسمی برای زیستشناسی سیستمهای محاسباتی اختصاص داشت و جنبههای مختلفی از این زمینه را شامل مدلهای محاسباتی، محاسبات و منطق سیستمهای بیولوژیکی، و روشهای تأیید و شبیهسازی را پوشش میداد. بخش اول این جلد شامل نه مقاله بر اساس سخنرانیهای معمولی است، بخش دوم این جلد شامل پنج مقاله بر اساس صحبتهای افرادی است که در پروژه تحقیقاتی BISCA ایتالیا در مورد سیستمهای الهامگرفته از زیست و حسابهای کاربردی با کاربردها ارائه شدهاند.
This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008.
SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.