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

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

Computer Arithmetic and Formal Proofs

by Sylvie Boldo, Guillaume Melquiond

IBM System/360 principles of operation

by International Business Machines Corporation. Data Processing Division

The IBM System/360 is a solid-state, program compatible, data processing system providing the speed, precision, and data...

Hacker's Delight

by Henry S. Warren Jr.

Floating-point computation

by Pat H. Sterbenz

Defining the IEEE-854 floating-point standard in PVS

by Paul S. Miner

Computer arithmetic and validity

by Ulrich Kulisch