Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Numerical Validation in Current Hardware Architectures

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

Language EnglishEnglish
Book Paperback
Book Numerical Validation in Current Hardware Architectures Annie A.M. Cuyt
Libristo code: 01649712
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2009
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Nume... Full description
? points 125 b
51.68 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Arduino: Step-By-Step Guide to Master Arduino Hardware and Software Mark Torvalds / Book Paperback
common.buy 14.25 €
Efficient Linux at the Command Line Daniel J. Barrett / Book Paperback
common.buy 42.27 €
Pro Bash Jayant Varma / Book Paperback
common.buy 41.46 €
Unix And Linux System Administration Handbook Rob Botwright / Book Paperback
common.buy 39.24 €
Linux for Beginners: An Introduction to the Linux Operating System and Command Line Jason Cannon / Book Paperback
common.buy 23.86 €
Command Line Kung Fu: Bash Scripting Tricks, Linux Shell Programming Tips, and Bash One-liners Jason Cannon / Book Paperback
common.buy 14.86 €
Affordable
Hacking University: Learn Python Computer Programming from Scratch & Precisely Learn How The Linux Operating Command Line Works 2 Manuscri Isaac D Cody / Book Paperback
common.buy 13.34 €
Hardware Hacker Andrew Bunnie Huang / Book Paperback
common.buy 15.47 €
Essential Computer Hardware Second Edition Wilson Kevin Wilson / Book Paperback
common.buy 17.49 €
Linux Command Line: Getting Started with Bash and Shell Scripting Travis Booth / Book Paperback
common.buy 19.31 €
Hardware Malware Adrian Dabrowski / Book Paperback
common.buy 33.47 €
Exploring Computer Hardware Kevin Wilson / Book Paperback
common.buy 20.32 €
Devatero pohádek Arnošt Goldflam; Josef Čapek / Audio Audio CD
common.buy 8.18 €
DIE SUPERMILF Verona Pooth / Book Paperback
common.buy 19.11 €
O Impacto da Cirurgia Bariátrica sob a Perspectiva dos Cônj Masculinos Flávia Bittar Arantes / Book Paperback
common.buy 44.50 €
AMIGOS SIN DERECHO A ROCE GOLD / Book Book
common.buy 12.63 €
Roger Waters: The Lockdown Sessions LP Roger Waters Audio Audio vinyl
common.buy 27.61 €
The Witcher Miki Montllo / Book Paperback
common.buy 13.14 €
Bastel mich weg! - 37 Bastelprojekte zum sofort Loslegen Susanne Pypke / Book Paperback
common.buy 11.02 €
Discurso y verdad MICHEL FOUCAULT / Book Paperback
common.buy 29.63 €
Briefe an einen jungen Dichter Rainer Maria Rilke / Book Paperback
common.buy 9.09 €
Kuniec swiata Bazyliszki fraszki i inne Andrzej Galowicz / Book Paperback
common.buy 8.08 €
Povstání Herobrina 8 Zapomenutý restart S.D. Stuart / Book Paperback
common.buy 4.74 €
Liebe und Leid, Kampf und Grimm Irmgard Rüsenberg / Book Hardback
common.buy 92.25 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Numerical Validation in Current Hardware Architectures
Author Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 263
EAN 9783642015908
ISBN 3642015905
Libristo code 01649712
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 427
Dimensions 155 x 235 x 16

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Lectures on Gaussian Processes Mikhail Lifshits / Book Paperback
common.buy 70.60 €
True Compass Edward M. Kennedy / Book Paperback
common.buy 21.94 €
Sonia's Book Of Short Stories K P Lee / Book Paperback
common.buy 8.59 €
Laws and Ordinances of New Netherland, 1638-1674. Edmund Bailey O'Callaghan / Book Paperback
common.buy 31.65 €
Coming soon
Soft Skills for Employability HOPWOOD / Book Paperback
common.buy 34.79 €
Strategy and Geopolitics: Understanding Global Complexity in a Turbulent World Rosenberg / Book Paperback
common.buy 29.22 €
The Wonderful Wizard of Oz Baum / Audio Audio CD
common.buy 25.99 €
Learnings from the Long View Peter Schwartz / Book Paperback
common.buy 6.16 €
The Adventures of a Dog, and a Good Dog Too Alfred Elwes / Book Paperback
common.buy 8.59 €
-Seabee Book- Southeast Asia: Building The Bases The History Of Construction In Southeast Asia: Vietnam Construction Richard Tregaskis / Book Paperback
common.buy 19.31 €
Death at an English Wedding SARA ROSETT / Book Paperback
common.buy 14.25 €
Oxford Reading Tree inFact: Oxford Level 3: Class Pack of 36 Becca Heddle / Book Paperback
common.buy 230.12 €
How The First World War Began Edward E. McCullough / Book Hardback
common.buy 45.21 €
Untitled KW Nonfiction Psaki / Book Hardback
common.buy 21.23 €
NYPD Red James Patterson / Book Paperback
common.buy 8.39 €
New Approaches to Neo-Kantianism Nicolas de Warren / Book Paperback
common.buy 48.14 €
Funny Animals - 100 coloring pages for kids: Coloring Book for GIRLS & BOYS Rod Woods / Book Paperback
common.buy 8.08 €
Colorist Palette Reference Book: Test and Chart Your Favorite Color Combinations Ligia Ortega / Book Paperback
common.buy 8.59 €
The Sea People Captivating History / Book Hardback
common.buy 18.70 €
Mr. Pope's Literary Correspondence. Volume the Fourth. with Letters, &c. To, and From, Mr. Addison. Bishop Atterbury. ... the Second Edition. of 4; Vo Alexander Pope / Book Hardback
common.buy 33.57 €
The Complete Works of Friedrich Nietzsche: The First Complete and Authorized English Translation Oscar Ludwig Levy / Book Hardback
common.buy 36.41 €
Mosaic of Atonement Joshua M. McNall / Book Paperback
common.buy 29.12 €
Trick or Treat in Washington, D.C.: A Halloween Adventure Through the Capital City Eric James / Book Hardback
common.buy 9.40 €
Society for American Sign Language Journal Jody H. Cripps / Book Paperback
common.buy 19.41 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?