Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
11 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Scientific computing with automatic result verification
    ed. by E. Adams ..
    Boston [u.a.]: Acad. Pr, 1993
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Computer arithmetic and self validating numerical methods
    ed. by Christian Ullrich
    1. [Dr.]. - Boston [u.a.]: Academic Pr, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Lectures on finite precision computations
    Françoise Chaitin-Chatelin ; Valérie Frayssé
    Philadelphia, Pa.: SIAM, Soc. for Industrial and Applied Mathematics, 1996
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Accuracy and stability of numerical algorithms
    Nicholas J. Higham
    Philadelphia, Pa.: SIAM, 1996
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Wissenschaftliches Rechnen mit Ergebnisverifikation: eine Einführung
    Ulrich Kulisch (Hrsg.) Mit Beitr. von D. Cordes ..
    Braunschweig [u.a.]: Vieweg, 1989
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Reliability in computing: the role of interval methods in scientif. computing
    ed. by Ramon E. Moore
    1. [Dr.]. - Boston, [Mass.] [u.a.]: Acad. Pr, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Computer arithmetic and enclosure methods: proceedings of the Third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1 - 4 October 1991
    ed. by Lidiya Atanassova ..
    Amsterdam [u.a.]: North-Holland, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Handbook of floating point arithmetic
    Jean-Michel Muller ..
    Boston [u.a.]: Birkhäuser, 2010
    Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Genaue Rechnerarithmetik: Intervallrechnung und Programmieren mit PASCAL-SC
    von Immo Kießling ; Martin Lowes ; Augustin Paulik
    Stuttgart: Teubner, 1988
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Computerarithmetic: scientific computation and programming languages
    ed. by Edgar Kaucher ..
    Stuttgart: Teubner, 1987
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Handbook of floating-point arithmetic
    Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
    Second edition. - Cham, Switzerland: Birkhäuser, [2018]
    Monographie, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -