دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
دانلود کتاب CONCUR '91: دومین کنفرانس بین المللی نظریه همزمانی آمستردام، هلند، 26-29 اوت 1991 مجموعه مقالات
مشخصات کتاب
CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
ویرایش: [1 ed.] نویسندگان: Pierre America (auth.), Jos C. M. Baeten, Jan Frisco Groote (eds.) سری: Lecture Notes in Computer Science 527 ISBN (شابک) : 3540544305, 9783540544302 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 549 [551] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CONCUR '91: دومین کنفرانس بین المللی نظریه همزمانی آمستردام، هلند، 26-29 اوت 1991 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Global forum on transparency and exchange of information for tax purposes peer reviews. Barbados 2014. Phase 2, Implementation of the standard in practice.
دانلود کتاب Guilty Pleasures: Feminist Camp from Mae West to Madonna
دانلود کتاب Catholics of consequence : transnational education, social mobility, and the Irish Catholic elite ; 1850 - 1900
دانلود کتاب Knowledge Acquisition for Knowledge-Based Systems: 7th European Workshop, EKAW '93 Toulouse and Caylus, France September 6–10, 1993 Proceedings
