<?xml version="1.0" encoding="utf-8" ?> <rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title> <![CDATA[ Search for 'su:&quot;Floating-point arithmetic&quot;']]> </title> <link> https://efind.ump.edu.my/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Floating-point%20arithmetic%22&#38;sort_by=title_dsc&#38;format=rss </link> <atom:link rel="self" type="application/rss+xml" href="https://efind.ump.edu.my/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Floating-point%20arithmetic%22&#38;sort_by=title_dsc&#38;format=rss"/> <description> <![CDATA[ Search results for 'su:&quot;Floating-point arithmetic&quot;' at ]]> </description> <opensearch:totalResults>2</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>30</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="https://efind.ump.edu.my/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Floating-point%20arithmetic%22&#38;sort_by=title_dsc&#38;format=opensearchdescription"/> <opensearch:Query role="request" searchTerms="q%3Dccl%3Dsu%253A%2522Floating-point%2520arithmetic%2522" startPage="" /> <item> <title> Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / </title> <dc:identifier>ISBN:9781785481123</dc:identifier> <link>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=89462</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/1785481126.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Boldo, Sylvie,.<br /> London, UK : Elsevier, 2017 .<br /> xx, 306 pages : 24 cm..<br /> 9781785481123 </p> ]]> <![CDATA[ <p> <a href="https://efind.ump.edu.my/cgi-bin/koha/opac-reserve.pl?biblionumber=89462">Place hold on <em>Computer arithmetic and formal proofs :</em></a> </p> ]]> </description> <guid>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=89462</guid> </item> <item> <title> Computer arithmetic / </title> <dc:identifier>ISBN:9789814641463 (v. 2)</dc:identifier> <link>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=81036</link> <description> <![CDATA[ <p> Singapore : World Scientific , 2015 .<br /> xxxviii, 446 p. : 28 cm..<br /> 9789814641463 (v. 2) </p> ]]> <![CDATA[ <p> <a href="https://efind.ump.edu.my/cgi-bin/koha/opac-reserve.pl?biblionumber=81036">Place hold on <em>Computer arithmetic /</em></a> </p> ]]> </description> <guid>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=81036</guid> </item> </channel> </rss>
