Unhighlight Highlight
1. Computer arithmetic and validity by Kulisch, Ulrich. Publication: Berlin ; | Boston : De Gruyter, 2013 . 1 online resource (456 pages). , 8.6 Scalar product computation units (SPUs). Date:2013 Availability: No items available: Actions: Add to cart
2. Scientific computing with automatic result verification   Publication: Boston : Academic Press, 1993 . 1 online resource (x, 612 p.) Date:1993 Availability: No items available: Actions: Add to cart
3. Computer arithmetic and validity by Kulisch, Ulrich. Publication: Berlin ; | New York : Walter de Gruyter, 2008 . 1 online resource (xvii, 409 p.) : Date:2008 Availability: No items available: Actions: Add to cart