ورود به حساب کاربری

خرید کتاب Formal Modeling and Analysis of Timed Systems

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

16th International Conference, Formats 2018, Beijing, China, September 4-6, 2018, Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Formal Modeling and Analysis of Timed Systems
16th International Conference, Formats 2018, Beijing, China, September 4-6, 2018, Proceedings
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 modelling and analysis of timed systems and, as a generalization, hybrid systems.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2018

نویسنده

Pavithra Prabhakar

ناشر

Springer

شابک

9783030001506;9783030001513
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Introduction to Discrete Event Simulation and Agent-Based Modeling

Introduction to Discrete Event Simulation and Agent-Based Modeling

Theodore T....
20
هزار تومان
Solid Modelling and CAD Systems

Solid Modelling and CAD Systems

Hildegarde ...
20
هزار تومان
Safety and Risk Modeling and Its Applications

Safety and Risk Modeling and Its Applications

Hoang Pham
20
هزار تومان
Simulation

Simulation

Stewart Rob...
20
هزار تومان
An introduction to computational biochemistry

An introduction to computational biochemistry

C Stan Tsai
20
هزار تومان
Computer-aided design, manufacturing, modeling and simulation : selected, peer reviewed papers from the International Conference on Computer-Aided Design, Manufacturing, Modeling and Simulation (CDMMS 2011), September 13-16, 2011, Hangzhou, China

Computer-aided design, manufacturing, modeling and simulation : selected, peer reviewed papers from the International Conference on Computer-Aided Design, Manufacturing, Modeling and Simulation (CDMMS 2011), September 13-16, 2011, Hangzhou, China

Xingui He; ...
20
هزار تومان
Medicine Meets Virtual Reality 20

Medicine Meets Virtual Reality 20

James D. We...
20
هزار تومان
Quantum World of Ultra-Cold Atoms and Light, the - Book II

Quantum World of Ultra-Cold Atoms and Light, the - Book II

Peter Zoller
20
هزار تومان
Prototyping Essentials with Axure

Prototyping Essentials with Axure

Elizabeth A...
20
هزار تومان
Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Jack Xin; Y...
20
هزار تومان
Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Jack Xin; Y...
20
هزار تومان
Simulation and modeling methodologies, technologies and applications : International Conference, SIMULTECH 2012 Rome, Italy, July 28-31, 2012 : revised selected papers

Simulation and modeling methodologies, technologies and applications : International Conference, SIMULTECH 2012 Rome, Italy, July 28-31, 2012 : revised selected papers

Mohammad S ...
20
هزار تومان
Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

Stuart Berr...
20
هزار تومان
Computational Methods in Systems Biology : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Computational Methods in Systems Biology : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

بدون نویسنده
20
هزار تومان
Modelling and Simulation for Autonomous Systems : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Modelling and Simulation for Autonomous Systems : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Jan Hodicky
20
هزار تومان
Heat Transfer Modeling An Inductive Approach

Heat Transfer Modeling An Inductive Approach

بدون نویسنده
20
هزار تومان
Multi-agent-based simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers

Multi-agent-based simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers

Francisco G...
20
هزار تومان
Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers

Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers

بدون نویسنده
20
هزار تومان
Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Stefano Mar...
20
هزار تومان
Managing Complexity : Challenges for Industrial Engineering and Operations Management

Managing Complexity : Challenges for Industrial Engineering and Operations Management

Cesáreo H...
20
هزار تومان
Guide to Computational Modelling for Decision Processes

Guide to Computational Modelling for Decision Processes

Marcello Tr...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن