کتاب الکترونیکی

اجرای قابل اعتماد الگوریتم های اعداد واقعی نظریه و عمل، سمینار بین المللی قلعه داگستول، آلمان، 8-13 ژانویه 2006 مقالات تجدید نظر شده

Reliable implementation of real number algorithms theory and practice, international seminar Dagstuhl Castle, Germany, January 8-13, 2006 revised papers

دانلود کتاب Reliable implementation of real number algorithms theory and practice, international seminar Dagstuhl Castle, Germany, January 8-13, 2006 revised papers (به فارسی: اجرای قابل اعتماد الگوریتم های اعداد واقعی نظریه و عمل، سمینار بین المللی قلعه داگستول، آلمان، 8-13 ژانویه 2006 مقالات تجدید نظر شده) نوشته شده توسط «Peter Hertling – Christoph M. Hoffmann – Wolfram Luther – Nathalie Revol»


اطلاعات کتاب اجرای قابل اعتماد الگوریتم های اعداد واقعی نظریه و عمل، سمینار بین المللی قلعه داگستول، آلمان، 8-13 ژانویه 2006 مقالات تجدید نظر شده

موضوع اصلی: الگوریتم ها و ساختارهای داده

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Peter Hertling – Christoph M. Hoffmann – Wolfram Luther – Nathalie Revol

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 247

حجم کتاب: 6 مگابایت

کد کتاب: 3540855203 , 9783540855200

نوبت چاپ: 1

توضیحات کتاب اجرای قابل اعتماد الگوریتم های اعداد واقعی نظریه و عمل، سمینار بین المللی قلعه داگستول، آلمان، 8-13 ژانویه 2006 مقالات تجدید نظر شده

این کتاب شامل مقالات تجدید نظر شده سمینار بین المللی در مورد پیاده سازی قابل اعتماد الگوریتم های اعداد واقعی است که در قلعه داگستول، آلمان، در ژانویه 2006 برگزار شد.

این سمینار برای تحریک تبادل نظر بین جوامع مختلف که با مشکل پیاده سازی مطمئن الگوریتم های اعداد واقعی سروکار دارند. موضوعات شامل اثبات های رسمی، کتابخانه های نرم افزار، سیستم ها و پلت فرم ها، و همچنین هندسه محاسباتی و مدل سازی جامد بود.


This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006.

The Seminar was intended to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.

دانلود کتاب «اجرای قابل اعتماد الگوریتم های اعداد واقعی نظریه و عمل، سمینار بین المللی قلعه داگستول، آلمان، 8-13 ژانویه 2006 مقالات تجدید نظر شده»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.