دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures
دانلود کتاب بررسی مدل تصادفی. تجزیه و تحلیل دقیق اعتماد به نفس با استفاده از تکنیک های بررسی مدل برای سیستم های تصادفی: مدرسه بین المللی پاییز ، ROCKS 2012 ، Vahrn ، ایتالیا ، 22 تا 26 اکتبر ، 2012 ، سخنرانی های پیشرفته
مشخصات کتاب
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures
ویرایش: 1
نویسندگان: Anne Remke. Mariëlle Stoelinga (eds.)
سری: Lecture Notes in Computer Science 8453 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783662454886, 9783662454893
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 290
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب بررسی مدل تصادفی. تجزیه و تحلیل دقیق اعتماد به نفس با استفاده از تکنیک های بررسی مدل برای سیستم های تصادفی: مدرسه بین المللی پاییز ، ROCKS 2012 ، Vahrn ، ایتالیا ، 22 تا 26 اکتبر ، 2012 ، سخنرانی های پیشرفته: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، احتمالات و آمار در علوم کامپیوتر، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی مدل تصادفی. تجزیه و تحلیل دقیق اعتماد به نفس با استفاده از تکنیک های بررسی مدل برای سیستم های تصادفی: مدرسه بین المللی پاییز ، ROCKS 2012 ، Vahrn ، ایتالیا ، 22 تا 26 اکتبر ، 2012 ، سخنرانی های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بررسی مدل تصادفی. تجزیه و تحلیل دقیق اعتماد به نفس با استفاده از تکنیک های بررسی مدل برای سیستم های تصادفی: مدرسه بین المللی پاییز ، ROCKS 2012 ، Vahrn ، ایتالیا ، 22 تا 26 اکتبر ، 2012 ، سخنرانی های پیشرفته
استفاده از مدل‌های تصادفی در علوم کامپیوتر گسترده است، به عنوان مثال در مدل‌سازی عملکرد، تجزیه و تحلیل الگوریتم‌های تصادفی‌سازی شده و پروتکل‌های ارتباطی که ساختار اینترنت را تشکیل می‌دهند. بررسی مدل تصادفی یک زمینه مهم در تحلیل تصادفی است. این به دلیل روش های قدرتمند و سیستماتیک خود برای مدل سازی و تجزیه و تحلیل سیستم های تصادفی به سرعت محبوبیت پیدا کرده است. این کتاب 7 سخنرانی آموزشی ارائه شده توسط دانشمندان برجسته در مدرسه پاییز ROCKS در مورد بررسی مدل تصادفی، که در Vahrn، ایتالیا، در اکتبر 2012 برگزار شد، ارائه می‌کند. پیشرفته در این زمینه، حول مناطق درختی مدل‌های تصادفی، تکنیک‌های انتزاع و بررسی مدل‌های تصادفی متمرکز شده است.
توضیحاتی درمورد کتاب به خارجی
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.
فهرست مطالب
Front Matter....Pages -
Analyzing Oscillatory Behavior with Formal Methods....Pages 1-25
A Tutorial on Interactive Markov Chains....Pages 26-66
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems....Pages 67-86
On Abstraction of Probabilistic Systems....Pages 87-116
Computing Behavioral Relations for Probabilistic Concurrent Systems....Pages 117-155
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization....Pages 156-241
Applying Mean-Field Approximation to Continuous Time Markov Chains....Pages 242-280
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب OECD Reviews of Regulatory Refo - OECD
دانلود کتاب Web User 13 January 2011
دانلود کتاب Love, Tanya
دانلود کتاب The Nft Revolution - Real Estate Edition: 2 in 1 practical guide for beginners to create, buy and sell Non-fungible tokens & disruptive projects of virtual land, properties and worlds
