عنوان
پدید آورنده
موضوع
رده
QA76.38 .H73 2010
QA76
.
38
.
H73
2010
کتابخانه
محل استقرار
شابک
شابک
1605589551 (pbk.)
شابک
9781605589558 (pbk.)
شماره کتابشناسی ملی
شماره
b516504
عنوان و نام پديدآور
عنوان اصلي
HSCC'10 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of the 13th ACM International Conference on Hybrid Systems, Computation and Control : April 12-15, 2010, Stockholm, Sweden /
نام نخستين پديدآور
sponsored by ACM SIGBED ; supported by the Royal Institute of Technology, the FP7 Cooperation Work Program, European Commission through ArtistDesign, & the National Science Foundation of the USA
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, NY :
نام ناشر، پخش کننده و غيره
Association for Computing Machinery,
تاریخ نشرو بخش و غیره
c2010
مشخصات ظاهری
نام خاص و کميت اثر
x, 296 p. :
ساير جزييات
ill. ;
ابعاد
28 cm
يادداشت کلی
متن يادداشت
"This volume contains 29 peer-reviewed papers accepted for presentation at the 13th ACM International Conference on Hybrid Systems Computation and Control (HSCC 2010) ..."--P. iii
متن يادداشت
Co-chairs: Karl Henrik Johansson, Wang Yi
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Compositionality and abstraction -- 2. Hybrid control systems -- 3. Resource and scheduling -- 4. Specification and control -- 5. Identification and control -- 6. Applications -- 7. Network and control -- 8. Modelling and analysis -- 9. Verification of stochastic systems -- 10. Switched linear systems -- Invited talk: Amir Pnueli and the dawn of hybrid systems
بدون عنوان
0
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Hybrid systems.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
HSCC 2010
عنوان اصلي به زبان ديگر
Hybrid Systems, Computation and Control
عنوان اصلي به زبان ديگر
Proceedings of the 13th ACM International Conference on Hybrid Systems, Computation and Control
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Hybrid computers, Congresses
موضوع مستند نشده
Hybrid systems, Congresses
رده بندی ديویی
شماره
629
.
8
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
38
شماره رده
QA76
.
38
نشانه اثر
.
H73
2010
نشانه اثر
.
H73
2010
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Johansson, Karl Henrik,1967-
مستند نام اشخاص تاييد نشده
Yi, Wang
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
HSCC (Conference)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Association for Computing Machinery., Special Interest Group on Embedded Systems
مستند نام تنالگان تاييد نشده
European Commission
مستند نام تنالگان تاييد نشده
Kungl. Tekniska högskolan
مستند نام تنالگان تاييد نشده
National Science Foundation (U.S.)
مستند نام تنالگان تاييد نشده
Seventh Framework Programme (European Commission)
مبدا اصلی
تاريخ عمليات
20120202084423.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
