CONCUR 2006 - Concurrency Theory

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 3 (1)

17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric pro- cols, security protocols), related veri?cation techniques and tools (such as sta- spaceexploration, model-checking, synthesis, abstraction, automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented, graphrewriting, aswellasassociatedtypesystems, staticana- ses, abstract machines, and environments). This volume starts with ?ve invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the P- gramme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme C- mittee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials. The invited talks were given by Edwa

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2006

نویسنده

Christel Baier

ناشر

Springer

شابک

9783540373766

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب CONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2006

نویسنده

ناشر

شابک

کتاب های مرتبط

Automata, languages and programming Pt. 1

Automata, Languages and Programming

DNA Computing

Theory and applications of models of computation 6th annual conference ; proceedings

DNA computing and molecular programming 15th international conference ; revised selected papers

Logic, language, information and computation 15th international workshop ; proceedings

Latin 2006

Formal Models of Communicating Systems

Foundations of Software Science and Computational Structures

Logic, Language, Information and Computation

Automata, Languages and Programming