René Alt – författare
Visar alla böcker från författaren René Alt. Handla med fri frakt och snabb leverans.
2 produkter
Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Av René Alt, Andreas Frommer m. fl.
Häftad, 2004
568 kr
Lägg i varukorg
Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. …
Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Av Wolfram Luther, R. Baker Kearfott m. fl.
E-bok, 2004
734 kr
Lägg i varukorg
Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. …