دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
دانلود کتاب تأیید نرم افزار عددی: نهمین کارگاه بین المللی، NSV 2016، تورنتو، ON، کانادا، 17-18 جولای، 2016، مقالات منتخب اصلاح شده
مشخصات کتاب
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ویرایش: 1 نویسندگان: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.) سری: Lecture Notes in Computer Science 10152 ISBN (شابک) : 9783319542911, 9783319542928 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 114 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب تأیید نرم افزار عددی: نهمین کارگاه بین المللی، NSV 2016، تورنتو، ON، کانادا، 17-18 جولای، 2016، مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق ریاضی و زبان های رسمی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید نرم افزار عددی: نهمین کارگاه بین المللی، NSV 2016، تورنتو، ON، کانادا، 17-18 جولای، 2016، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید نرم افزار عددی: نهمین کارگاه بین المللی، NSV 2016، تورنتو، ON، کانادا، 17-18 جولای، 2016، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات داوری نهمین کارگاه بین‌المللی تأیید نرم‌افزار عددی، NSV 2016 است که در ژوئیه 2011 در تورنتو، ON، کانادا برگزار شد - همراه با CAV 2016، بیست و هشتمین کنفرانس بین‌المللی تأیید به کمک رایانه.
کارگاه NSV به توسعه تکنیک های منطقی و ریاضی برای استدلال در مورد برنامه ریزی و قابلیت اطمینان اختصاص دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.
The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
فهرست مطالب
Front Matter....Pages I-VII
Verification of Networks of Smart Energy Systems over the Cloud....Pages 1-14
Proving Properties on PWA Systems Using Copositive and Semidefinite Programming....Pages 15-30
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory....Pages 31-46
Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest....Pages 47-51
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon....Pages 52-62
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis....Pages 63-77
Falsification of Dynamical Systems – An Industrial Perspective....Pages 78-84
Model Based Automatic Code Generation for Nonlinear Model Predictive Control....Pages 85-95
Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method....Pages 96-104
Back Matter....Pages 105-107
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Experiential Learning Toolkit: Blending Practice with Concepts
دانلود کتاب Z39.50 : a premier on the protocol
دانلود کتاب International Investment Agreements in Services (Unctad Series on International Investment Policies for Devel)
دانلود کتاب A Fala tukano dos Yepâ-masa: Tomo II - Dicionário
