دانلود کتاب CONCUR ’91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings (به فارسی: CONCUR ’91: دومین کنفرانس بین المللی نظریه همزمانی آمستردام، هلند، 26-29 اوت 1991 مجموعه مقالات) نوشته شده توسط «Pierre America (auth.) – Jos C. M. Baeten – Jan Frisco Groote (eds.)»
اطلاعات کتاب CONCUR ’91: دومین کنفرانس بین المللی نظریه همزمانی آمستردام، هلند، 26-29 اوت 1991 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Pierre America (auth.) – Jos C. M. Baeten – Jan Frisco Groote (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 549
حجم کتاب: 7 مگابایت
کد کتاب: 3540544305 , 9783540544302
نوبت چاپ: 1
توضیحات کتاب CONCUR ’91: دومین کنفرانس بین المللی نظریه همزمانی آمستردام، هلند، 26-29 اوت 1991 مجموعه مقالات
CONCUR’91 دومین کنفرانس بین المللی تئوری همزمانی است که در ارتباط با پروژه NFI Transfer سازماندهی شده است. این عاقبت کنفرانس CONCUR’90 است. هدف اصلی آن برقراری ارتباط کار مداوم در تئوری همزمانی است. این مجموعه مقالات شامل 30 مقاله برای ارائه در کنفرانس (از 71 مقاله ارسالی) به همراه چهار مقاله دعوت شده و چکیده مقالات دیگر دعوت شده است. این مقالات در بخش‌های جبر فرآیند، منطق و بررسی مدل، برنامه‌ها و زبان‌های مشخصات، مدل‌ها و نظریه شبکه، طراحی و بلادرنگ، ابزارها و احتمالات، و زبان‌های برنامه‌نویسی سازماندهی شده‌اند. مجموعه مقالات CONCUR’90 به عنوان جلد 458 از یادداشت های سخنرانی در علوم کامپیوتر موجود است.
CONCUR’91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR’90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR’90 are available asVolume 458 of Lecture Notes in Computer Science.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.