Raamatud Guillaume Melquiond
Handbook of Floating-Point Arithmetic
Nathalie Revol, Mioara Joldes, Nicolas Brunie, Serge Torres, Jean-Michel Muller, Guillaume Melquiond, Florent De Dinechin, Vincent Lefèvre, Claude-Pierre Jean
-40% koodiga BOOKS
Meie tarnija laos
Handbook of Floating-Point Arithmetic
Nathalie Revol, Mioara Joldes, Nicolas Brunie, Serge Torres, Jean-Michel Muller, Guillaume Melquiond, Florent De Dinechin, Vincent Lefèvre, Claude-Pierre Jean
-40% koodiga BOOKS
Meie tarnija laos
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond
-40% koodiga BOOKS
Meie tarnija laos