Zum Inhalt springen

  1. Jakob, Jörg-Ingo [Verfasser:in] ; Meyer, Wolfgang [Sonstige Person, Familie und Körperschaft]; Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Arbeitsbereich für Prozessautomatisierungstechnik

    Optimierte Software- und Hardware-Strukturen für Constraint-Netze - [Als Ms. gedr.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Shaker, 1996

    Erschienen in: Berichte aus der Informatik

  2. Mackens, Wolfgang [Herausgeber:in]; Rump, Siegfried M. [Herausgeber:in] ; Technische Universität Hamburg-Harburg Arbeitsbereich Mathematik, Workshop Software Engineering im Scientific Computing 1995 Hamburg

    Software engineering im scientific computing : Beiträge eines Workshops in Hamburg, 6. - 8. Juni 1995

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig [u.a.]: Vieweg, 1996

    Erschienen in: Vieweg scientific computing

  3. Schütt, Holger [Verfasser:in] ; Cremer, Michael [Sonstige Person, Familie und Körperschaft]; Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Arbeitsgruppe Automatisierungstechnik

    Entwicklung und Erprobung eines sehr schnellen, bitorientierten Verkehrssimulationssystems für Straßennetze

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hamburg-Harburg: Arbeitsgruppe Automatisierungstechnik, Technische Univ., 1990

    Erschienen in: Technische Universität Hamburg-Harburg: Schriftenreihe der Arbeitsgruppe Automatisierungstechnik ; 6

  4. Putensen, Karin [Verfasser:in] ; Cremer, Michael [Sonstige Person, Familie und Körperschaft]; Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Arbeitsgruppe Automatisierungstechnik

    Ein makroskopisches Modell des Verkehrsablaufs auf Stadtstraßen und seine Anwendung in der Leittechnik

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hamburg-Harburg: Arbeitsgruppe Automatisierungstechnik, Techn. Univ., 1994

    Erschienen in: Technische Universität Hamburg-Harburg: Schriftenreihe der Arbeitsgruppe Automatisierungstechnik ; 12

  5. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Verification methods for dense and sparse systems of equations - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Wien [u.a.]: Springer], 1994 ; 2008

    Erschienen in: Topics in validated computations / J. Herzberger, ed. - 1994, pp. 63-136, 1994

  6. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Algebraic computation, numerical computation and verified inclusions - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Berlin [u.a.]: Springer], 1988 ; 2008

    Erschienen in: Trends in computer algebra. - 1988

  7. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Algorithms for verified inclusions: theory and practice - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Boston [u.a.]: Acad. Press], 1988 ; 2008

    Erschienen in: Reliability in computing : the role of interval methods in scientific computing. - 1988

  8. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Calculus - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Braunschweig [u.a.]: Vieweg], 1989 ; 2008

    Erschienen in: Wissenschaftliches Rechnen mit Ergebnisverifikation / U. Kulisch (Hrsg.). - 1989

  9. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Garantiert richtige Ergebnisse auf Rechenanlagen - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [München: IBM Deutschland], 1988 ; 2008

    Erschienen in: Informationsverarbeitung in Lehre und Forschung. - 1988

  10. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Guaranteed inclusions for the complex generalized eigenproblem - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Wien [u.a.]: Springer], 1989 ; 2008

    Erschienen in: Computing <Wien> ; 42.1989

  11. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Lineare Probleme - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Braunschweig [u.a.]: Vieweg], 1989 ; 2008

    Erschienen in: Wissenschaftliches Rechnen mit Ergebnisverifikation / U. Kulisch (Hrsg.). - 1989

  12. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Rechnervorfuehrung : Pakete fuer Standardprobleme der Numerik - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Braunschweig [u.a.]: Vieweg], 1989 ; 2008

    Erschienen in: Wissenschaftliches Rechnen mit Ergebnisverifikation / U. Kulisch (Hrsg.). - 1989

  13. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Introduction to ACRITH : accurate scientific algorithms - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Stuttgart: Teubner], 1987 ; 2008

    Erschienen in: Computerarithmetic / E. Kaucher ... (eds.). - 1987

  14. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    New results on verified inclusions - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Berlin [u.a.]: Springer], 1986 ; 2008

    Erschienen in: Proceedings of the Symposium on Accurate Scientific Computation. - 1986

  15. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Sichere Ergebnisse auf Rechenanlagen - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Berlin: Springer], 1986 ; 2008

    Erschienen in: Informatik-Spektrum ; 9.1986

  16. Rump, Siegfried M. [Sonstige Person, Familie und Körperschaft] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Exakte Fehlerschranken für Eigenwerte und Eigenvektoren - [Elektronische Ressource]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Potsdam [u.a.]: Wiley-VCH], 1981 ; 2008

    Erschienen in: Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) ; 61.1981