Nur in Feld suchen:

  • Alles
  • Person/Institution
  • Titel
  • Schlagwort/Stichwort
  • Barcode
  • ISBN/ISSN/ISMN/DOI
  • RVK-Notation
  • Signatur
  • Verlag/Ort
  • Serie/Reihe
  • Provenienz

Zuletzt gesuchte Begriffe:

Ergebnisse

1 – 20 von 49
Zum Inhalt springen
  13. Beohar, Harsh [Verfasser:in] ; Gurke, Sebastian [Verfasser:in] ; König, Barbara [Verfasser:in] ; Messing, Karla [Verfasser:in] ; Harsh Beohar and Sebastian Gurke and Barbara König and Karla Messing [Mitwirkende:r]

    Hennessy-Milner Theorems via Galois Connections

    Medientyp: Aufsätze
    Online ansehen
    Schließen
    Merkliste 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

  15. Forster, Jonas [Verfasser:in] ; Schröder, Lutz [Verfasser:in] ; Wild, Paul [Verfasser:in] ; Beohar, Harsh [Verfasser:in] ; Gurke, Sebastian [Verfasser:in] ; König, Barbara [Verfasser:in] ; Messing, Karla [Verfasser:in] ; Jonas Forster and Lutz Schröder and Paul Wild and Harsh Beohar and Sebastian Gurke and Barbara König and Karla Messing [Mitwirkende:r]

    Quantitative Graded Semantics and Spectra of Behavioural Metrics

    Medientyp: Aufsätze
    Online ansehen
    Schließen
    Merkliste 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, 2025

  16. Beohar, Harsh [Verfasser:in] ; Gurke, Sebastian [Verfasser:in] ; König, Barbara [Verfasser:in] ; Messing, Karla [Verfasser:in] ; Forster, Jonas [Verfasser:in] ; Schröder, Lutz [Verfasser:in] ; Wild, Paul [Verfasser:in] ; Harsh Beohar and Sebastian Gurke and Barbara König and Karla Messing and Jonas Forster and Lutz Schröder and Paul Wild [Mitwirkende:r]

    Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach

    Medientyp: Aufsätze
    Online ansehen
    Schließen
    Merkliste 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, 2024

  20. Messing, Karen ; Silverstein, Barbara A

    Gender and occupational health

    Medientyp: Aufsätze
    Online ansehen
    Schließen

    Zugang

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

    Scandinavian Journal of Work, Environment and Health, 2009

    Erschienen in: Scandinavian Journal of Work, Environment & Health, 35 (2009) 2, Seite 81-83
1 – 20 von 49

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.
Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.