melquiond

Displaying 1- 9 of 9 results for keyword "melquiond" books

Sort by:


1.		Longtemps, J'Ai Vecu Avec une Bouteille Author: Melquiond, Madeleine ISBN: 978-2-226-18055-1 Book Format: Paperback List Price: USD $51.95 Publisher: Albin-Michel, Editions Publication Date: Sep 2007 Quantity Note

2.		Computer Arithmetic and Formal Proofs Verifying Floating-Point Algorithms with the Coq System Author: Boldo, Sylvie Melquiond, Guillaume ISBN: 978-0-08-101170-6 Book Format: Ebook List Price: USD $150.00USD $180.00 Publisher: Elsevier Publication Date: Nov 2017 Quantity Note

3.		Handbook of Floating-Point Arithmetic Author: Muller, Jean-Michel Brunie, Nicolas De Dinechin, Florent Jeannerod, Claude-Pierre Joldes, Mioara Lefèvre, Vincent Melquiond, Guillaume Revol, Nathalie Torres, Serge ISBN: 978-3-030-09513-0 Book Format: Paperback List Price: USD $169.99 Publisher: Springer International Publishing AG Publication Date: Jan 2019 Quantity Note

4.		Computer Arithmetic and Formal Proofs Verifying Floating-Point Algorithms with the Coq System Author: Boldo, Sylvie Melquiond, Guillaume ISBN: 978-1-78548-112-3 Book Format: Hardback List Price: AUD $206.95 Publisher: Elsevier Publication Date: Dec 2017 Quantity Note

5.		Handbook of Floating-Point Arithmetic Author: Brunie, Nicolas de Dinechin, Florent Jeannerod, Claude-Pierre Joldes, Mioara Lefèvre, Vincent Melquiond, Guillaume Muller, Jean-Michel Revol, Nathalie Torres, Serge ISBN: 978-3-319-76525-9 Book Format: Hardback List Price: USD $169.99 Publisher: Springer International Publishing AG Publication Date: May 2018 Quantity Note

6.		Handbook of Floating-Point Arithmetic Author: Muller, Jean-Michel Brisebarre, Nicolas de Dinechin, Florent Jeannerod, Claude-Pierre Vincent, Lefevre Melquiond, Guillaume Revol, Nathalie Stehlé, Damien Torres, Serge Lefèvre, Vincent ISBN: 978-0-8176-4704-9 Book Format: Hardback List Price: AUD $247.95 Publisher: Birkhauser Verlag Publication Date: Dec 2009 Quantity Note

7.		Computer Arithmetic and Formal Proofs Verifying Floating-Point Algorithms with the Coq System Author: Boldo, Sylvie Melquiond, Guillaume ISBN: 978-1-78548-112-3 Book Format: Hardback List Price: USD $175.00 Publisher: ISTE Press Limited - Elsevier Incorporated Publication Date: Nov 2017 Quantity Note

8.		Handbook of Floating-Point Arithmetic Author: Muller, Jean-Michel Brisebarre, Nicolas de Dinechin, Florent Jeannerod, Claude-Pierre Lefèvre, Vincent Melquiond, Guillaume Revol, Nathalie Stehlé, Damien Torres, Serge ISBN: 978-0-8176-4705-6 Book Format: Ebook List Price: USD $149.00 Publisher: Birkhauser Verlag Publication Date: Nov 2009 Quantity Note

9.		Handbook of Floating-Point Arithmetic Author: Muller, Jean-Michel Brisebarre, Nicolas de Dinechin, Florent Jeannerod, Claude-Pierre Vincent, Lefevre Melquiond, Guillaume Revol, Nathalie Stehlé, Damien Torres, Serge Lefèvre, Vincent ISBN: 978-0-8176-4704-9 Book Format: Hardback List Price: USD $199.99 Publisher: Birkhäuser Boston Publication Date: Dec 2009 Quantity Note