Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 19766 HUF
Availability: InStock
Author: Annie A.M. Cuyt
ISBN: 9783642015908

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

Language

English

Book Paperback

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

Libristo code: 01649712

136 b

19 766 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Arduino: Step-By-Step Guide to Master Arduino Hardware and Software Mark Torvalds

Paperback

5 444 Ft

Efficient Linux at the Command Line Daniel J. Barrett

Paperback

16 360 Ft

Pro Bash Jayant Varma

Paperback

16 070 Ft

Unix And Linux System Administration Handbook Rob Botwright

Paperback

14 877 Ft

Linux for Beginners: An Introduction to the Linux Operating System and Command Line Jason Cannon

Paperback

9 084 Ft

Command Line Kung Fu: Bash Scripting Tricks, Linux Shell Programming Tips, and Bash One-liners Jason Cannon

Paperback

5 646 Ft

Hacking University: Learn Python Computer Programming from Scratch & Precisely Learn How The Linux Operating Command Line Works 2 Manuscri Isaac D Cody

Paperback

4 700 Ft

Hardware Hacker Andrew Bunnie Huang

Paperback

5 820 Ft

Essential Computer Hardware Second Edition Wilson Kevin Wilson

Paperback

6 638 Ft

Linux Command Line: Getting Started with Bash and Shell Scripting Travis Booth

Paperback

7 367 Ft

Hardware Malware Adrian Dabrowski

Paperback

12 825 Ft

Exploring Computer Hardware Kevin Wilson

Paperback

7 702 Ft

Devatero pohádek Arnošt Goldflam; Josef Čapek

Audio CD

2 883 Ft

DIE SUPERMILF Verona Pooth

Paperback

7 381 Ft

O Impacto da Cirurgia Bariátrica sob a Perspectiva dos Cônj Masculinos Flávia Bittar Arantes

Paperback

17 149 Ft

AMIGOS SIN DERECHO A ROCE GOLD

Book

4 471 Ft

Roger Waters: The Lockdown Sessions LP Roger Waters Audio

Audio vinyl

10 245 Ft

The Witcher Miki Montllo

Paperback

5 068 Ft

Bastel mich weg! - 37 Bastelprojekte zum sofort Loslegen Susanne Pypke

Paperback

4 264 Ft

Discurso y verdad MICHEL FOUCAULT

Paperback

10 438 Ft

Briefe an einen jungen Dichter Rainer Maria Rilke

Paperback

3 521 Ft

Kuniec swiata Bazyliszki fraszki i inne Andrzej Galowicz

Paperback

2 869 Ft

Povstání Herobrina 8 Zapomenutý restart S.D. Stuart

Paperback

1 662 Ft

Liebe und Leid, Kampf und Grimm Irmgard Rüsenberg

Hardback

34 133 Ft

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

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

You might also be interested in

Lectures on Gaussian Processes Mikhail Lifshits

Paperback

27 073 Ft

True Compass Edward M. Kennedy

Paperback

8 441 Ft

Sonia's Book Of Short Stories K P Lee

Paperback

3 259 Ft

Laws and Ordinances of New Netherland, 1638-1674. Edmund Bailey O'Callaghan

Paperback

12 008 Ft

Soft Skills for Employability HOPWOOD

Paperback

13 188 Ft

Strategy and Geopolitics: Understanding Global Complexity in a Turbulent World Rosenberg

Paperback

11 062 Ft

The Wonderful Wizard of Oz Baum

Audio CD

10 089 Ft

Learnings from the Long View Peter Schwartz

Paperback

2 359 Ft

The Adventures of a Dog, and a Good Dog Too Alfred Elwes

Paperback

3 259 Ft

-Seabee Book- Southeast Asia: Building The Bases The History Of Construction In Southeast Asia: Vietnam Construction Richard Tregaskis

Paperback

7 367 Ft

Death at an English Wedding SARA ROSETT

Paperback

5 545 Ft

Oxford Reading Tree inFact: Oxford Level 3: Class Pack of 36 Becca Heddle

Paperback

81 091 Ft

Untitled KW Nonfiction Psaki

Hardback

7 978 Ft

NYPD Red James Patterson

Paperback

3 259 Ft

New Approaches to Neo-Kantianism Nicolas de Warren

Paperback

18 196 Ft

Funny Animals - 100 coloring pages for kids: Coloring Book for GIRLS & BOYS Rod Woods

Paperback

3 085 Ft

Colorist Palette Reference Book: Test and Chart Your Favorite Color Combinations Ligia Ortega

Paperback

3 259 Ft

The Sea People Captivating History

Hardback

7 248 Ft

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

Hardback

12 738 Ft