000917157 000__ 01978cam\a2200493Ii\4500
000917157 001__ 917157
000917157 005__ 20230306150726.0
000917157 006__ m\\\\\o\\d\\\\\\\\
000917157 007__ cr\cn\nnnunnun
000917157 008__ 191118s2019\\\\si\a\\\\ob\\\\001\0\eng\d
000917157 019__ $$a1127916351
000917157 020__ $$a9789811376696$$q(electronic book)
000917157 020__ $$a9811376697$$q(electronic book)
000917157 020__ $$z9789811376689
000917157 020__ $$z9811376689
000917157 0247_ $$a10.1007/978-981-13-7669-6$$2doi
000917157 035__ $$aSP(OCoLC)on1127909060
000917157 035__ $$aSP(OCoLC)1127909060$$z(OCoLC)1127916351
000917157 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dUKMGB$$dN$T$$dOCLCF
000917157 049__ $$aISEA
000917157 050_4 $$aQA377
000917157 08204 $$a515/.353$$223
000917157 1001_ $$aNakao, Mitsuhiro T.$$eauthor.
000917157 24510 $$aNumerical verification methods and computer-assisted proofs for partial differential equations /$$cMitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
000917157 264_1 $$aSingapore :$$bSpringer,$$c2019.
000917157 300__ $$a1 online resource (xiii, 467 pages) :$$billustrations.
000917157 336__ $$atext$$btxt$$2rdacontent
000917157 337__ $$acomputer$$bc$$2rdamedia
000917157 338__ $$aonline resource$$bcr$$2rdacarrier
000917157 4901_ $$aSpringer series in computational mathematics,$$x0179-3632 ;$$vvolume 53
000917157 504__ $$aIncludes bibliographical references and index.
000917157 506__ $$aAccess limited to authorized users.
000917157 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 18, 2019).
000917157 650_0 $$aDifferential equations, Partial.
000917157 650_0 $$aAutomatic theorem proving.
000917157 650_0 $$aNumerical calculations$$xVerification.
000917157 7001_ $$aPlum, Michael,$$eauthor.
000917157 7001_ $$aWatanabe, Yoshitaka,$$eauthor.
000917157 77608 $$iPrint version:$$z9811376689$$z9789811376689$$w(OCoLC)1089997014
000917157 830_0 $$aSpringer series in computational mathematics ;$$v53.
000917157 852__ $$bebk
000917157 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-13-7669-6$$zOnline Access$$91397441.1
000917157 909CO $$ooai:library.usi.edu:917157$$pGLOBAL_SET
000917157 980__ $$aEBOOK
000917157 980__ $$aBIB
000917157 982__ $$aEbook
000917157 983__ $$aOnline
000917157 994__ $$a92$$bISE