0

My Bag

0.00

₹

Download App

Numerical Validation in CurrentHardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues) 4.0%OFF

Numerical Validation in CurrentHardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues)

by Annie A.M. Cuyt, Walter Krýmer and Wolfram Luther

  • ISBN

    :  

    9783642015908

  • Publisher

    :  

    Springer

  • Subject

    :  

    Computer Hardware, Mathematics

  • Binding

    :  

    PAPERBACK

  • Pages

    :  

    275

  • Year

    :  

    2009

₹

8445.0

4.0% OFF

₹

8107.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

(Imported Edition) Estimated Shipping Time : 25-28 Business Days

View Details

Share it on

  • Description

    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.

Related Items

-

of

  • OFFER

    Designing Concurrent, Distributed, and Real-Time Applications with UML

    Hassan Gomaa

    Starts At

    6079.0

    7999.0

    24% OFF

  • OFFER

    Modern VLSI Design: IP-Based Design (4th Edition)

    Wayne Hendrix Wolf

    Starts At

    281.0

    365.0

    23% OFF

  • OFFER

    Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives

    Nick Rozanski

    Starts At

    2913.0

    3834.0

    24% OFF

  • OFFER

    The 8051 Microcontroller: Hardware, Software, and Interfacing (2nd Edition)

    James W. Stewart

    Starts At

    6676.0

    8785.0

    24% OFF

  • OFFER

    The Rough Guide to the iPhone (4th)

    Peter Buckley

    Starts At

    342.0

    450.0

    24% OFF

  • OFFER

    MicroC OS II: The Real Time Kernel (With CD-ROM)

    Jean J. Labrosse

    Starts At

    14634.0

    17017.0

    14% OFF

  • Access Control, Authentication, and Public Key Infrastructure (Information Systems Security & Assurance)

    Bill Ballad

    Starts At

    5799.0

  • OFFER

    Developer's Workshop to COM and ATL 3.0

    Andrew W. Troelsen

    Starts At

    2179.0

    2986.0

    27% OFF

  • OFFER

    Essentials of Computer Organization and Architecture

    Linda Null

    Starts At

    11586.0

    13473.0

    14% OFF

  • OFFER

    Introduction to 80x86 Assembly Language and Computer Architecture

    Richard C. Detmer

    Starts At

    4607.0

    6312.0

    27% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- 1 Item

null

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : 0.0 Total Savings        : Grand Total :

Order Summary