Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers /

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers /

Saved in:

Bibliographic Details
Author / Creator:	Alt, René.
Imprint:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 2991
Subject:	Computer science Computer software Electronic data processing Numerical analysis Software engineering
Format:	E-Resource
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/7354249

Hidden Bibliographic Details
Other authors / contributors:	Frommer, Andreas. Kearfott, R. Baker. Luther, Wolfram. SpringerLink (Online service)
ISBN:	9783540212607

Similar Items

Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Published: (2004)

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Published: (2004)

Quality of numerical software : assessment and enhancement : proceedings of the IFIP TC2/WG2.5 Working Conference on the Quality of Numerical Software, Assessment and Enhancement Oxford, United Kingdom, 8-12 July 1996 /
Published: (1997)

Report of the Panel on Future Directions in Computational Mathematics, Algorithms, and Scientific Software /
Published: (1985)

Numerical Analysis and Its Applications : First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings /
by: Vulkov, Lubin
Published: (1997)

Optimization software guide /
by: Moré, Jorge J.
Published: (1993)

Programming for Computations - Python : a Gentle Introduction to Numerical Simulations with Python 3.6 /
by: Linge, Svein
Published: (2020)

Grid-based problem solving environments : IFIP TC2/WG 2.5 Working Conference on Grid-based Problem Solving Environments : implications for development and deployment of numerical software, July 17-21, 2006, Prescott, Arizona, USA /
Published: (2007)

The elements of MATLAB style /
by: Johnson, Richard K., 1948-
Published: (2011)

Reliable implementation of real number algorithms : theory and practice : International Seminar, Dagstuhl Castle, Germany, January 8-13, 2006, revised papers /
Published: (2008)

Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 /
Published: (1977)

Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 /
Published: (1977)

Programming for Computations - Python : a Gentle Introduction to Numerical Simulations with Python /
by: Linge, Svein
Published: (2016)

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published: (2017)

Lectures on the Complexity of Bilinear Problems /
by: Groote, Hans F.
Published: (1987)

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /
Published: (2017)

Software testing, verification & reliability.
Published: (1997)

Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers /
Published: (2002)

Writing scientific software : a guide for good style /
by: Oliveira, Suely
Published: (2006)

Writing scientific software : a guide for good style /
by: Oliveira, Suely
Published: (2006)

Algorithms -- ESA '94 : Second Annual European Symposium Utrecht, the Netherlands, September 26-28, 1994 Proceedings /
by: Leeuwen, Jan
Published: (1994)

Software verification and validation : an engineering and scientific approach /
by: Fisher, Marcus S.
Published: (2007)

Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
Published: (2019)

Scientific computing with automatic result verification /
Published: (1993)

Graph drawing software /
Published: (2004)

The business value of software /
by: Harris, Michael D. S.
Published: (2018)

Mathematical aspects of scientific software /
Published: (1988)

Software design for engineers and scientists /
by: Robinson, John A.
Published: (2004)

Numerical recipes : the art of scientific computing.
Published: (2007)

Numerical algorithms /
Published: (1986)

Accuracy and stability of numerical algorithms /
by: Higham, Nicholas J., 1961-
Published: (2002)

Accuracy and stability of numerical algorithms /
by: Higham, Nicholas J., 1961-
Published: (1996)

Computer software.
by: Knight, Geoffrey
Published: (1968)

Software development /
Published: (2008)

Graph Transformations in Computer Science : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings /
by: Schneider, Hans J.
Published: (1994)

Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing : EPASA 2015, Tsukuba, Japan, September 2015 /
Published: (2017)

Accounting for software costs /
by: McGee, Robert W.
Published: (1984)

Computational numerical methods /
by: Phillips, Chris, 1950-
Published: (1986)

Scientific Computing and Algorithms in Industrial Simulations : Projects and Products of Fraunhofer SCAI /
Published: (2017)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Published: (2002)