Vor Ort
Merkzettel Warenkorb
Produktbild: Developments in Reliable Computing
- 11%

Developments in Reliable Computing

11% sparen

96,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.01.2000

Abbildungen

XII, 404 p.

Herausgeber

Tibor Csendes

Verlag

Springer Netherland

Seitenzahl

404

Maße (L/B/H)

24,1/16/2,7 cm

Gewicht

787 g

Auflage

1999

Sprache

Englisch

ISBN

978-0-7923-6057-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.01.2000

Abbildungen

XII, 404 p.

Herausgeber

Tibor Csendes

Verlag

Springer Netherland

Seitenzahl

404

Maße (L/B/H)

24,1/16/2,7 cm

Gewicht

787 g

Auflage

1999

Sprache

Englisch

ISBN

978-0-7923-6057-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Developments in Reliable Computing
  • Rigorous Global Search: Industrial Applications.- Influences of Rounding Errors in Solving Large Sparse Linear Systems.- A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions.- Towards an Optimal Control of the Wrapping Effect.- On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic.- A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature.- INTLAB — INTerval LABoratory.- Verified Calculation of the Solution of Algebraic Riccati Equation.- Expression Concepts in Scientific Computing.- Performance Evaluation Technique STU and libavi Library.- Single-Number Interval I/O.- Interval Analysis for Embedded Systems.- Prediction by Extrapolation for Interval Tightening Methods.- The Contribution of T. Sunaga to Interval Analysis and Reliable Computing.- Surface-to-Surface Intersection with Complete and Guaranteed Results.- An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ?2.- Comparing Partial Consistencies.- Verified Computation of Fast Decreasing Polynomials.- An Accurate Distance-Calculation Algorithm for Convex Polyhedra.- Verified Error Bounds for Linear Systems through the Lanczos Process.- A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes.- A Few Results on Table-Based Methods.- An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.- The Interval-Enhanced GNU Fortran Compiler.- Outer Estimation of Generalized Solution Sets to Interval Linear Systems.- A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic.- A Numerical Verification Method ofSolutions for the Navier-Stokes Equations.- Convex Sets of Full Rank Matrices.- Multiaspect Interval Types.- MATLAB-Based Analysis of Roundoff Noise.- SCAN-98 Collected Bibliography.