Guillaume+Melquiond | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

Handbook of Floating-Point Arithmetic

Muller, Jean-Michel; Brisebarre, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Lefevre, Vincent; Melquiond, Guillaume
Birkhauser Boston Inc
2009
Kovakantinen kirja

127,60 €

Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System

Boldo, Sylvie; Melquiond, Guillaume
ISTE Press Ltd - Elsevier Inc
2017
Kovakantinen kirja

142,90 €

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Meistä

Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Tietosuojaseloste

Seuraa Akateemista

Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn

Sisäänkirjautuminen

Kirjaudu sisään Rekisteröityminen

Oma tili

Omat tiedot Omat tilaukset Omat laskut

Meistä

Yhteystiedot ja aukioloajat Usein kysytyt Akateemisen Ystäväklubi Toimitusehdot Tietosuojaseloste

Seuraa Akateemista

Instagram Facebook Threads TikTok YouTube LinkedIn