Zum Inhalt springen

  12. Goos, Astrid [VerfasserIn]; Ratz, Dietmar [VerfasserIn]

    Praktische Realisierung und Test eines Verifikationsverfahrens zur Lösung globaler Optimierungsprobleme mit Ungleichungsnebenbedingungen

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    KITopen (Karlsruhe Institute of Technologie), 2007-08-02

  16. Kulisch, Ulrich [VerfasserIn] ; Hammer, Rolf [Sonstige Person, Familie und Körperschaft]; Hocks, Matthias [Sonstige Person, Familie und Körperschaft]; Ratz, Dietmar [Sonstige Person, Familie und Körperschaft]

    C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  17. Kulisch, Ulrich [VerfasserIn] ; Hammer, Rolf [Sonstige Person, Familie und Körperschaft]; Ratz, Dietmar [Sonstige Person, Familie und Körperschaft]; Hocks, Matthias [Sonstige Person, Familie und Körperschaft]

    Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

    Erschienen in: Springer Series in Computational Mathematics ; 21- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  20. Ratz, Dietmar [VerfasserIn]; Scheffler, Jens [VerfasserIn]; Seese, Detlef [VerfasserIn]

    Grundkurs Programmieren in Java. Bd. 1: Der Einstieg in Programmierung und Objektorientierung

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Carl Hanser Verlag GmbH und Co. KG, 2001-01-01