ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Languages and Tools for Hybrid Systems Design (Foundations and Trends in Electronic Design Automation)

دانلود کتاب زبان ها و ابزارهایی برای طراحی سیستم های ترکیبی (مبانی و روندهای مربوط به اتوماسیون طراحی الکترونیکی)

Languages and Tools for Hybrid Systems Design (Foundations and Trends in Electronic Design Automation)

مشخصات کتاب

Languages and Tools for Hybrid Systems Design (Foundations and Trends in Electronic Design Automation)

دسته بندی: زبانشناسی
ویرایش:  
نویسندگان: , , ,   
سری:  
ISBN (شابک) : 193301928X, 9781933019789 
ناشر:  
سال نشر: 2006 
تعداد صفحات: 205 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 34,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Languages and Tools for Hybrid Systems Design (Foundations and Trends in Electronic Design Automation) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان ها و ابزارهایی برای طراحی سیستم های ترکیبی (مبانی و روندهای مربوط به اتوماسیون طراحی الکترونیکی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان ها و ابزارهایی برای طراحی سیستم های ترکیبی (مبانی و روندهای مربوط به اتوماسیون طراحی الکترونیکی)

زبان‌ها و ابزارهای طراحی سیستم‌های ترکیبی برای تجهیز محققان، توسعه‌دهندگان برنامه‌ها و مدیران به منابع کلیدی و مواد منبع برای توسعه موفقیت‌آمیز سیستم‌های ترکیبی در نظر گرفته شده است.


توضیحاتی درمورد کتاب به خارجی

Languages and Tools for Hybrid Systems Design is intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems



فهرست مطالب

193301928X......Page 1
Introduction......Page 12
Formal definition of hybrid systems......Page 18
Examples......Page 22
Tools for Simulation......Page 30
Simulink and Stateflow......Page 31
Modelica......Page 45
HyVisual......Page 58
Scicos......Page 67
Shift......Page 79
Charon......Page 91
Tools for Formal Verification......Page 104
Introduction to verification methods......Page 108
Hytech......Page 111
Masaccio......Page 120
CheckMate......Page 126
PHAVer......Page 136
HSolver......Page 144
Ellipsoidal calculus for reachability......Page 150
d/dt......Page 153
Hysdel......Page 158
Comparative Summary......Page 172
The Future: Towards the Development of a Standard Interchange Format......Page 182
Semantic-free and semantically-inclusive interchange formats in EDA......Page 183
The hybrid system interchange format......Page 185
Requirements for a standard interchange format......Page 186
Metropolis-based abstract semantics for hybrid systems......Page 188
Conclusions......Page 190
Acknowledgements......Page 192
References......Page 194




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی