Tools

LEADER 02910cam a2200601 a 4500

001 ssj0000127780;

003 WaSeSS;

005 20190313051101.0;

006 m d ;

007 cr n ;

008 120125s2008 gw a sb 001 0 eng d;

010 a| 2011276669;

015 a| 08,A33,06352| dnb;

015 a| 08,N25,10952| dnb;

016 7 a| 9889671622| DE-101;

020 a| 9783110203189 (hbk. : alk. paper);

020 a| 3110203189 (hbk. : alk. paper);

035 a| (WaSeSS)ssj0000127780;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.9.C62b| K853 2008;

084 a| 5102| sdnb;

084 a| ST 1252| rvk;

100 1 a| Kulisch, Ulrich.=| ^A302677;

245 10 a| Computer arithmetic and validityh| [electronic resource] :b| theory, implementation, and applications /c| Ulrich Kulisch.;

260 a| Berlin ;a| New York :b| Walter de Gruyter,;

300 a| xvii, 409 p. :b| ill. ;c| 25 cm.;

490 1 a| De Gruyter studies in mathematics ;v| 33;

504 a| Includes bibliographical references (p. [359]-394) and index.;

505 0 a| Theory of computer arithmetic -- First concepts -- Ringoids and vectoids -- Definition of computer arithmetic -- Interval arithmetic -- Implementation of arithmetic on computers -- Floating-point arithmetic -- Implementation of floating-point arithmetic on a computer -- Hardware support for interval arithmetic -- Scalar products and complete arithmetic -- Principles of verified computing -- Sample applications.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer arithmetic.=| ^A186815;

650 0 a| Computer arithmetic and logic units.=| ^A55340;

650 0 a| Floating-point arithmetic.=| ^A232554;

650 07 a| Richtigkeit von Ergebnissen.2| swd;

650 07 a| Computerarithmetik.2| swd;

650 07 a| Intervallalgebra.2| swd;

650 07 a| Gleitkommarechnung.2| swd;

650 07 a| Numerische Mathematik.2| swd;

655 0 a| Electronic books.=| ^A491897;

830 0 a| De Gruyter studies in mathematicsv| 33.=| ^A244250;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=364664;

947 a| (OCoLC)ocn227201749;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4668964;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4668964-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 3/20/2017x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4668964-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 3/20/2017x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4668964-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 3/20/2017x| EBOOKz| JERESOURCE;

Computer arithmetic and validity theory, implementation, and applications / Ulrich Kulisch.

Author/creator	Kulisch, Ulrich
Format	Electronic
Publication Info	Berlin ; New York : Walter de Gruyter,
Description	xvii, 409 p. : ill. ; 25 cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Computer arithmetic. Computer arithmetic and logic units. Floating-point arithmetic.

Series	De Gruyter studies in mathematics ; 33 De Gruyter studies in mathematics 33. ^A244250
Contents	Theory of computer arithmetic -- First concepts -- Ringoids and vectoids -- Definition of computer arithmetic -- Interval arithmetic -- Implementation of arithmetic on computers -- Floating-point arithmetic -- Implementation of floating-point arithmetic on a computer -- Hardware support for interval arithmetic -- Scalar products and complete arithmetic -- Principles of verified computing -- Sample applications.
Bibliography note	Includes bibliographical references (p. [359]-394) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2011276669
ISBN	9783110203189 (hbk. : alk. paper)
ISBN	3110203189 (hbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Computer arithmetic and validity theory, implementation, and applications / Ulrich Kulisch.

Click here for more information about this title

Availability