Catalogo · 9783519024293
Wissenschaftliches Rechnen und Programmiersprachen
ISBN 9783519024293
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Computer arithmetic and validity
Ulrich Kulisch
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Ulrich Kulisch
Scientific computation with automatic result verification
Ulrich Kulisch, Hans J. Stetter
Perspectives on enclosure methods
Ulrich Kulisch
Numerical Toolbox for Verified Computing I
Ulrich Kulisch
C++ toolbox for verified computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Advanced arithmetic for the digital computer
Ulrich Kulisch
Überblicke Mathematik 1998
Albrecht Beutelspacher, Norbert Henze, Ulrich Kulisch, Hans Wußing
Scientific computing with automatic result verification
Ulrich Kulisch
Rechnerorientierte Verfahren
Bruno Buchberger, Bernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch
Rechnerorientierte Verfahren
Bernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch, Siegfried M. Rump, Bruno Buchberger
Bible
Bible
Verba volant · scripta manent