ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

دانلود کتاب ارزیابی کمی سیستم ها: هفدهمین کنفرانس بین المللی ، QEST 2020 ، وین ، اتریش ، 31 آگوست - 3 سپتامبر 2020 ، مجموعه مقالات

Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

مشخصات کتاب

Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

ویرایش: [1st ed.] 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 12289 
ISBN (شابک) : 9783030598532, 9783030598549 
ناشر: Springer International Publishing;Springer 
سال نشر: 2020 
تعداد صفحات: XI, 298
[300] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 Mb

قیمت کتاب (تومان) : 68,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 2


در صورت تبدیل فایل کتاب Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



این کتاب مجموعه مقالات هفدهمین کنفرانس بین‌المللی سیستم‌های ارزیابی کمی، QEST 2020 است که در وین، اتریش، در ماه اوت/سپتامبر 2020 برگزار شد.
12 مقاله کامل ارائه‌شده به همراه 7 مقاله کوتاه با دقت بررسی شدند و انتخاب از 42 ارسالی این مقالات موضوعاتی مانند معیارهای کلاسیک شامل عملکرد و قابلیت اطمینان، کمی کردن ویژگی‌هایی که به طور کلاسیک کیفی هستند، مانند ایمنی، صحت و امنیت و همچنین مطالعات تحلیلی، تنوع در فرمالیسم‌های مدل و روش‌شناسی بکار گرفته شده، و توسعه فرمالیسم‌های جدید و متدولوژی ها.


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

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.
The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد