Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs /

Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs /

41

Bibliographic Details
Main Author:	Hammer, R.
Format:
Published:	Berlin : Springer-Verlag, 1993
Subjects:	Numerical analysis Error analysis (Mathematics)

Similar Items

C++ toolbox for verified computing I : basic numerical problems /
by: Hammer, R.
Published: (1995)

Practical numerical methods algorithms and programs /
by: 227220 Kohn, Michael C.
Published: (1987)

Basic numerical mathematics : numerical algebra /
by: 404917 Todd, John
Published: (1978)

An introduction to numerical methods with pascal /
by: 406681 Atkinson, Laurence V., et al.
Published: (1983)

Schaums outline of theory and problems of numerical analysis /
by: 313173 Scheid, Francis J.
Published: (1968)

Schaums outline of theory and problems of numerical analysis /
by: 345386 Scheid, Francis
Published: (1988)

Numerical analysis and computation theory and practice /
by: 398509 Blum, Edward K.
Published: (1972)

Numerical mathematics : theory and computer applications /
by: 243547 Froberg, Carl Erik
Published: (1985)

Numerical analysis and algorithms /
by: 304796 Niyogi, Pradip
Published: (2003)

Numerical methods : algorithms and applications /
by: 240136 Fausett, Laurene V.
Published: (2003)

Validation numerics : theory and applications /
by: Albrecht, R. F. (Rudolf F.), 1925-, et al.
Published: (1993)

Numerical methods with programs in C /
by: 229261 Veerarajan, T., et al.
Published: (2007)

Theory and applications of numerical analysis /
by: 396018 Phillips, G. M. (George McArtney), et al.
Published: (1973)

Numerical analysis for scientists and engineers : theory and C programs /
by: 408286 Pal, Madhumangal
Published: (2007)

Numerical algorithms with C /
by: 419503 Engeln-Mullges, Gisela, et al.
Published: (1996)

Numerical analysis /
by: 416304 Owen, F., et al.
Published: (1981)

Numerical methods : principles, analyses, and algorithms /
by: 529786 Pal, Srimanta
Published: (2009)

Elementary numerical analysis : an algorithmic approach /
by: Conte, Samuel Daniel, 1917-, et al.
Published: (1980)

Numerical calculations and algorithms /
by: 345580 Beckett, Royce, et al.
Published: (1967)

Control perspectives on numerical algorithms and matrix problems /
by: 444990 Bhaya, Amit, et al.
Published: (2006)

2000 solved problems in numerical analysis /
by: 313173 Scheid, Francis J.
Published: (1990)

Numerical simulation : theory and analysis /
by: Rago, Gregory, editor
Published: (2015)

Elementary theory and application of numerical analysis /
by: 378669 Moursund, David G., et al.
Published: (1967)

Symposium on the Theory of Numerical Analysis : proceedings /
by: Symposium on the Theory of Numerical Analysis (1970 : Dundee, Scotland), et al.
Published: (1971)

Numerical methods of curve fitting /
by: 407175 Guest, Philip George
Published: (1961)

Numerical algorithms with Fortran /
by: 419503 Engeln-Mullges, Gisela, et al.
Published: (1996)

High-order numerical methods for scattering problems
by: Gopal, A
Published: (2021)

Functional analysis and approximation theory in numerical analysis /
by: 215999 Varga, Richard S.
Published: (1971)

Applied numerical methods with software /
by: 204683 Shoichiro Nakamura
Published: (1991)

The theory of matrices in numerical analysis /
by: 399915 Householder, Alston Scott
Published: (1975)

Numerical methods : design, analysis, and computer implementation of algorithms /
by: 428168 Greenbaum, Anne, et al.
Published: (c201)

Numerical algorithms with C / [cakera padat]
by: 419503 Engeln-Mullges, Gisela, et al.
Published: (1997)

Classical and modern numerical analysis : theory, methods and practice /
by: Ackleh, Azmy S.
Published: (c201)

Introduction to numerical computations /
by: 313707 Vandergraft, James S.
Published: (1978)

Numerical software, needs and availability : proceedings /
by: Conference on Applications of Numerical Software, Needs and Availability ; (University of Sussex, : 1977), et al.
Published: (1978)

An introduction to programming and numerical methods in MATLAB /
by: Otto, S. R. (Stephen Robert), et al.
Published: (2005)

Numerical methods /
by: Faires, J. Douglas, author 338186, et al.
Published: (1993)

Numerical analysis /
by: 338180 Burden, Richard L., et al.
Published: (1993)

Numerical analysis /
by: 341377 Temam, Roger
Published: (1973)

Numerical analysis /
by: 338180 Burden, Richard L., et al.
Published: (1981)