Zum Inhalt springen

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

  4. Kaye, Richard [HerausgeberIn]

    Automorphisms of first-order structures

    Bücher
    Schließen

    Merkliste

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

    Oxford: Clarendon Press, 1994

    Erschienen in: Oxford science publications

  8. Iovino, José [HerausgeberIn]

    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
    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 [VerfasserIn] ; 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

  17. Guilloud, Simon [VerfasserIn]; Gambhir, Sankalp [VerfasserIn]; Kunčak, Viktor [VerfasserIn] ; Simon Guilloud and Sankalp Gambhir and Viktor Kunčak [MitwirkendeR]

    LISA - A Modern Proof System

    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, 2023

  18. Schirrmacher, Nicole [VerfasserIn]; Siebertz, Sebastian [VerfasserIn]; Vigny, Alexandre [VerfasserIn] ; Nicole Schirrmacher and Sebastian Siebertz and Alexandre Vigny [MitwirkendeR]

    First-Order Logic with Connectivity Operators

    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

  19. Siebertz, Sebastian [VerfasserIn] ; 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 [VerfasserIn]; Ossona de Mendez, Patrice [VerfasserIn]; Siebertz, Sebastian [VerfasserIn] ; Jaroslav Nešetřil and Patrice Ossona de Mendez and Sebastian Siebertz [MitwirkendeR]

    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