مشخصات کتاب

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

ویرایش: [1 ed.] 
نویسندگان: Frank S. de Boer,  Mohammad Mahdi Jaghoori (auth.),  Paul Gastin,  François Laroussinie (eds.)  
سری: Lecture Notes in Computer Science 6269 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642153754, 3642153755 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 600
[613] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 Mb 

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

در صورت تبدیل فایل کتاب CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب CONCUR 2010 - تئوری همزمانی: بیست و یکمین کنفرانس بین المللی ، CONCUR 2010 ، پاریس ، فرانسه ، 31 آگوست - 3 سپتامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب CONCUR 2010 - تئوری همزمانی: بیست و یکمین کنفرانس بین المللی ، CONCUR 2010 ، پاریس ، فرانسه ، 31 آگوست - 3 سپتامبر 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری بیستمین کنفرانس بین المللی تئوری همزمانی، CONCUR 2010، که در پاریس، فرانسه، 31 اوت تا 3 سپتامبر 2010 برگزار شد، تشکیل می شود. موضوعات عبارتند از: - مدل های اساسی همزمانی مانند ماشین های انتزاعی، مدل های نظری حوزه، مدل های نظری بازی، جبرهای فرآیندی و شبکه های پتری. - منطق های همزمانی مانند منطق های مدال، منطق های احتمالی و تصادفی، منطق های زمانی، و منطق های منابع. - مدل‌های سیستم‌های تخصصی مانند سیستم‌های الهام‌گرفته از زیست‌شناسی، مدارها، سیستم‌های ترکیبی، سیستم‌های سیار و مشارکتی، پردازنده‌های چند هسته‌ای، سیستم‌های احتمالی، سیستم‌های بلادرنگ، محاسبات سرویس‌گرا و سیستم‌های سنکرون. - تکنیک های تأیید و تجزیه و تحلیل برای سیستم های همزمان مانند تفسیر انتزاعی، بررسی اتمی، بررسی مدل، تشخیص نژاد، بررسی پیش سفارش و بررسی معادل و تأیید زمان اجرا.

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

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics. - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.

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

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

دانلود کتاب The Art of Worldly Wisdom

دانلود کتاب The Origins of Life: From the Birth of Life to the Origin of Language

دانلود کتاب Total Quality Management for Engineers

دانلود کتاب Boogers, witches, and haints: Appalachian ghost stories

دانلود کتاب Widows and Orphans First : The Family Economy and Social Welfare Policy, 1880-1939