Developments in Reliable Computing
Editat de Tibor Csendesen Limba Engleză Paperback – dec 2010
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 621.17 lei 6-8 săpt. | |
| SPRINGER NETHERLANDS – dec 2010 | 621.17 lei 6-8 săpt. | |
| Hardback (1) | 627.45 lei 6-8 săpt. | |
| SPRINGER NETHERLANDS – 31 ian 2000 | 627.45 lei 6-8 săpt. |
Preț: 621.17 lei
Preț vechi: 730.79 lei
-15% Nou
Puncte Express: 932
Preț estimativ în valută:
109.93€ • 128.93$ • 96.39£
109.93€ • 128.93$ • 96.39£
Carte tipărită la comandă
Livrare economică 24 ianuarie-07 februarie 26
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.