Prof. Dr. Dietmar Ratz

Leiter Studiengang Wirtschaftsinformatik

Erzbergerstraße 121, Raum C566

Veröffentlichungen

  • Erweiterte Suche öffnen

  • 1992

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1992): PASCAL XSC Language Reference with Examples. Heidelberg: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1992) : An Inclusion Algorithm for Global Optimization in a Portable PASCAL-XSC Implementation In: Herzberger, Jürgen; Atanassova, Lidiya (Hg.): Computer Arithmetic and Enclosure Methods: Elsevier; Amsterdam: North-Holland, S. 329-338

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar : Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Dissertation: Universität Karlsruhe (TH)
  • 1991

  • Hammer, Rolf; Neaga, Michael; Ratz, Dietmar; Shiriaev, D. (1991): PASCAL-XSC - A New Language for Scientific Computing. In: Interval Computations (2), S. 47-81

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1991): PASCAL XSC Sprachbeschreibung mit Beispielen. Heidelberg: Springer-Verlag
  • 1990

  • Ratz, Dietmar (1990): Programmierpraktikum mit PASCAL-SC. In: Computer Theoretikum und Praktikum fur Physiker (5), S. 43-67

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1990): The Effects of the Arithmetic of Vector Computers on Basic Numerical Methods. In: IMACS Annals on Computing and Applied Mathematics (7), S. 499-514

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1989

  • Kulisch, Ulrich; Geörg, Stefan; Ratz, Dietmar (1989): Wissenschaftliches Rechnen mit Ergebnisverifikation - Eine Einführung. Berlin und Wiesbaden: Akademie Verlag und Vieweg

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML