ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

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 
نویسندگان:   
سری: 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 ژوئن، مجموعه مقالات برگزار شد.: مهندسی نرم افزار، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 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




نظرات کاربران