دانلود کتاب CONCUR ’96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings (به فارسی: CONCUR ’96: Concurrency Theory: هفتمین کنفرانس بین المللی پیزا، ایتالیا، 26-29 اوت 1996 مجموعه مقالات) نوشته شده توسط «Samson Abramsky (auth.) – Ugo Montanari – Vladimiro Sassone (eds.)»
اطلاعات کتاب CONCUR ’96: Concurrency Theory: هفتمین کنفرانس بین المللی پیزا، ایتالیا، 26-29 اوت 1996 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Samson Abramsky (auth.) – Ugo Montanari – Vladimiro Sassone (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 759
حجم کتاب: 7 مگابایت
کد کتاب: 3540616047 , 9783540616047
نوبت چاپ: 1
توضیحات کتاب CONCUR ’96: Concurrency Theory: هفتمین کنفرانس بین المللی پیزا، ایتالیا، 26-29 اوت 1996 مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی تئوری همزمانی، CONCUR ’96، در پیزا، ایتالیا، در آگوست 1996 است. همچنین شامل هفت مقاله دعوت شده است. مشارکت‌ها در بخش‌های موضوعی در جبرهای فرآیندی، رویکردهای طبقه‌بندی، حساب پی، قابلیت تصمیم‌گیری و پیچیدگی، احتمال، برنامه‌ریزی عملکردی و محدودیت، شبکه‌های پتری، تأیید، خودکار و علیت، مدل‌های عملی، و سیستم‌های حافظه مشترک گروه‌بندی می‌شوند. p>
This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR ’96, held in Pisa, Italy, in August 1996.
The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.