Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 24.09.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: Scientific Computation with Automatic Result Verification
  • Produktbild: Scientific Computation with Automatic Result Verification
Band 6

Scientific Computation with Automatic Result Verification

Aus der Reihe Computing Supplementa

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.10.1988

Abbildungen

VIII, 244 p.

Herausgeber

Ulrich Kulisch + weitere

Verlag

Springer Wien

Seitenzahl

244

Maße (L/B/H)

24,4/17/1,5 cm

Gewicht

448 g

Auflage

Softcover reprint of the original 1st ed. 1988

Sprache

Englisch

ISBN

978-3-211-82063-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.10.1988

Abbildungen

VIII, 244 p.

Herausgeber

Verlag

Springer Wien

Seitenzahl

244

Maße (L/B/H)

24,4/17/1,5 cm

Gewicht

448 g

Auflage

Softcover reprint of the original 1st ed. 1988

Sprache

Englisch

ISBN

978-3-211-82063-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Scientific Computation with Automatic Result Verification
  • Produktbild: Scientific Computation with Automatic Result Verification
  • Automatic Result Verification.- I. Numerical Methods with Result Verification.- A Method for Producing Verified Results for Two-point Boundary Value Problems.- A Kind of Difference Method for Enclosing Solutions of Ordinary Linear Boundary Value Problems.- A Self-validating Method for Solving Linear Programming Problems with Interval Input Data.- Enclosing the Solutions of Linear Equations by Interval Iterative Processes.- Errorbounds for Quadratic Systems of Nonlinear Equations Using the Precise Scalar Product.- Inclusion of Eigenvalues of General Eigenvalue Problems of Matrices.- Verified Inclusion for Eigenvalues of Certain Difference and Differential Equations.- II. Applications in the Technical Sciences.- VIB — Verified Inclusions of Critical Bending Vibrations.- Stability Test for Periodic Differential Equations on Digital Computers with Applications.- The Periodic Solutions of the Oregonator and Verification of Results.- On Arithmetical Problems of Geometric Algorithms in the Plane.- III. Improving the Tools.- Precise Evaluation of Polynomials in Several Variables.- Evaluation of Arithmetic Expressions with Guaranteed High Accuracy.- Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy.- Inverse Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy.- Inclusion Algorithms with Functions as Data.- FORTRAN-SC. A Study of a FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH.