دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
دانلود کتاب مدل ها و زبان های هماهنگی: شانزدهمین کنفرانس بین المللی IFIP WG 6.1 ، هماهنگی 2014 ، به عنوان بخشی از نهمین کنفرانس بین المللی فدراسیون در مورد فنون رایانه توزیع شده ، DisCoTec 2014 ، برلین ، آلمان ، 3-5 ژوئن 2014 ، مجموعه مقالات
مشخصات کتاب
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
ویرایش: 1
نویسندگان: Eva Kühn. Rosario Pugliese (eds.)
سری: Lecture Notes in Computer Science 8459 Programming and Software Engineering
ISBN (شابک) : 9783662433751, 9783662433768
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 205
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 83,000
کلمات کلیدی مربوط به کتاب مدل ها و زبان های هماهنگی: شانزدهمین کنفرانس بین المللی IFIP WG 6.1 ، هماهنگی 2014 ، به عنوان بخشی از نهمین کنفرانس بین المللی فدراسیون در مورد فنون رایانه توزیع شده ، DisCoTec 2014 ، برلین ، آلمان ، 3-5 ژوئن 2014 ، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل
در صورت تبدیل فایل کتاب Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و زبان های هماهنگی: شانزدهمین کنفرانس بین المللی IFIP WG 6.1 ، هماهنگی 2014 ، به عنوان بخشی از نهمین کنفرانس بین المللی فدراسیون در مورد فنون رایانه توزیع شده ، DisCoTec 2014 ، برلین ، آلمان ، 3-5 ژوئن 2014 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها و زبان های هماهنگی: شانزدهمین کنفرانس بین المللی IFIP WG 6.1 ، هماهنگی 2014 ، به عنوان بخشی از نهمین کنفرانس بین المللی فدراسیون در مورد فنون رایانه توزیع شده ، DisCoTec 2014 ، برلین ، آلمان ، 3-5 ژوئن 2014 ، مجموعه مقالات
این کتاب مجموعه مقالات شانزدهمین کنفرانس بینالمللی مدلها و زبانهای هماهنگی، COORDINATION 2014، در برلین، آلمان، در ژوئن 2014 برگزار شد. 12 مقاله موجود در این جلد به دقت بررسی و از بین 31 مقاله ارسالی انتخاب شدند. آنها با موضوعاتی مانند انتزاعات و زبانهای برنامهنویسی، مدلها و پارادایمهای هماهنگی، اصول مهندسی نرمافزار کاربردی، مشخصات و تأیید، مبانی و انواع، معماریهای میانافزار توزیعشده، برنامهنویسی چند هستهای، سیستمهای تطبیقی مشارکتی، و موارد استفاده مرتبط با هماهنگی سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014. The 12 papers included in this volume were carefully reviewed and selected from 31 submissions. They deal with topics such as programming abstractions and languages, coordination models and paradigms, applied software engineering principles, specification and verification, foundations and types, distributed middleware architectures, multicore programming, collaborative adaptive systems, and coordination related use cases.
فهرست مطالب
Front Matter....Pages 1-10
Encoding Synchronous Interactions Using Labelled Petri Nets....Pages 1-16
Verifiable Decisions in Autonomous Concurrent Systems....Pages 17-32
Coordination of ECA Rules by Verification and Control....Pages 33-48
Progress as Compositional Lock-Freedom....Pages 49-64
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms....Pages 65-82
LINC: A Compact Yet Powerful Coordination Environment....Pages 83-98
Safe and Efficient Data Sharing for Message-Passing Concurrency....Pages 99-114
Affine Sessions....Pages 115-130
Multiparty Session Actors....Pages 131-146
Typing Liveness in Multiparty Communicating Systems....Pages 147-162
A Calculus of Self-stabilising Computational Fields....Pages 163-178
The Stochastic Quality Calculus....Pages 179-193
Back Matter....Pages 195-195
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Tous nos fantasmes sexuels sont dans la nature psychanalyse et copulation des insectes
دانلود کتاب Risk in The New York Times (1987–2014): A corpus-based exploration of sociological theories
دانلود کتاب Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
دانلود کتاب Eltern von Kindern mit Autismus-Spektrum-Störungen: Anforderungen, Belastungen und Ressourcen
