Developments in Reliable Computing
Editat de Tibor Csendesen Limba Engleză Paperback – dec 2010
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 635.23 lei 43-57 zile | |
SPRINGER NETHERLANDS – dec 2010 | 635.23 lei 43-57 zile | |
Hardback (1) | 641.66 lei 43-57 zile | |
SPRINGER NETHERLANDS – 31 ian 2000 | 641.66 lei 43-57 zile |
Preț: 635.23 lei
Preț vechi: 747.33 lei
-15% Nou
Puncte Express: 953
Preț estimativ în valută:
121.57€ • 126.65$ • 101.08£
121.57€ • 126.65$ • 101.08£
Carte tipărită la comandă
Livrare economică 10-24 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789048153503
ISBN-10: 9048153506
Pagini: 416
Ilustrații: XII, 404 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:1999
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048153506
Pagini: 416
Ilustrații: XII, 404 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:1999
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.