عنوان
پدید آورنده
موضوع
رده
QA76.9.C65
QA76
.
9
.
C65
کتابخانه
محل استقرار
شابک
شابک
3030237036
شابک
9783030237035
شابک اشتباه
3030237028
شابک اشتباه
9783030237028
عنوان و نام پديدآور
عنوان اصلي
Cyber Physical Systems. Model-Based Design :
نام عام مواد
[Book]
ساير اطلاعات عنواني
8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers /
نام نخستين پديدآور
edited by Roger Chamberlain, Walid Taha, Martin Törngren.
وضعیت ویراست
وضعيت ويراست
1st ed. 2019.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham :
نام ناشر، پخش کننده و غيره
Springer International Publishing,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 231 pages) :
ساير جزييات
236 illustrations, 58 illustrations in color
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
مشخصه جلد
11615
یادداشتهای مربوط به مندرجات
متن يادداشت
Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030237035
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Cyber Physical Systems. Model-Based Design.
شماره استاندارد بين المللي کتاب و موسيقي
9783030237028
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer network architectures.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer simulation.
موضوع مستند نشده
Microprogramming.
موضوع مستند نشده
Software engineering.
موضوع مستند نشده
Cooperating objects (Computer systems)
رده بندی ديویی
شماره
003
.
3
رده بندی کنگره
شماره رده
QA76
.
9
.
C65
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Chamberlain, Roger.
مستند نام اشخاص تاييد نشده
Taha, Walid.
مستند نام اشخاص تاييد نشده
Törngren, Martin.
مبدا اصلی
تاريخ عمليات
20200823092939.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
