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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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.69 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Efficient Linux at the Command Line Daniel J. Barrett / Book Paperback
common.buy 42.28 €
Arduino: Step-By-Step Guide to Master Arduino Hardware and Software Mark Torvalds / Book Paperback
common.buy 14.26 €
Hardware Hacker Andrew Bunnie Huang / Book Paperback
common.buy 15.47 €
Hardware Malware Adrian Dabrowski / Book Paperback
common.buy 33.48 €
Linux Command Line: Getting Started with Bash and Shell Scripting Travis Booth / Book Paperback
common.buy 19.32 €
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.35 €
Command Line Kung Fu: Bash Scripting Tricks, Linux Shell Programming Tips, and Bash One-liners Jason Cannon / Book Paperback
common.buy 14.86 €
Linux for Beginners: An Introduction to the Linux Operating System and Command Line Jason Cannon / Book Paperback
common.buy 23.87 €
Pro Bash Jayant Varma / Book Paperback
common.buy 41.47 €
Essential Computer Hardware Second Edition Wilson Kevin Wilson / Book Paperback
common.buy 17.49 €
Unix And Linux System Administration Handbook Rob Botwright / Book Paperback
common.buy 39.25 €
Exploring Computer Hardware Kevin Wilson / Book Paperback
common.buy 20.33 €
Devatero pohádek Arnošt Goldflam; Josef Čapek / Audio Audio CD
common.buy 8.19 €
Stiefel Wandkarte Großformat Deutschland, Österreich und Schweiz, Postleitzahlen- und Organisationskarte, ohne Metallstäbe / Printed items Map
common.buy 16.18 €
Gedichte Johann W. von Goethe / Book Paperback
common.buy 7.78 €
Roger Waters: The Lockdown Sessions LP Roger Waters Audio Audio vinyl
common.buy 27.61 €
Kuniec swiata Bazyliszki fraszki i inne Andrzej Galowicz / Book Paperback
common.buy 8.08 €
Uspávanka pre obesenca Hubert Klimko-Dobrzaniecki / Book Paperback
common.buy 5.76 €
Neurotraumatologie F. Amelung / Book Paperback
common.buy 53.11 €
Coming soon
DIE SUPERMILF Verona Pooth / Book Paperback
common.buy 19.11 €
The Witcher Miki Montllo / Book Paperback
common.buy 13.14 €
O Impacto da Cirurgia Bariátrica sob a Perspectiva dos Cônj Masculinos Flávia Bittar Arantes / Book Paperback
common.buy 44.51 €
Bastel mich weg! - 37 Bastelprojekte zum sofort Loslegen Susanne Pypke / Book Paperback
common.buy 11.02 €
Galaxien Roger J. Tayler / Book Paperback
common.buy 53.11 €

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.61 €
Colorist Palette Reference Book: Test and Chart Your Favorite Color Combinations Ligia Ortega / Book Paperback
common.buy 8.59 €
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.58 €
Laws and Ordinances of New Netherland, 1638-1674. Edmund Bailey O'Callaghan / Book Paperback
common.buy 31.66 €
The Adventures of a Dog, and a Good Dog Too Alfred Elwes / Book Paperback
common.buy 8.59 €
New Approaches to Neo-Kantianism Nicolas de Warren / Book Paperback
common.buy 48.15 €
Sonia's Book Of Short Stories K P Lee / Book Paperback
common.buy 8.59 €
Society for American Sign Language Journal Jody H. Cripps / Book Paperback
common.buy 19.42 €
Coming soon
Soft Skills for Employability HOPWOOD / Book Paperback
common.buy 34.80 €
Learnings from the Long View Peter Schwartz / Book Paperback
common.buy 6.16 €
-Seabee Book- Southeast Asia: Building The Bases The History Of Construction In Southeast Asia: Vietnam Construction Richard Tregaskis / Book Paperback
common.buy 19.32 €
How The First World War Began Edward E. McCullough / Book Hardback
common.buy 45.22 €
NYPD Red James Patterson / Book Paperback
common.buy 8.39 €
True Compass Edward M. Kennedy / Book Paperback
common.buy 21.95 €
The Complete Works of Friedrich Nietzsche: The First Complete and Authorized English Translation Oscar Ludwig Levy / Book Hardback
common.buy 36.41 €
Father, Mother, Child Marcus Seibert / Audiobook MP3
common.buy 10.11 €
Top
20,000 Cows! Alex Cheddar / Book Paperback
common.buy 11.32 €
How to Read Literature Like a Professor 3rd Edition FOSTER THOMAS C / Book Paperback
common.buy 15.77 €
Untitled KW Nonfiction Psaki / Book Hardback
common.buy 21.24 €
The Sea People Captivating History / Book Hardback
common.buy 18.71 €
The Wonderful Wizard of Oz Baum / Audio Audio CD
common.buy 25.99 €
Strategy and Geopolitics: Understanding Global Complexity in a Turbulent World Rosenberg / Book Paperback
common.buy 29.23 €
The Ionian Islands in the Year 1863 David Thomas Ansted / Book Paperback
common.buy 30.75 €
Mosaic of Atonement Joshua M. McNall / Book Paperback
common.buy 29.13 €

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