Тема, жанр, tags: Floating-Point Arithmetic,IEEE 754-2008 Standard,Fused Multiply-Add Instruction,Floating-Point Opera » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Floating-Point Arithmetic,IEEE 754-2008 Standard,Fused Multiply-Add Instruction,Floating-Point Opera

book Handbook of Floating-Point Arithmetic

Handbook of Floating-Point Arithmetic

pdf

Author: Jean-Michel Muller Nicolas Brunie Florent de Dinechin Claude-Pierre Jeannerod Mioara Joldes Vincent Lefèvre Guillaume Melquiond Nathalie Revol Serge Torres
Language: English
Year: 2018

00

15.02.2024

0

0

book Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

djvu

Author: Boldo Sylvie, Melquiond Guillaume
Language: English
Year: 2017

00

07.02.2024

0

0

book Computer Arithmetic in Theory and Practice

Computer Arithmetic in Theory and Practice

djvu

Author: Miranker Willard L., Kulisch Ulrich
Language: English
Year: 1981

00

29.01.2024

0

0

book Computer Arithmetic: Volume II

Computer Arithmetic: Volume II

djvu

Author: Earl Swartzlander Earl Swartzlander (eds.)
Language: English
Year: 2015

00

29.01.2024

0

0