Skip to contents

  1. Hofmann, Martin [Editor] ; FOSSACS 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Foundations of software science and computational structures : 14th international conference, FOSSACS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6604

  2. Iovino, José [Editor]

    Beyond first order model theory

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Boca Raton; London; New York: CRC Press, 2017-2023

  3. Ulbricht, Heinz [Other]; Schweitzer, Frank [Other] ; Wilhelm-Pieck-Universität Rostock Sektion Physik, Autumn School on Theory of Homogeneous Nucleation in First Order Phase Transitions 1 1986 Tessin

    Thermodynamics and kinetics of first-order phase transitions : selected lectures of the First Autumn School on "Theory of Homogeneous Nucleation in First-Order Phase Transitions", Tessin, 14. - 17. 10. 1986

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Rostock: Wilhelm-Pieck-Universität, Sektion Physik, 1987

    Published in: Rostocker physikalische Manuskripte ; 1000

  4. Rackwitz, Rüdiger [Author] ; Fießler, Bernd [Other]

    Zwei Anwendungen der Zuverlässigkeitstheorie erster Ordnung bei zeitlich veränderten Lasten = Two applications of first order reliability theory for time-variant loading

    Microforms
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    München: Techn. Univ. München, Laboratorium für den Konstruktiven Ingenieurbau, Sonderforschungsbereich 96, 1977 ; Mikrofiche-Ausg.

    Published in: Berichte zur Sicherheitstheorie der Bauwerke ; 17,mifi

  5. Fießler, Bernd [Other]

    Non-normal vectors, quadratic limit state criteria, systems and extreme loads in first order reliability theory = Zuverlässigkeitstheorie I. Ordnung und nicht-normale Vektoren, quadratische Grenzzustandsflächen, Tragsysteme bzw. aussergewöhnliche Einwirkungen

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    München: Sonderforschungsbereich 96, Laboratorium für den Konstruktiven Ingenieurbau (LKI), Techn. Univ., 1978

    Published in: Berichte zur Zuverlässigkeitstheorie der Bauwerke ; 29

  6. Siebertz, Sebastian [Author] ; Kreutzer, Stephan [Other]; Ossona de Mendez, Patrice [Other]; Král’, Daniel [Other]

    Nowhere dense classes of graphs : characterisations and algorithmic meta-theorems

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin: Universitätsverlag der TU Berlin, 2016

    Published in: Foundations of computing ; 5