Your search returned 2 results.

Results
	1.		Image from Amazon.com	Handbook of Floating-Point Arithmetic [electronic resource] / by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres. by Muller, Jean-Michel [author.] Brisebarre, Nicolas [author.] de Dinechin, Florent [author.] Jeannerod, Claude-Pierre [author.] Lefèvre, Vincent [author.] Melquiond, Guillaume [author.] Revol, Nathalie [author.] Stehlé, Damien [author.] Torres, Serge [author.] SpringerLink (Online service) Edition: 1. Publisher: Boston : Birkhäuser Boston, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylvie Boldo, Guillaume Melquiond. by Boldo, Sylvie [author.] Melquiond, Guillaume [author.] ScienceDirect eBooks Publisher: London : ISTE Press ; Oxford, UK : Elsevier, 2017 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Refine your search