000754747 000__ 02954cam\a2200529Ii\4500
000754747 001__ 754747
000754747 005__ 20230306141724.0
000754747 006__ m\\\\\o\\d\\\\\\\\
000754747 007__ cr\cn\nnnunnun
000754747 008__ 160412s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000754747 020__ $$a9783319317694$$q(electronic book)
000754747 020__ $$a3319317695$$q(electronic book)
000754747 020__ $$z9783319317687
000754747 0247_ $$a10.1007/978-3-319-31769-4$$2doi
000754747 035__ $$aSP(OCoLC)ocn946502877
000754747 035__ $$aSP(OCoLC)946502877
000754747 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dOCLCF$$dOCLCO$$dUPM
000754747 049__ $$aISEA
000754747 050_4 $$aQA76.95
000754747 08204 $$a510.285$$223
000754747 1112_ $$aGAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics$$n(16th :$$d2014 :$$cWürzburg, Germany)
000754747 24510 $$aScientific computing, computer arithmetic, and validated numerics$$h[electronic resource] :$$b16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised selected papers /$$cMarco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker (eds.).
000754747 2463_ $$aSCAN 2014
000754747 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000754747 300__ $$a1 online resource (xiii, 291 pages) :$$billustrations.
000754747 336__ $$atext$$btxt$$2rdacontent
000754747 337__ $$acomputer$$bc$$2rdamedia
000754747 338__ $$aonline resource$$bcr$$2rdacarrier
000754747 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9553
000754747 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000754747 500__ $$aIncludes author index.
000754747 5050_ $$aInterval arithmetic and interval functions -- Uncertainty -- Linear algebra -- Global optimisation -- Dynamical systems -- PDE.
000754747 506__ $$aAccess limited to authorized users.
000754747 520__ $$aThis book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.
000754747 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 12, 2016).
000754747 650_0 $$aNumerical calculations$$xVerification$$vCongresses.
000754747 650_0 $$aScience$$xData processing$$vCongresses.
000754747 650_0 $$aElectronic data processing$$xReliability$$vCongresses.
000754747 7001_ $$aNehmeier, Marco,$$eeditor.
000754747 7001_ $$aWolff von Gudenberg, Jürgen,$$eeditor.
000754747 7001_ $$aTucker, Warwick,$$d1961-$$eeditor.
000754747 830_0 $$aLecture notes in computer science ;$$v9553.
000754747 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000754747 852__ $$bebk
000754747 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-31769-4$$zOnline Access$$91397441.1
000754747 909CO $$ooai:library.usi.edu:754747$$pGLOBAL_SET
000754747 980__ $$aEBOOK
000754747 980__ $$aBIB
000754747 982__ $$aEbook
000754747 983__ $$aOnline
000754747 994__ $$a92$$bISE