Książka Numerical Validation in Current Hardware Architectures Annie A.M. Cuyt

Numerical Validation in Current Hardware Architectures

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Nume...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2009
strony
263
EAN
9783642015908
ISBN
3642015905
Enbook ID
01649712
Waga
427
Wymiary
155 x 235 x 16

Pełny opis

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.

Możesz być zainteresowany

290.21
129.96
197.82
25.50

How The First World War Began

Edward E. McCullough
185.94

NYPD Red

James Patterson
34.65

True Compass

Edward M. Kennedy
90.43
41.27

20,000 Cows!

Alex Cheddar
34.65
87.32

The Sea People

Captivating History
77.00

Mosaic of Atonement

Joshua M. McNall
119.94

Klienci, którzy kupili tę książkę, kupili również

173.68

Hardware Hacker

Andrew Bunnie Huang
63.57

Hardware Malware

Adrian Dabrowski
137.46

Pro Bash

Jayant Varma
170.56
71.84
83.43

Devatero pohádek

Arnošt Goldflam; Josef Čapek
31.73

Gedichte

Johann W. von Goethe
31.73

Uspávanka pre obesenca

Hubert Klimko-Dobrzaniecki
23.94
218.17

DIE SUPERMILF

Verona Pooth
78.46

The Witcher

Miki Montllo
53.83

Galaxien

Roger J. Tayler
218.17