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 Post 1 795 Ft Post 1 690 Ft 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: 21072 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

145 b

21 072 Ft

Low in stock at our supplier Shipping in 11-15 days

30-day return policy

Customers also purchased

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

Paperback

5 428 Ft

Efficient Linux at the Command Line Daniel J. Barrett

Paperback

16 312 Ft

Pro Bash Jayant Varma

Paperback

16 024 Ft

Unix And Linux System Administration Handbook Rob Botwright

Paperback

14 834 Ft

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

Paperback

9 058 Ft

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

Paperback

5 630 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 687 Ft

Hardware Hacker Andrew Bunnie Huang

Paperback

5 630 Ft

Essential Computer Hardware Second Edition Wilson Kevin Wilson

Paperback

6 618 Ft

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

Paperback

7 346 Ft

Hardware Malware Adrian Dabrowski

Paperback

13 149 Ft

Exploring Computer Hardware Kevin Wilson

Paperback

7 680 Ft

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

Audio CD

2 874 Ft

DIE SUPERMILF Verona Pooth

Paperback

7 360 Ft

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

Paperback

17 868 Ft

AMIGOS SIN DERECHO A ROCE GOLD

Book

4 458 Ft

Roger Waters: The Lockdown Sessions LP Roger Waters Audio

Audio vinyl

10 216 Ft

The Witcher Miki Montllo

Paperback

5 053 Ft

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

Paperback

4 252 Ft

Discurso y verdad MICHEL FOUCAULT

Paperback

10 408 Ft

Briefe an einen jungen Dichter Rainer Maria Rilke

Paperback

3 510 Ft

Kuniec swiata Bazyliszki fraszki i inne Andrzej Galowicz

Paperback

2 861 Ft

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

Paperback

1 657 Ft

Liebe und Leid, Kampf und Grimm Irmgard Rüsenberg

Hardback

34 034 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

28 111 Ft

True Compass Edward M. Kennedy

Paperback

8 417 Ft

Sonia's Book Of Short Stories K P Lee

Paperback

3 250 Ft

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

Paperback

11 973 Ft

Soft Skills for Employability HOPWOOD

Paperback

13 003 Ft

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

Paperback

11 030 Ft

The Wonderful Wizard of Oz Baum

Audio CD

10 060 Ft

Learnings from the Long View Peter Schwartz

Paperback

2 353 Ft

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

Paperback

3 250 Ft

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

Paperback

7 346 Ft

Death at an English Wedding SARA ROSETT

Paperback

5 529 Ft

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

Paperback

80 828 Ft

Untitled KW Nonfiction Psaki

Hardback

7 955 Ft

NYPD Red James Patterson

Paperback

3 250 Ft

New Approaches to Neo-Kantianism Nicolas de Warren

Paperback

18 143 Ft

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

Paperback

3 076 Ft

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

Paperback

3 250 Ft

The Sea People Captivating History

Hardback

7 227 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 701 Ft