Handbook of Floating-Point Arithmetic

by Jean-Michel Muller, Nicolas Brunie

IEEE standard for binary floating-point arithmetic.

Handbook of floating-point arithmetic

by J. M. Muller

Numerical Computing with IEEE Floating Point Arithmetic

by Michael L. Overton

IEEE Standard for Binary Floating Point Arithmetic

by Institute of Electrical and Electronics Engineers

IEEE Standard for Radix-Independent Floating-Point Arithmeti...

by Institute of Electrical and Electronics Engineers

Varying lenghth floating point arithmetic

by Martti Tienari

IEEE standard for binary floating-point arithmetic

IEEE standard for binary floating-point arithmetic

IEEE Standard for Binary Floating-Point Arithmetic

IEEE standard for binary floating-point arithmetic

by IEEE Computer Society. Standards Committee, IEEE Standards Board

IEEE standard for radix-independent floating-point arithmeti...

by IEEE Computer Society. Technical Committee on Microprocessors and Microcomputers, IEEE Standards Board

IEEE 754-2008: IEEE Standard for Floating-Point Arithmetic

by Institute of Electrical and Electronics Engineers

Floating-point computation

by Pat H. Sterbenz

IEEE standard for radix-independent floating-point arithmeti...

Defining the IEEE-854 floating-point standard in PVS

by Paul S. Miner

Computer Arithmetic and Formal Proofs

by Sylvie Boldo, Guillaume Melquiond

Formal Verification of Floating-Point Hardware Design

by David M. Russinoff, J Strother Moore

Improving floating-point programming

by Peter J. L. Wallis

MC68881/MC68882 floating-point coprocessor user's manual

by Motorola.