دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
دانلود کتاب مدل‌ها و زبان‌های هماهنگی: هجدهمین کنفرانس بین‌المللی IFIP WG 6.1، COORDINATION 2016، به عنوان بخشی از یازدهمین کنفرانس فدرال بین‌المللی روی تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2016، هراکلیون، کرت، یونان، 6 تا 9 ژوئن، مجموعه مقالات برگزار شد.
مشخصات کتاب
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
ویرایش: 1
نویسندگان: Alberto Lluch Lafuente. José Proença (eds.)
سری: Lecture Notes in Computer Science 9686
ISBN (شابک) : 9783319395180, 9783319395197
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 290
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب مدل‌ها و زبان‌های هماهنگی: هجدهمین کنفرانس بین‌المللی IFIP WG 6.1، COORDINATION 2016، به عنوان بخشی از یازدهمین کنفرانس فدرال بین‌المللی روی تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2016، هراکلیون، کرت، یونان، 6 تا 9 ژوئن، مجموعه مقالات برگزار شد.: مهندسی نرم افزار، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل‌ها و زبان‌های هماهنگی: هجدهمین کنفرانس بین‌المللی IFIP WG 6.1، COORDINATION 2016، به عنوان بخشی از یازدهمین کنفرانس فدرال بین‌المللی روی تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2016، هراکلیون، کرت، یونان، 6 تا 9 ژوئن، مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages I-XIV
Multilevel Transitive and Intransitive Non-interference, Causally....Pages 1-17
A Game Interpretation of Retractable Contracts....Pages 18-34
Where Do Your IoT Ingredients Come From?....Pages 35-50
Tuple Spaces Implementations and Their Efficiency....Pages 51-66
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination....Pages 67-83
Scheduling Games for Concurrent Systems....Pages 84-100
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations....Pages 101-120
Modelling Ambulance Deployment with CarmaCARMA ....Pages 121-137
On Synchronous and Asynchronous Compatibility of Communicating Components....Pages 138-156
A Semantic Theory of the Internet of Things....Pages 157-174
A Formal Analysis of the Global Sequence Protocol....Pages 175-191
Improving Gossip Dynamics Through Overlapping Replicates....Pages 192-207
From Modelling to Systematic Deployment of Distributed Active Objects....Pages 208-226
An Interference-Free Programming Model for Network Objects....Pages 227-244
On Sessions and Infinite Data....Pages 245-261
On Dynamical Probabilities, or: How to Learn to Shoot Straight....Pages 262-277
Back Matter....Pages 279-279
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Fondamenti di telecomunicazioni
دانلود کتاب Thermodynamik des Kraftfahrzeugs
دانلود کتاب Operative Techniques in Single Incision Laparoscopic Colorectal Surgery
