دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
دانلود کتاب تأیید نرم افزار عددی: دهمین کارگاه بین المللی، NSV 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مجموعه مقالات
مشخصات کتاب
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ویرایش: نویسندگان: Abate. Alessandro, Boldo. Sylvie سری: SpringerLink : Bücher; Lecture notes in computer science 10381 ISBN (شابک) : 9783319635019, 9783319635002 ناشر: سال نشر: 2017 تعداد صفحات: 128 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 58,000
کلمات کلیدی مربوط به کتاب تأیید نرم افزار عددی: دهمین کارگاه بین المللی، NSV 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مجموعه مقالات: علوم کامپیوتر، مهندسی نرم افزار، الگوریتم ها، منطق کامپیوتر، منطق ریاضی، شبیه سازی کامپیوتر، علوم کامپیوتر، منطق و معانی برنامه ها، مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید نرم افزار عددی: دهمین کارگاه بین المللی، NSV 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید نرم افزار عددی: دهمین کارگاه بین المللی، NSV 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مجموعه مقالات
این کتاب شامل مجموعه مقالات دهمین کارگاه بین‌المللی تأیید نرم‌افزار عددی، NSV 2017، در هایدلبرگ، آلمان، در ژوئیه 2017 است - همراه با کارگاه بین‌المللی روش‌های رسمی برای مهندسی سیستم‌های دقیق سیستم‌های فیزیکی-سایبری، RISE4CPS 2017، یک رویداد یک بار، فقط دعوت شده. 3 مقاله کامل ارائه شده همراه با 3 مقاله کوتاه، 2 چکیده کلیدی و 4 چکیده دعوت شده با دقت بررسی و از بین ارسال های متعدد انتخاب شدند. کارگاه NSV 2017 به توسعه منطق اختصاص داده شده است. و تکنیک های ریاضی برای استدلال در مورد برنامه ریزی و قابلیت اطمینان.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
فهرست مطالب
Front Matter ....Pages I-XXI
Front Matter ....Pages 1-1
Verified Computations Using Taylor Models and Their Applications (Kyoko Makino, Martin Berz)....Pages 3-13
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic (Nathalie Revol)....Pages 14-21
Front Matter ....Pages 23-23
Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers (Arthur Blot, Jean-Michel Muller, Laurent Théry)....Pages 25-37
Sound Numerical Computations in Abstract Acceleration (Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening)....Pages 38-60
Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster (François Févotte, Bruno Lathuilière)....Pages 61-80
Front Matter ....Pages 81-81
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees (Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar)....Pages 83-89
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models (Martin Berz, Kyoko Makino)....Pages 90-97
A Study of Model-Order Reduction Techniques for Verification (Yi Chou, Xin Chen, Sriram Sankaranarayanan)....Pages 98-113
Back Matter ....Pages 115-115
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Clinical management of chronic obstructive pulmonary disease
دانلود کتاب Geografia Evropis dia tin B' taxin ton Gimnasion[1955, 7th edition]
دانلود کتاب The Man Who Found Time: James Hutton and the Discovery of the Earth's Antiquity
دانلود کتاب Brian's Hunt
