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
En finir avec le libéralisme à la française
  • EPUB
  • French
  • Year: 2015
  • Author: Guillaume Sarlat
Simulation du comportement sous impact de structures en béton armé
  • PDF
  • French
  • Year: 2005
  • Author: Guillaume Hervé
search