Computer aided proofs in analysis / Kenneth R. Meyer, Dieter S. Schmidt
Publication: New York : Springer-Verlag, 1991Description: 251 p. : il. ; 25 cmISBN: 0-387-97426-1.Series: The IMA Volumes in Mathematics and its Applications / Avner Friedman, 28Subject - Topical Name: Matemática computacional | Análise numérica | Processamento de dados | Linguagens de programaçãoItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | MEY. 519.6 (Browse shelf) | Available | 1013201 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
MEY. 51 Concepts of mathematical modeling | MEY. 519.2 Probabilidade | MEY. 519.2 Probabilidade | MEY. 519.6 Computer aided proofs in analysis | MEY. 53(030) Encyclopedia of physical science and technology vol. 1 | MEY. 532 Introduction to mathematical fluid dynamics | MEY. 539.4 Mechanical behavior of materials |
There are no comments for this item.