Code: 01649712

Numerical Validation in Current Hardware Architectures

Name: Numerical Validation in Current Hardware Architectures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649712
Price: 51.73 EUR
Availability: InStock
Author: Annie A.M. Cuyt
ISBN: 9783642015908

by Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein

Language: English
Binding: Paperback
Number of pages: 263
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
More about this

51.73 €

RRP: 56.02 €

You save 4.29 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Bell Jar
10.52 € -14 %
Buy
Mračne laži
17.51 €
Buy
20,000 Cows!
7.89 € -25 %
Buy
Glass Room
11.03 € -30 %
Buy
Energy Oracle Cards
18.42 € -27 %
Buy
WEIRD
29.96 € -25 %
Buy
Hardware Hacker
14.47 € -26 %
Buy
Cometh the Hour
9.71 € -29 %
Buy
DNA Field and the Law of Resonance
12.75 € -24 %
Buy
The Billion-Dollar Molecule
15.08 € -29 %
Buy
Exploring Computer Hardware
19.33 € -2 %
Buy
How to Read Literature Like a Professor 3rd Edition
14.77 € -25 %
Buy
Three Billy Goats Gruff
10.01 € -24 %
Buy
Gifted Hands, Revised Kids Edition
6.67 € -24 %
Buy
Washington Square
6.57 € -24 %
Buy
Strategy and Geopolitics: Understanding Global Complexity in a Turbulent World
27.94 €
Buy
Neurologic Differential Diagnosis
173.15 €
Buy
Italians
11.03 € -30 %
Buy
Prince of Darkness
18.22 € -25 %
Buy
Skip*Beat!, Vol. 8
7.89 € -25 %
Buy
Complete Taiji Dao
23.28 € -26 %
Buy
Linux for Beginners: An Introduction to the Linux Operating System and Command Line
22.67 € -6 %
Buy
Dance/Movement Therapy for Trauma Survivors
53.05 €
Buy
Essential Computer Hardware Second Edition
16.70 € -1 %
Buy
Command Line Kung Fu: Bash Scripting Tricks, Linux Shell Programming Tips, and Bash One-liners
14.07 € -7 %
Buy
Efficient Linux at the Command Line
39.89 € -24 %
Buy
Devatero pohádek
6.27 € -33 %
Buy
History of the Devil
10.01 € -24 %
Buy
Just the Arguments - 100 of the Most Important Arguments in Western Philosophy
23.48 € -9 %
Buy
Anyone You Want Me to Be
20.75 € -17 %
Buy
Hardware Malware
33.51 € -9 %
Buy
MG Midget MMark III Handbook
13.56 € -14 %
Buy
Great Days of Sunderland
20.14 € -25 %
Buy
Swing Standards
33.10 €
Buy
Arduino: Step-By-Step Guide to Master Arduino Hardware and Software
13.56 € -7 %
Buy
Hacking University: Learn Python Computer Programming from Scratch & Precisely Learn How The Linux Operating Command Line Works 2 Manuscri
17.31 € -12 %
Buy
Mosaic of Atonement
27.53 € -17 %
Buy
NYPD Red
7.89 € -25 %
Buy
Oxford Reading Tree inFact: Oxford Level 3: Class Pack of 36
230.46 €
Buy
True Compass
20.75 € -17 %
Buy
Quine and His Place in History
109.45 €
Buy
Winning in Emerging Markets
27.23 € -25 %
Buy
Machine Learning Support for Fault Diagnosis of System-on-Chip
85.76 € -9 %
Buy
Unix And Linux System Administration Handbook
37.36 € -1 %
Buy
Countdown to Christmas
14.77 € -25 %
Buy
Music of Life
46.37 €
Buy
The Tournament of Heirs
17.51 € -2 %
Buy
Untitled KW Nonfiction
21.25 € -25 %
Buy
Colorist Palette Reference Book: Test and Chart Your Favorite Color Combinations
8.09 € -7 %
Buy
Learnings from the Long View
5.86 € -7 %
Buy
Introduction to Empirical Legal Research
44.85 € -4 %
Buy
Linux Command Line: Getting Started with Bash and Shell Scripting
18.32 € -7 %
Buy
The Wonderful Wizard of Oz
24.39 € -25 %
Buy
General Hydrogeology
56.29 €
Buy
Unrestricted Warfare
19.53 € -9 %
Buy
New Approaches to Neo-Kantianism
45.96 €
Buy
Australian Shepherd
21.66 € -25 %
Buy
-Seabee Book- Southeast Asia: Building The Bases The History Of Construction In Southeast Asia: Vietnam Construction
18.32 € -7 %
Buy
The Very Hungry Caterpillar's Christmas 123
7.89 € -25 %
Buy
Berlin
7.69 € -26 %
Buy
Terra Incognita
62.97 €
Buy
Pro Bash
38.87 € -25 %
Buy
After Greenwashing
45.96 €
Buy
Society for American Sign Language Journal
18.22 € -25 %
Buy
Laws and Ordinances of New Netherland, 1638-1674.
30.06 € -2 %
Buy
Cultural History of Postwar Japan
73.91 €
Buy
The Sea People
17.61 € -24 %
Buy
Introducing APEL
278.97 €
Buy
Captive Crown
9.51 €
Buy
Wonderful Visit
25.61 € -2 %
Buy
Matthew Paxton. Edited by the author of John Drayton, etc. [i.e. William Wilson, Minister at Etal.]
36.44 € -2 %
Buy
Sonia's Book Of Short Stories
8.09 € -7 %
Buy
Death at an English Wedding
13.46 € -24 %
Buy
Women Seeking Shelter
13.36 € -25 %
Buy
Mental Derangements in India
36.44 € -2 %
Buy
The Adventures of a Dog, and a Good Dog Too
8.09 € -7 %
Buy
The Complete Works of Friedrich Nietzsche: The First Complete and Authorized English Translation
34.62 € -2 %
Buy
THE PREVENTION OF SMOKE COMBINED WITH TH
37.36 € -1 %
Buy
Shakespeare Left and Right
165.25 €
Buy
Seven Stages of an Enlightened Teacher
35.74 €
Buy
Little Red Writing Book
10.32 € -1 %
Buy
Wilkie Collins, a Biography.
34.62 € -2 %
Buy
Ecology and management of aquatic vegetation in the Indian subcontinent
216.59 €
Buy
Soft Skills for Employability
35.33 €
Pre-order

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Numerical Validation in Current Hardware Architectures

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

51.73 €

Full title: Numerical Validation in Current Hardware Architectures
Subtitle: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Author: Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein
Language: English
Binding: Paperback
Number of pages: 263
EAN: 9783642015908
ISBN: 3642015905
ID: 01649712
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 427 g
Dimensions: 235 × 155 × 16 mm
Date of publishing: 22. April 2009