Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)
Stichwort auswählen
Alle Stichworte
Algorithm (1)
Automatic Result (1)
C++ And C-Xsc (1)
C++ und C-Xsc (1)
Interval Arithmetic (1)
Intervallarithmetik (1)
Numerical Analysis (1)
Numerics (1)
Numerik (1)
Optimization (1)
Program Verification (1)
Programming (1)
Scientific Computing (1)
Self-Validating Numerics (1)
Simplification (1)
Verificatio (1)
Verification (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Numerische Mathematik (2)
Sprache auswählen
Sprachen
Englisch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (2)
Nur mit
-Notizen
Auf Lager
Alles
Nur Personen
Nur Titel
ähnliche Begriffe
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Sie haben nach
hocks, matthias
gesucht
Gefundene Autoren:
Matthias Hocks
eng
Rolf Hammer / Dietmar Ratz …
C++ Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Programs
Springer Berlin Heidelberg
2011
Taschenbuch
404 Seiten
117,69
€
in Kürze
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. T…
eng
Rolf Hammer / Dietmar Ratz …
Numerical Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Springer Berlin Heidelberg
2011
Taschenbuch
364 Seiten
106,99
€
in Kürze
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic nu…