000427782 000__ 00874cam\a2200265\a\4500 000427782 001__ 427782 000427782 005__ 20210513150504.0 000427782 008__ 101013s2011\\\\njua\\\\\b\\\\001\0\eng\\ 000427782 010__ $$a 2010040560 000427782 020__ $$a9780691147819 (alk. paper) 000427782 020__ $$a0691147817 (alk. paper) 000427782 035__ $$a(OCoLC)ocn670247319 000427782 035__ $$a427782 000427782 040__ $$aDLC$$cDLC$$dYDX$$dYDXCP$$dPUL$$dBWX$$dUKMGB$$dCDX 000427782 042__ $$apcc 000427782 049__ $$aISEA 000427782 05000 $$aQA76.95$$b.T83 2011 000427782 08200 $$a502/.85$$222 000427782 1001_ $$aTucker, Warwick,$$d1961- 000427782 24510 $$aValidated numerics :$$ba short introduction to rigorous computations /$$cWarwick Tucker. 000427782 260__ $$aPrinceton :$$bPrinceton University Press,$$cc2011. 000427782 300__ $$axii, 138 p. :$$bill. ;$$c24 cm. 000427782 504__ $$aIncludes bibliographical references and index. 000427782 650_0 $$aNumerical calculations$$xVerification. 000427782 650_0 $$aScience$$xData processing. 000427782 85200 $$bgen$$hQA76.95$$i.T83$$i2011 000427782 909CO $$ooai:library.usi.edu:427782$$pGLOBAL_SET 000427782 980__ $$aBIB 000427782 980__ $$aBOOK