Zum Inhalt springen

  3. Hofmann, Martin [Herausgeber:in] ; 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

    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 [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6604

  8. Iovino, José [Herausgeber:in]

    Beyond first order model theory

    Bücher
    Schließen

    Merkliste

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

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

  12. Ulbricht, Heinz [Sonstige Person, Familie und Körperschaft]; Schweitzer, Frank [Sonstige Person, Familie und Körperschaft] ; 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

    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.

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

    Erschienen in: Rostocker physikalische Manuskripte ; 1000

  13. Rackwitz, Rüdiger [Verfasser:in] ; Fießler, Bernd [Sonstige Person, Familie und Körperschaft]

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

    Mikroformen
    Schließen

    Merkliste

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

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

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

  14. Fießler, Bernd [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Schließen

    Merkliste

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

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

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

  19. Siebertz, Sebastian [Verfasser:in] ; Kreutzer, Stephan [Sonstige Person, Familie und Körperschaft]; Ossona de Mendez, Patrice [Sonstige Person, Familie und Körperschaft]; Král’, Daniel [Sonstige Person, Familie und Körperschaft]

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

    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: Universitätsverlag der TU Berlin, 2016

    Erschienen in: Foundations of computing ; 5

  20. Nešetřil, Jaroslav [Verfasser:in]; Ossona de Mendez, Patrice [Verfasser:in]; Siebertz, Sebastian [Verfasser:in] ; Jaroslav Nešetřil and Patrice Ossona de Mendez and Sebastian Siebertz [Mitwirkende:r]

    Structural Properties of the First-Order Transduction Quasiorder

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022