دانلود کتاب Hybrid Systems IV
49,000 تومان
سیستم های ترکیبی IV
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 410 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540633588,9783540633587 |
| نوبت چاپ | 1 |
| نویسنده | Alan B. Arehart, Anil Nerode, Panos Antsaklis, Shankar Sastry (eds.), William A. Wolovich (auth.), Wolf Kohn |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
سیستم های ترکیبی IV
این کتاب مستندات پس از کنفرانس با داوری کامل چهارمین کنفرانس بینالمللی سیستمهای ترکیبی است که در ایتاکا، نیویورک، ایالات متحده آمریکا، در اکتبر 1996 برگزار شد. این جلد 19 مقاله کامل با دقت اصلاح شده را ارائه میکند که از بین ارسالهای متعدد انتخاب شدهاند. تحقیقات سیستمهای ترکیبی بر مدلسازی، طراحی و اعتبارسنجی سیستمهای در حال تعامل (گیاهان) و برنامههای کامپیوتری (اتوماتای کنترل) متمرکز است. این جلد به مدلهای سیستمهای ترکیبی، تأیید رسمی، شبیهسازی رایانهای، دستیابی به هدف، الگوریتمهای استخراج برنامههای کنترل ترکیبی، و مدلهای کاربردی برای سیستمهای اویونیک، کنترل ترافیک بزرگراهها و کنترل ترافیک هوایی اختصاص دارد.
This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26–27, 2019, Proceedings
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 404 |
| حجم فایل | 22.75 مگابایت |
| کد کتاب | 3030315002 , 9783030315009 |
| نوبت چاپ | ویرایش اول. 2019 |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.