عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
شابک
شابک
3030001512
شابک
3030001520
شابک
9783030001513
شابک
9783030001520
شابک اشتباه
3030001504
شابک اشتباه
9783030001506
عنوان و نام پديدآور
عنوان اصلي
Formal modeling and analysis of timed systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
نام نخستين پديدآور
David N. Jansen, Pavithra Prabhakar (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 289 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11022
شاپا ي ISSN فروست
0302-9743 ;
يادداشت کلی
متن يادداشت
Includes author index.
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به مندرجات
متن يادداشت
Invited Papers -- Temporal Logics -- Distributed Timed Systems -- Behavioral Equivalences -- Timed Words -- Continuous Dynamical Systems.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030001513
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Formal modeling and analysis of timed systems.
شماره استاندارد بين المللي کتاب و موسيقي
9783030001506
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FORMATS 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer simulation, Congresses.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
System analysis, Congresses.
موضوع مستند نشده
Temporal automata, Congresses.
موضوع مستند نشده
Algorithm Analysis and Problem Complexity.
موضوع مستند نشده
Artificial Intelligence.
موضوع مستند نشده
Logics and Meanings of Programs.
موضوع مستند نشده
Mathematical Logic and Formal Languages.
موضوع مستند نشده
Simulation and Modeling.
موضوع مستند نشده
Software Engineering.
موضوع مستند نشده
3D graphics & modelling.
موضوع مستند نشده
Algorithms & data structures.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computer simulation.
موضوع مستند نشده
Computers-- Computer Simulation.
موضوع مستند نشده
Computers-- Intelligence (AI) & Semantics.
موضوع مستند نشده
Computers-- Programming-- Algorithms.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Computers-- Software Development & Engineering-- General.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Mathematics-- Logic.
موضوع مستند نشده
Software Engineering.
موضوع مستند نشده
System analysis.
موضوع مستند نشده
Temporal automata.
مقوله موضوعی
موضوع مستند نشده
COM051300
موضوع مستند نشده
UMB
موضوع مستند نشده
UMB
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Jansen, David N.
مستند نام اشخاص تاييد نشده
Prabhakar, Pavithra
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
FORMATS (Conference)(16th :2018 :, Beijing, China)
مبدا اصلی
تاريخ عمليات
20200823071435.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
