دانلود کتاب CONCUR 2008 – Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings (به فارسی: CONCUR 2008 – Concurrency Theory: نوزدهمین کنفرانس بین المللی، CONCUR 2008، تورنتو، کانادا، 19-22 اوت 2008. مجموعه مقالات) نوشته شده توسط «Joseph Y. Halpern (auth.) – Franck van Breugel – Marsha Chechik (eds.)»
اطلاعات کتاب CONCUR 2008 – Concurrency Theory: نوزدهمین کنفرانس بین المللی، CONCUR 2008، تورنتو، کانادا، 19-22 اوت 2008. مجموعه مقالات
موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Joseph Y. Halpern (auth.) – Franck van Breugel – Marsha Chechik (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 524
حجم کتاب: 12 مگابایت
کد کتاب: 9783540853602 , 354085360X
نوبت چاپ: 1
توضیحات کتاب CONCUR 2008 – Concurrency Theory: نوزدهمین کنفرانس بین المللی، CONCUR 2008، تورنتو، کانادا، 19-22 اوت 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری نوزدهمین کنفرانس بین المللی نظریه همزمانی، CONCUR 2008، برگزار شده در تورنتو، کانادا، 19 تا 22 اوت 2008 است.
33 مقاله کامل اصلاح شده ارائه شده است. همراه با 2 مقاله ابزار به دقت بررسی و از 120 مورد ارسالی انتخاب شد. موضوعات شامل بررسی مدل، محاسبات فرآیند، بررسی کمینه سازی و معادل سازی، انواع، معناشناسی، احتمال، دو شبیه سازی و شبیه سازی، زمان واقعی، و زبان های رسمی است.
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.