مشخصات کتاب

CONCUR 2004 -- Concurrency Theory

ویرایش:  
نویسندگان: Gardner P.,  Yoshida N.  
سری:  
ISBN (شابک) : 3540286446 
ناشر:  
سال نشر: 2005 
تعداد صفحات: 547 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

در صورت تبدیل فایل کتاب CONCUR 2004 -- Concurrency Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب CONCUR 2004 -- نظریه همزمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب CONCUR 2004 -- نظریه همزمانی

این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین المللی نظریه همزمانی، CONCUR 2004، که در لندن، انگلستان در آگوست/سپتامبر 2004 برگزار شد، تشکیل می شود. 29 مقاله کامل اصلاح شده ارائه شده همراه با 4 مقاله دعوت شده با دقت بررسی و از بین 134 مقاله ارسالی انتخاب شدند. از جمله موضوعات تحت پوشش، جنبه‌های مربوط به همزمانی مدل‌های محاسبات، حوزه‌های معنایی، جبرهای فرآیند، شبکه‌های پتری، ساختارهای رویداد، سیستم‌های بی‌درنگ، سیستم‌های ترکیبی، تصمیم‌پذیری، بررسی مدل، تکنیک‌های تأیید، اصلاح، بازنویسی اصطلاح و نمودار، برنامه‌نویسی توزیع شده است. ، برنامه نویسی منطق محدودیت، برنامه نویسی شی گرا، سیستم ها و الگوریتم های تایپ، مطالعات موردی، ابزارها و محیط های برنامه نویسی و تأیید.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Symmetry

دانلود کتاب The Bedford Guide for College Writers with Reader

دانلود کتاب World natural forests and their role in global processes: Intern. conf., 15-20 Aug., 1999, Khabarovsk

دانلود کتاب A escrita do passado entre monges e leigos: Portugal – séculos XIV e XV

دانلود کتاب The Effects of Bilingualism on Non-Linguistic Cognition: A Historic Perspective