Scientific computation with automatic result verification

Scientific computation with automatic result verification

Show other versions (1)

Saved in:

Bibliographic Details
Corporate Authors:	Universitt Karlsruhe. Institut fr Angewandte Mathematik, GAMM Committee on "Computer Arithmetic and Scientific Computation"
Other Authors:	Kulisch, Ulrich, Stetter, Hans J. 1930-
Format:	Book
Published:	Wien New York Springer-Verlag 1988
Series:	Computing. Supplementum 6
Subjects:	Numerical calculations > Verification > Congresses Algorithms > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scientific computation with automatic result verification
Published: (1988)

Numerical computational methods
by: Patil, P. B 1941- Prabhakar Baliram
Published: (2006)

Algorithms and computation 16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, proceedings
Published: (2005)

NUMERICAL METHODS IN ENGINEERING AND SCIENCE with Programs in FORTRAN 77, C & C++
by: B.S. Grewal, et al.
Published: (2005)

Kaedah berangka
by: Chiam Tee Chye
Published: (1990)

Applied numerical methods
by: Carnahan, Brice
Published: (1969)

Arms control verification the technologies that make it possible Proceedings of the ...
Published: (1986)

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

Computer arithmetic and enclosure methods proceedings of the third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991
Published: (1992)

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

Algorithms and computation
Published: (1992)

Guide to scientific computing
by: Turner, P. R 1948- Peter R.
Published: (2000)

Further numerical methods in Basic
by: Scraton, R. E
Published: (1987)

Numerical analysis and scientific computation
by: Leader, Jeffery J
Published: (2004)

Numerical analysis and scientific computation
by: Leader, Jeffrey J
Published: (2004)

Numerical analysis 1999
Published: (2000)

Numerical mathematics and advanced applications proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications, Santiago de Compostela, Spain, July 2005
Published: (2006)

Numerical methods for scientific and engineering computation
by: Jain, M. K. 1932- Mahinder Kumar
Published: (2007)

Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Published: (2003)

Program verification
by: Francez, Nissim
Published: (1992)

Algorithms for RPN calculators
by: Ball, John A. 1935-
Published: (1978)

Numerical analysis in modern scientific computing an introduction
by: Deuflhard, Peter
Published: (2003)

Numerical methods in engineering theory and applications proceedings of the ... held 7-11 January, 1990
Published: (1990)

Program verification fundamental issues in computer science
Published: (1993)

Systems and software verification model-checking techniques and tools
Published: (2001)

Verification of reactive systems formal methods and algorithms
by: Schneider, Klaus 1967-
Published: (2004)

Principles of functional verification
by: Meyer, Andreas
Published: (2004)

Standardized functional verification
by: Wiemann, Alan
Published: (2008)

An introduction to scientific computing twelve computational projects solved with MATLAB
Published: (2007)

Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Published: (2007)

Numerical methods, algorithms, and tools in C#
by: Dos Passos, Waldemar
Published: (2010)

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

Numerical methods in thermal problems proceedings of the Second International Conference held in Venice, Italy on 7th-10th July, 1981
Published: (1981)

Numerical analysis mathematics of scientific computing
by: Kincaid, David
Published: (1991)

Numerical analysis mathematics of scientific computing
by: Kincaid, David
Published: (2002)

Numerical analysis mathematics of scientific computing
by: Kincaid, David David Ronald
Published: (1996)

Computational mathematics
Published: (2005)

Numerical methods in industrial forming processes
Published: (1986)

Progress on meshless methods
Published: (2009)

Hardware design verification simulation and formal method-based approaches
by: Lam, William K. C. 1962-
Published: (2005)