Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Nume...
Vollständige Beschreibung
Libristo-Code: 01559177
?
141 b
141 b
57.79
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 11-15 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
Schauspielerin
&
Polyglotte
EWA KASP
für
Video abspielen
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Informationen zum Buch
Vollständiger Name
Numerical Software with Result Verification
Autor
Rene Alt, Andreas Frommer, R. Baker Kearfott
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2004
Anzahl der Seiten
315
EAN
9783540212607
ISBN
3540212604
Libristo-Code
01559177
Verlag
Springer, Berlin
Gewicht
480
Abmessungen
155 x 233 x 17
Kategorie
Mathematik und Naturwissenschaften
>
Mathematik
>
Mathematische Analysis, allgemein
>
Numerische Mathematik
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Algorithmen und Datenstrukturen
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?