دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
دانلود کتاب ارزیابی کمی سیستم ها: شانزدهمین کنفرانس بین المللی، QEST 2019، گلاسکو، انگلستان، 10 تا 12 سپتامبر 2019، مجموعه مقالات
مشخصات کتاب
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: David Parker. Verena Wolf
سری: Lecture Notes in Computer Science 11785
ISBN (شابک) : 9783030302801, 9783030302818
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XI, 361
[361]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ارزیابی کمی سیستم ها: شانزدهمین کنفرانس بین المللی، QEST 2019، گلاسکو، انگلستان، 10 تا 12 سپتامبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ارزیابی کمی سیستم ها: شانزدهمین کنفرانس بین المللی، QEST 2019، گلاسکو، انگلستان، 10 تا 12 سپتامبر 2019، مجموعه مقالات
این کتاب مجموعه مقالات شانزدهمین کنفرانس بین‌المللی سیستم‌های
ارزیابی کمی، QEST 2019 است که در گلاسکو، انگلستان، در سپتامبر
2019 برگزار شد.
17 مقاله کامل ارائه‌شده همراه با 2 مقاله کوتاه با دقت بررسی
شدند. و از بین 40 مورد ارسالی انتخاب شد. مقالات موضوعاتی در
زمینه تأیید احتمالی را پوشش می دهد. یادگیری و تایید؛ سیستم
های هیبریدی؛ امنیت؛ مدلسازی و انتزاع احتمالی; و برنامه ها و
ابزارها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 16th
International Conference on Quantitative Evaluation Systems,
QEST 2019, held in Glasgow, UK, in September 2019.
The 17 full papers presented together with 2 short papers
were carefully reviewed and selected from 40 submissions. The
papers cover topics in the field of Probabilistic
Verification; Learning and Verification; Hybrid Systems;
Security; Probabilistic Modelling and Abstraction; and
Applications and Tools.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Konzept zur Analyse der Lokomotion auf dem Laufband bei inkompletter Querschnittlahmung mit Verfahren der nichtlinearen German
دانلود کتاب Das Jahrhundert meines Vaters
دانلود کتاب Imagining Arab Womanhood: The Cultural Mythology of Veils, Harems, and Belly Dancers in the U.S.
