Search

Your search returned 4 results.

Not what you expected? Check for suggestions

Results
		Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylvie Boldo, Guillaume Melquiond. by Boldo, Sylvie [author.] \| Melquiond, Guillaume [author.]. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London : Oxford, UK : ISTE Press ; Elsevier, 2017Online access: ScienceDirect Availability: Items available for loan: (1) . Add to cart (remove)
		Categories, algebraic structures, linear and homological algebra / Henri Bourl�es. by Bourles, Henri [author.]. Series: Fundamentals of advanced mathematics ; 1.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London, UK : Kidlington, Oxford, UK : ISTE Press ; Elsevier, 2017Online access: ScienceDirect Availability: Items available for loan: (1) . Add to cart (remove)
		Optical remote sensing of land surfaces : techniques and methods / edited by Nicolas Baghdadi, Mehrez Zribi. by Baghdadi, Nicolas [editor.] \| Zribi, Mehrez [editor.]. Series: Remote sensing observations of continental surfaces setMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: London : Oxford : ISTE Press Ltd. ; Elsevier Ltd, 2016Copyright date: �2016Online access: ScienceDirect Availability: Items available for loan: (1) . Add to cart (remove)
		Digital libraries : interoperability and uses / Fabrice Papy. by Papy, Fabrice [author.]. Series: Digital libraries and collections setMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: London, UK : ISTE Press/Elsevier, 2016Online access: ScienceDirect Availability: Items available for loan: (1) . Add to cart (remove)

SIKKIM UNIVERSITY
University Portal | Contact Librarian | Library Portal

Powered by Koha