ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings (Lecture Notes in ... Programming and Software Engineering)

دانلود کتاب مدل ها و زبان های هماهنگی: یازدهمین کنفرانس بین المللی ، هماهنگی 2009 ، لیسبون ، پرتغال ، 9-12 ژوئن 2009 ، مجموعه مقالات (یادداشت های سخنرانی در ... برنامه نویسی و مهندسی نرم افزار)

Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings (Lecture Notes in ... Programming and Software Engineering)

مشخصات کتاب

Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings (Lecture Notes in ... Programming and Software Engineering)

دسته بندی: زبانشناسی
ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 5521 
ISBN (شابک) : 3642020526, 9783642020520 
ناشر: Springer 
سال نشر: 2009 
تعداد صفحات: 316 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings (Lecture Notes in ... Programming and Software Engineering) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مدل ها و زبان های هماهنگی: یازدهمین کنفرانس بین المللی ، هماهنگی 2009 ، لیسبون ، پرتغال ، 9-12 ژوئن 2009 ، مجموعه مقالات (یادداشت های سخنرانی در ... برنامه نویسی و مهندسی نرم افزار) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مدل ها و زبان های هماهنگی: یازدهمین کنفرانس بین المللی ، هماهنگی 2009 ، لیسبون ، پرتغال ، 9-12 ژوئن 2009 ، مجموعه مقالات (یادداشت های سخنرانی در ... برنامه نویسی و مهندسی نرم افزار)

این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی مدل‌ها و زبان‌های هماهنگی، COORDINATION 2009، برگزار شده در لیسبون، پرتغال، در ژوئن 2009، به عنوان یکی از کنفرانس‌های فدرال تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2009 است. از بین 61 مورد ارسالی به دقت بررسی و انتخاب شدند. موضوع بررسی طیفی از زبان‌ها، میان‌افزارها، سرویس‌ها و الگوریتم‌هایی است که رفتار را از تعامل جدا می‌کنند، بنابراین مدولار بودن را افزایش می‌دهند، استدلال را ساده می‌کنند و در نهایت توسعه نرم‌افزار را افزایش می‌دهند.


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

This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009. The 14 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.



فهرست مطالب

Front Matter....Pages -
Hop, a Fast Server for the Diffuse Web....Pages 1-26
High-Performance Transactional Event Processing....Pages 27-46
Exceptionally Safe Futures....Pages 47-65
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning....Pages 66-85
Fairness for Chorded Languages....Pages 86-105
Mobility Models and Behavioural Equivalence for Wireless Networks....Pages 106-122
Parametrised Constants and Replication for Spatial Mobility....Pages 123-142
Biochemical Tuple Spaces for Self-organising Coordination....Pages 143-162
Multicore Scheduling for Lightweight Communicating Processes....Pages 163-183
Automata for Context-Dependent Connectors....Pages 184-203
Contract-Based Coordination of Hardware Components for the Development of Embedded Software....Pages 204-224
Coordination Model for Real-Time Collaborative Editors....Pages 225-246
A Uniform Framework for Modeling and Verifying Components and Connectors....Pages 247-267
From Coordination to Stochastic Models of QoS....Pages 268-287
Assume-Guarantee Verification of Concurrent Systems....Pages 288-305
Back Matter....Pages -




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

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