9.6.09

Numerical Validation in Current Hardware Architectures (Lecture Notes in Computer Science)

Product 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 scie

nce and engineering, and novel approaches to verification.

download

link

Password default: netbks.com

at

4 comments:

  1. grohonJune 27, 2010 at 4:27 AM

    thanks for sharing this site, you can download lots of ebook from here

    http://feboook.blogspot.com

    ReplyDelete
  2. MailerOctober 25, 2010 at 8:53 PM

    Hi,I like the work you are doing,that you are sharing books with the people.Just wanted to thank you for your efforts.

    ReplyDelete
  3. MailerOctober 25, 2010 at 8:54 PM

    I like the work you are doing,that is sharingthe books.just wanted to thankyou for your efforts.

    ReplyDelete
  4. MailerOctober 26, 2010 at 12:16 AM

    Hi.Do you have invites for any private torrent sites?

    ReplyDelete