دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
دانلود کتاب CONCUR 2010 - تئوری همزمانی: بیست و یکمین کنفرانس بین المللی ، CONCUR 2010 ، پاریس ، فرانسه ، 31 آگوست - 3 سپتامبر 2010. مجموعه مقالات
مشخصات کتاب
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
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب 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.
