Home Advanced Search

Advanced Search - Page 1

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)
  • PDF
  • English
  • Year: 2017
  • Author: Sylvie Boldo, Guillaume Melquiond
Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
  • DJVU
  • English
  • Year: 2017
  • Author: Boldo, Sylvie; Melquiond, Guillaume
Handbook of Floating-Point Arithmetic
  • PDF
  • English
  • Year: 2018
  • Author: Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
Handbook of floating-point arithmetic
  • PDF
  • English
  • Year: 2010
  • Author: Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres (auth.)
Handbook of Floating-Point Arithmetic
  • PDF
  • English
  • Year: 2010
  • Author: Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres (auth.)
Handbook of Floating-Point Arithmetic
  • PDF
  • English
  • Year: 2010
  • Author: Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres (auth.)
The Life of Muhammad: A Translation of Ishaq's Sirat Rasūl Allah (with Table of Contents)
  • PDF
  • English
  • Year: 1998
  • Author: A. Guillaume
The Life of Muhammad: A Translation of Sirat Rasul Allah by Ibn Ishaq
  • PDF
  • English
  • Year: 2001
  • Author: A. Guillaume
Elvina's Mirror
  • PDF
  • English
  • Year: 2009
  • Author: Sylvie Weil; Sylvie Weil
Keynes and Friedman on Laissez-Faire and Planning: Where to draw the line?
  • PDF
  • English
  • Year: 2013
  • Author: Sylvie Rivot
search