دانلود کتاب Hybrid Systems V
49,000 تومان
سیستم های هیبریدی V
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 458 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 354065643X,9783540656432 |
| نوبت چاپ | 1 |
| نویسنده | Anil Nerode, Hans-Michael Hanisch (auth.), Haoxun Chen, Michael Lemmon, Panos Antsaklis, Shankar Sastry (eds.), Wolf Kohn |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1999 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
سیستم های هیبریدی V
این کتاب مجموعه مقالات پس از داوری دقیق پنجمین کارگاه بین المللی سیستم های هیبریدی است که در نوتردام، ایندیانا، ایالات متحده در سپتامبر 1998 برگزار شد. این جلد نتایج تحقیقات پیشرفتهای را ارائه میکند و بهویژه به حوزههایی مانند تأیید برنامه، فرآیندهای همزمان و توزیع شده، برنامهنویسی منطقی، منطق برنامهها، شبیهسازی رویداد گسسته، محاسبه تغییرات، بهینهسازی، هندسه دیفرانسیل، جبرهای دروغ، خودکار میپردازد. تئوری، سیستم های دینامیکی و غیره
This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.