دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
دانلود کتاب مدلسازی و تحلیل رسمی سیستم های زمان بندی شده: شانزدهمین کنفرانس بین المللی، FORMATS 2018، پکن، چین، 4 تا 6 سپتامبر 2018، مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
ویرایش: [1st ed.] نویسندگان: David N. Jansen, Pavithra Prabhakar سری: Lecture Notes in Computer Science 11022 ISBN (شابک) : 9783030001506 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: X, 289 [290] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
قیمت کتاب (تومان) : 88,000
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدلسازی و تحلیل رسمی سیستم های زمان بندی شده: شانزدهمین کنفرانس بین المللی، FORMATS 2018، پکن، چین، 4 تا 6 سپتامبر 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدلسازی و تحلیل رسمی سیستم های زمان بندی شده: شانزدهمین کنفرانس بین المللی، FORMATS 2018، پکن، چین، 4 تا 6 سپتامبر 2018، مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بینالمللی مدلسازی و تحلیل رسمی سیستمهای زمانبندی شده، FORMATS 2018، در پکن، چین، در سپتامبر 2018 است.
14 مقاله ارائه شده در این جلد به دقت بررسی و از بین 29 مقاله ارسالی انتخاب شدند. مقالات در بخشهای موضوعی زیر سازماندهی میشوند: مقالات دعوتشده، منطقهای زمانی، سیستمهای زمانبندی شده توزیعشده، معادلهای رفتاری، کلمات زماندار، و سیستمهای دینامیکی پیوسته. هدف FORMATS ترویج مطالعه جنبه های اساسی و عملی سیستم های زمان بندی شده و گرد هم آوردن محققانی از رشته های مختلف است که در مدل سازی و تجزیه و تحلیل سیستم های زمان بندی شده و به عنوان یک تعمیم، سیستم های ترکیبی دارای علایق مشترک هستند.
< br>توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Total English Upper-Intermediate Test Master CD ROM for Workbook
دانلود کتاب Alaska
دانلود کتاب Out and about: The Lgbt Experience in the Legal Profession
