Dhaka University Library Online

Your cart is empty.
Library Logo

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
Computer arithmetic : principles, architecture, and design

by Hwang, Kai.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Wiley, c1979Availability: Items available for loan: Dhaka University Science Library [621.3819582 HWC] (3).

Add to cart
2.
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / [electronic resource]

by Boldo, Sylvie; Melquiond, Guillaume.

Material type: book Book; Format: available online remote; Literary form: not fiction Publisher: London : ISTE Press ; 2017.Online Access: ScienceDirect | ScienceDirect Availability: No items available

Add to cart
Last Updated on September 15, 2019
© Dhaka University Library. All Rights Reserved|Staff Login