ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

دانلود کتاب مدل‌ها و زبان‌های هماهنگی: بیست و یکمین کنفرانس بین‌المللی IFIP WG 6.1، COORDINATION 2019، به عنوان بخشی از چهاردهمین کنفرانس فدرال بین‌المللی در تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2019، Kongens Lyngby، دانمارک، 17-21 ژوئن، Proceedings21، برگزار شد.

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

مشخصات کتاب

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

ویرایش: 1st ed. 
نویسندگان:   
سری: Lecture Notes in Computer Science 11533 
ISBN (شابک) : 9783030223960 
ناشر: Springer International Publishing 
سال نشر: 2019 
تعداد صفحات: 273 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 23 مگابایت

قیمت کتاب (تومان) : 41,000



کلمات کلیدی مربوط به کتاب مدل‌ها و زبان‌های هماهنگی: بیست و یکمین کنفرانس بین‌المللی IFIP WG 6.1، COORDINATION 2019، به عنوان بخشی از چهاردهمین کنفرانس فدرال بین‌المللی در تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2019، Kongens Lyngby، دانمارک، 17-21 ژوئن، Proceedings21، برگزار شد.: علوم کامپیوتر، مهندسی نرم‌افزار، سیستم‌های عامل، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و کاربردی، پیاده‌سازی سیستم‌های کامپیوتری، شبکه‌های ارتباطی کامپیوتری



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

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مدل‌ها و زبان‌های هماهنگی: بیست و یکمین کنفرانس بین‌المللی IFIP WG 6.1، COORDINATION 2019، به عنوان بخشی از چهاردهمین کنفرانس فدرال بین‌المللی در تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2019، Kongens Lyngby، دانمارک، 17-21 ژوئن، Proceedings21، برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی درمورد کتاب به خارجی



فهرست مطالب

Front Matter ....Pages i-xiv
Front Matter ....Pages 1-1
 Representing Dependencies in Event Structures  (G. Michele Pinna)....Pages 3-18
 Reversing P/T Nets  (Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski)....Pages 19-36
 Towards Races in Linear Logic  (Wen Kokke, J. Garrett Morris, Philip Wadler)....Pages 37-53
 The share Operator for Field-Based Coordination  (Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli)....Pages 54-71
Front Matter ....Pages 73-73
 Scan: A Simple Coordination Workbench  (Jean-Marie Jacquet, Manel Barkallah)....Pages 75-91
 CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications  (Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli)....Pages 92-108
Front Matter ....Pages 109-109
 ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication  (Rocco De Nicola, Tan Duong, Michele Loreti)....Pages 111-128
 Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies  (Davide Basile, Maurice H. ter Beek, Rosario Pugliese)....Pages 129-147
 No More, No Less  (Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro)....Pages 148-157
Front Matter ....Pages 159-159
 Verification of Concurrent Design Patterns with Data  (Simon Bliudze, Ludovic Henrio, Eric Madelaine)....Pages 161-181
 Self-organising Coordination Regions: A Pattern for Edge Computing  (Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali)....Pages 182-199
 Aggregate Processes in Field Calculus  (Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani)....Pages 200-217
Front Matter ....Pages 219-219
 Automatic Quality-of-Service Evaluation in Service-Oriented Computing  (Agustín E. Martinez Suñé, Carlos G. Lopez Pombo)....Pages 221-236
 DiRPOMS: Automatic Checker of Distributed Realizability of POMSets  (Roberto Guanciale)....Pages 237-249
 Coordination of Tasks on a Real-Time OS  (Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst)....Pages 250-266
Back Matter ....Pages 267-267




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی