Tools

LEADER 01891cam a22004694a 4500

001 ocn670247319;

003 OCoLC;

005 20141212073857.0;

008 101013s2011 njua b 001 0 eng ;

010 a| 2010040560;

016 7 a| 0157622932| Uk;

020 a| 9780691147819 (hardcover : alk. paper);

020 a| 0691147817 (hardcover : alk. paper);

029 1 a| NZ1b| 13748760;

035 a| (Sirsi) 99945360831;

035 a| (OCoLC)670247319;

035 a| 99945360831;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.95b| .T83 2011;

082 00 a| 502/.852| 22;

100 1 a| Tucker, Warwick,d| 1961-=| ^A1061078;

245 10 a| Validated numerics :b| a short introduction to rigorous computations /c| Warwick Tucker.;

300 a| xii, 138 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references and index.;

650 0 a| Numerical calculationsx| Verification.=| ^A302675;

650 0 a| Sciencex| Data processing.=| ^A90442;

856 u| http://pda.library.cornell.edu/coutts/pod.cgi?CouttsID=cou15590303z| Click to ask Cornell University Library to RUSH purchase. We will contact you by email when it arrives (typically within a week).;

938 a| YBP Library Servicesb| YANKn| 3574308;

938 a| Blackwell Book Serviceb| BBUSn| 3574308;

938 a| Coutts Information Servicesb| COUTn| 15590303;

949 a| QA76.95 .T83 2011h| Joyner48i| 30372013133720o| jjlm;

910 a| PromptCat;

994 a| 92b| ERE;

596 a| 1;

998 a| 2613900;

999 a| QA76.95 .T83 2011w| LCc| 1i| 30372013133720d| 3/19/2013e| 12/20/2011f| 3/19/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 12/1/2011x| BOOKz| JSTACKSo| .STAFF. jjlm;

Validated numerics : a short introduction to rigorous computations / Warwick Tucker.

Author/creator	Tucker, Warwick, 1961-
Format	Book
Publication Info	Princeton : Princeton University Press, ©2011.
Description	xii, 138 pages : illustrations ; 24 cm
Subjects	Numerical calculations--Verification. Science--Data processing.

Bibliography note	Includes bibliographical references and index.
LCCN	2010040560
ISBN	9780691147819 (hardcover : alk. paper)
ISBN	0691147817 (hardcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.95 .T83 2011	✔ Available	Place Hold

Validated numerics : a short introduction to rigorous computations / Warwick Tucker.

Click here for more information about this title

Availability