دانلود کتاب CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings (به فارسی: CONCUR 2007 – Concurrency Theory: هجدهمین کنفرانس بین المللی، CONCUR 2007، لیسبون، پرتغال، 3-8 سپتامبر 2007. مجموعه مقالات) نوشته شده توسط «Fred B. Schneider (auth.) – Luís Caires – Vasco T. Vasconcelos (eds.)»
اطلاعات کتاب CONCUR 2007 – Concurrency Theory: هجدهمین کنفرانس بین المللی، CONCUR 2007، لیسبون، پرتغال، 3-8 سپتامبر 2007. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Fred B. Schneider (auth.) – Luís Caires – Vasco T. Vasconcelos (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 510
حجم کتاب: 6 مگابایت
کد کتاب: 3540744061 , 9783540744061
نوبت چاپ: 1
توضیحات کتاب CONCUR 2007 – Concurrency Theory: هجدهمین کنفرانس بین المللی، CONCUR 2007، لیسبون، پرتغال، 3-8 سپتامبر 2007. مجموعه مقالات
هفدهمین کنفرانس بین المللی نظریه همزمانی در لیسبون، پرتغال، در سپتامبر 2007 برگزار شد. این کنفرانس متخصصان برجسته در تئوری همزمانی را جذب کرد تا یافته های خود را به اشتراک بگذارند و در مورد آخرین پیشرفت ها در این زمینه بحث کنند. این جلد مجموعه مقالات داوری کنفرانس را تشکیل می دهد.
30 مقاله کامل به همراه سه مقاله مهم دعوت شده ارائه شده است. خوانندگان بسیاری از یافته‌ها و کاربردهای مهم را در نظریه همزمانی کشف خواهند کرد.
موضوعات شامل بررسی مدل، محاسبات فرآیند، بررسی کمینه‌سازی و معادل‌سازی، انواع، معناشناسی، احتمال، دوشبیه‌سازی و شبیه‌سازی، زمان واقعی و زبان‌های رسمی است.
The 17th International Conference on Concurrency Theory was held in Lisbon, Portugal, in September 2007. The conference drew leading experts in concurrency theory who came to share their findings and discuss the latest developments in the field. This volume constitutes the refereed proceedings of the conference.
Thirty full papers are presented along with three important invited papers. Readers will discover many important findings and applications in concurrency theory.
Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.