دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
دانلود کتاب تأیید و ارزیابی سیستم های رایانه ای و ارتباطی: دوازدهمین کنفرانس بین المللی ، VECoS 2018 ، گرنوبل ، فرانسه ، 26-28 سپتامبر 2018 ، مجموعه مقالات
مشخصات کتاب
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
ویرایش: [1st ed.] نویسندگان: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez سری: Lecture Notes in Computer Science 11181 ISBN (شابک) : 9783030003586 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: XIV, 219 [223] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 Mb
قیمت کتاب (تومان) : 71,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید و ارزیابی سیستم های رایانه ای و ارتباطی: دوازدهمین کنفرانس بین المللی ، VECoS 2018 ، گرنوبل ، فرانسه ، 26-28 سپتامبر 2018 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید و ارزیابی سیستم های رایانه ای و ارتباطی: دوازدهمین کنفرانس بین المللی ، VECoS 2018 ، گرنوبل ، فرانسه ، 26-28 سپتامبر 2018 ، مجموعه مقالات
این کتاب مجموعه مقالات دوازدهمین کنفرانس بینالمللی راستیآزمایی و ارزیابی سیستمهای رایانهای و ارتباطی (VECoS 2018) است که در گرنوبل، فرانسه، در سپتامبر 2018 برگزار شد.
11 مقاله کامل. در این جلد، همراه با یک چکیده و دو مقاله دعوت شده، به دقت بررسی و از بین 23 مورد ارسالی انتخاب شد.
هدف کنفرانس VECoS گرد هم آوردن محققان و دست اندرکاران در زمینه های راستی آزمایی، کنترل است. ارزیابی عملکرد و قابلیت اطمینان به منظور بحث در مورد وضعیت هنر و چالشها در سیستمهای کامپیوتری و ارتباطی مدرن که در آن ویژگیهای عملکردی و فراعملکردی به شدت به هم مرتبط هستند. بنابراین، انگیزه اصلی VECoS تشویق لقاح متقابل بین روشها، روشها و تکنیکهای مختلف تأیید و ارزیابی رسمی، و بهویژه آنهایی است که برای سیستمهای سختافزاری/نرمافزاری همزمان و توزیعشده توسعه یافتهاند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.
The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions.
The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Complex Systems Design & Management: Proceedings of the Second International Conference on Complex Systems Design & Management CSDM 2011
دانلود کتاب Sapphique
دانلود کتاب Der barbarische Norden: Vorstellungen und Fremdheitskategorien bei Rimbert, Thietmar von Merseburg, Adam von Bremen und Helmold von Bosau
دانلود کتاب Stability and the Industrial Elite in China and the Soviet Union
