Library Logo

Your search returned 4424 results. Subscribe to this search

|
4421. 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

4422. Compressed sensing in li-fi and wi-fi networks / [electronic resource]

by Benslama, Malek; Mokhtari, Hatem.

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

4423. Turning the page : the evolution of the book

by Phillips, Angus.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London ; New York : Routledge, 2014Availability: Items available for loan: Dhaka University Library [070.5 PHT] (4).

4424. Reading and writing the electronic book

by Marshall, Catherine C.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Chapel Hill : Morgan & Claypool, 2010Availability: Items available for loan: Dhaka University Library [070.573 MAR] (3).

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