نرم افزار: سیستم ها: محاسبات علمی

سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

دانلود کتاب Hybrid and Real-Time Systems: International Workshop, HART’97 Grenoble, France, March 26–28, 1997 Proceedings (به فارسی: سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART’97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات) نوشته شده توسط «Amir Pnueli (auth.) – Oded Maler (eds.)»


اطلاعات کتاب سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات

موضوع اصلی: کامپیوتر – علوم کامپیوتر

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Amir Pnueli (auth.) – Oded Maler (eds.)

زبان: english

فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1997

تعداد صفحه: 426 / 425

حجم فایل: 3.80 مگابایت

کد کتاب: 354062600X , 9783540626008

نوبت چاپ: 1

توضیحات کتاب سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات

این کتاب مجموعه مقالات داوری کارگاه بین‌المللی سیستم‌های ترکیبی و بلادرنگ، HART’97 است که در گرنوبل، فرانسه، در مارس 1997 برگزار شد.
این جلد 18 مقاله کامل اصلاح‌شده و 9 ارائه کوتاه را با دقت ارائه می‌کند. در طول یک فرآیند ارزیابی رقابتی بسیار انتخاب شده است. همچنین شامل نسخه کامل یا چکیده 7 مقاله یا آموزش دعوت شده است.
سیستم های ترکیبی از دستگاه های دیجیتالی تشکیل شده است که با محیط های آنالوگ در تعامل هستند. بنابراین منطقه در حال ظهور در تقاطع علم کامپیوتر و نظریه کنترل قرار دارد. این کتاب بر روی روش های ریاضی برای طراحی و تجزیه و تحلیل دقیق و سیستماتیک سیستم های ترکیبی و سیستم های بلادرنگ تمرکز دارد.


This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART’97, held in Grenoble, France, in March 1997.
The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.
Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.

دانلود کتاب «سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

دیدگاهتان را بنویسید