Mohlo by se vám také líbit

Více informací o knize Numerical Validation in Current Hardware Architectures

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.§The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Numerical Validation in Current Hardware Architectures
• Podnázev: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
• Autor: Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 263
• EAN: 9783642015908
• ISBN: 3642015905
• ID: 01649712
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 427 g
• Rozměry: 235 × 155 × 16 mm
• Datum vydání: 22. April 2009

Oblíbené z jiného soudku

---

---

---