دانلود کتاب CONCUR 2003 – Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings (به فارسی: CONCUR 2003 – Concurrency Theory: چهاردهمین کنفرانس بین المللی، مارسی، فرانسه، 3-5 سپتامبر 2003. مجموعه مقالات) نوشته شده توسط «Albert Benveniste – Stefan Haar – Eric Fabre – Claude Jard (auth.) – Roberto Amadio – Denis Lugiez (eds.)»
اطلاعات کتاب CONCUR 2003 – Concurrency Theory: چهاردهمین کنفرانس بین المللی، مارسی، فرانسه، 3-5 سپتامبر 2003. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Albert Benveniste – Stefan Haar – Eric Fabre – Claude Jard (auth.) – Roberto Amadio – Denis Lugiez (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 524
حجم کتاب: 4 مگابایت
کد کتاب: 3540407537 , 9783540407539
نوبت چاپ: 1
توضیحات کتاب CONCUR 2003 – Concurrency Theory: چهاردهمین کنفرانس بین المللی، مارسی، فرانسه، 3-5 سپتامبر 2003. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی نظریه همزمانی، CONCUR 2003، برگزار شده در مارسی، فرانسه در سپتامبر 2003 است.
29 مقاله کامل اصلاح شده همراه با 4 مقاله دعوت شده با دقت ارائه شده‌اند. بررسی و از بین 107 مورد ارسالی انتخاب شد. این مقالات در بخش‌های موضوعی در مورد نظم‌های جزئی و سیستم‌های ناهمزمان، جبرهای فرآیند، بازی‌ها، سیستم‌های بی‌نهایت، اتوماتای احتمالی، بررسی مدل، بررسی مدل و HMSC، امنیت، تحرک، روش‌های ترکیبی و زمان واقعی، و مدل‌های احتمالی سازمان‌دهی شده‌اند.
This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003.
The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.