LEADER 01551nlm0 22004331i 450 001 990009247450403321 010 $a9783540766506 035 $a000924745 035 $aFED01000924745 035 $a(Aleph)000924745FED01 035 $a000924745 100 $a20100926d2007----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aFormal Methods and Software Engineering$bRisorsa elettronica$e9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings$fedited by Michael Butler, Michael G. Hinchey, Mar 210 $aBerlin ; Heidelberg$cSpringer$d2007 225 1 $aLecture Notes in Computer Science$x0302-9743$v4789 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aButler,$bMichael 702 1$aHinchey,$bMichael G. 702 1$aLarrondo-Petrie,$bMarķa M. 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-76650-6 901 $aEB 912 $a990009247450403321 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aModels and Principles 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA LEADER 03340nam 22006612 450 001 9910786717303321 005 20160201060152.0 010 $a1-107-06571-2 010 $a1-316-09040-X 010 $a1-107-05714-0 010 $a1-107-25578-3 010 $a1-139-52539-5 010 $a1-107-05840-6 010 $a1-107-05962-3 010 $a1-107-05605-5 035 $a(CKB)2670000000353282 035 $a(EBL)1182982 035 $a(SSID)ssj0000871281 035 $a(PQKBManifestationID)12429836 035 $a(PQKBTitleCode)TC0000871281 035 $a(PQKBWorkID)10823427 035 $a(PQKB)11724577 035 $a(UkCbUP)CR9781139525398 035 $a(Au-PeEL)EBL1182982 035 $a(CaPaEBR)ebr10695380 035 $a(CaONFJC)MIL485853 035 $a(OCoLC)841809822 035 $a(MiAaPQ)EBC1182982 035 $a(PPN)261295047 035 $a(EXLCZ)992670000000353282 100 $a20120622d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputational methods for physics /$fJoel Franklin, Reed College$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (xvii, 400 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 01 Feb 2016). 311 $a1-107-03430-2 320 $aIncludes bibliographical references and index. 327 $aMachine generated contents note: 1. Programming overview; 2. Ordinary differential equations; 3. Root-finding; 4. Partial differential equations; 5. Time dependent problems; 6. Integration; 7. Fourier transform; 8. Harmonic oscillators; 9. Matrix inversion; 10. The eigenvalue problem; 11. Iterative methods; 12. Minimization; 13. Chaos; 14. Neural networks; 15. Galerkin methods; References; Index. 330 $aThere is an increasing need for undergraduate students in physics to have a core set of computational tools. Most problems in physics benefit from numerical methods, and many of them resist analytical solution altogether. This textbook presents numerical techniques for solving familiar physical problems where a complete solution is inaccessible using traditional mathematical methods. The numerical techniques for solving the problems are clearly laid out, with a focus on the logic and applicability of the method. The same problems are revisited multiple times using different numerical techniques, so readers can easily compare the methods. The book features over 250 end-of-chapter exercises. A website hosted by the author features a complete set of programs used to generate the examples and figures, which can be used as a starting point for further investigation. A link to this can be found at www.cambridge.org/9781107034303. 606 $aMathematical physics 606 $aPhysics$xData processing 606 $aNumerical analysis 615 0$aMathematical physics. 615 0$aPhysics$xData processing. 615 0$aNumerical analysis. 676 $a530.15 700 $aFranklin$b Joel$f1975-$01501506 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910786717303321 996 $aComputational methods for physics$93728644 997 $aUNINA