دانلود کتاب Validation of Stochastic Systems: A Guide to Current Research (به فارسی: اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی) نوشته شده توسط «Ana Sokolova – Erik P. de Vink (auth.) – Christel Baier – Boudewijn R. Haverkort – Holger Hermanns – Joost-Pieter Katoen – Markus Siegle (eds.)»
اطلاعات کتاب اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی
موضوع اصلی: احتمال
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Ana Sokolova – Erik P. de Vink (auth.) – Christel Baier – Boudewijn R. Haverkort – Holger Hermanns – Joost-Pieter Katoen – Markus Siegle (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 470
حجم کتاب: 6 مگابایت
کد کتاب: 3540222650 , 9783540222651 , 9783540246114
نوبت چاپ: 1
توضیحات کتاب اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی
این جلد آموزشی مقدمه ای منسجم و متعادل برای اعتبارسنجی سیستم های تصادفی ارائه می دهد. این بر اساس یک سمینار تحقیقاتی GI/Dagstuhl است. با نظارت سازمان‌دهندگان سمینار و ویراستاران جلد، محققان مستقر در این منطقه و همچنین دانشجویان فارغ‌التحصیل مجموعه‌ای از مقالات را گرد هم می‌آورند که به خوبی تمام موضوعات مرتبط در آن منطقه را پوشش می‌دهد.
سخنرانی‌ها در بخش‌های موضوعی در مورد: مدل‌سازی سیستم‌های تصادفی، بررسی مدل سیستم‌های تصادفی، نشان‌دهنده فضاهای حالت بزرگ، تأیید قیاسی سیستم‌های تصادفی.
This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area.
The lectures are organized in topical sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems.
دانلود کتاب «اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.