Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Nume...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2009
Stránek
263
EAN
9783642015908
ISBN
3642015905
Enbook ID
01649712
Hmotnost
427
Rozměry
155 x 235 x 16

Kompletní popis

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.

Mohlo by vás zajímat

1 566
706
1 077
138

How The First World War Began

Edward E. McCullough
1 000

NYPD Red

James Patterson
185

True Compass

Edward M. Kennedy
486
237

20,000 Cows!

Alex Cheddar
234

The Sea People

Captivating History
412
690

Mosaic of Atonement

Joshua M. McNall
645

Zákaznicí kteří koupili tuto knihu koupili také

867

Hardware Hacker

Andrew Bunnie Huang
317

Hardware Malware

Adrian Dabrowski
741

Pro Bash

Jayant Varma
913
517

Devatero pohádek

Arnošt Goldflam; Josef Čapek
172

Gedichte

Johann W. von Goethe
162

Uspávanka pre obesenca

Hubert Klimko-Dobrzaniecki
124
1 178

DIE SUPERMILF

Verona Pooth
421

The Witcher

Miki Montllo
289

Galaxien

Roger J. Tayler
1 178