دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.) سری: Lecture Notes in Computer Science 1386 ISBN (شابک) : 3540643583, 9783540643586 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 417 [425] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
در صورت تبدیل فایل کتاب Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های ترکیبی: محاسبات و کنترل: اولین کارگاه بین المللی، HSCC'98 برکلی، کالیفرنیا، ایالات متحده، 13 تا 15 آوریل، 1998 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری اولین کارگاه بین المللی سیستم
های ترکیبی: محاسبات و کنترل است که در برکلی، کالیفرنیا،
ایالات متحده آمریکا، در آوریل 1998 برگزار شد.
این جلد 27 مقاله کامل اصلاح شده را ارائه می دهد که از مجموع
55 مقاله انتخاب شده اند. ارسالی ها این مقالات بر روی روش های
ریاضی برای طراحی و تجزیه و تحلیل دقیق و سیستماتیک سیستم های
ترکیبی تمرکز دارند. سیستم های هیبریدی از دستگاه های دیجیتالی
تشکیل شده اند که با محیط های آنالوگ تعامل دارند. آنها به ویژه
در زمینه سیستم های ایمنی حیاتی و محاسبات قابل اعتماد مهم
هستند. جلد حاضر خط تحقیقات سیستم های ترکیبی مستند شده در
مجلدات 736، 999، 1066، 1201، و 1273 از سری LNCS را گسترش می
دهد.
This book constitutes the refereed proceedings of the First
International Workshop on Hybrid Systems: Computation and
Control, held in Berkeley, California, USA, in April
1998.
The volume presents 27 revised full papers selected from a
total of 55 submissions. The papers focus on mathematical
methods for the rigorous and systematic design and analysis
of hybrid systems. Hybrid systems consist of digital devices
that interact with analog environments; they are particularly
important in context with safety-critical systems and
dependable computing. The present volume extends the line of
hybrid systems research documented in volumes 736, 999, 1066,
1201, and 1273 of the LNCS series.