Zum Hauptinhalt springen

Suchergebnisse

Katalog
Ermittle Trefferzahl…

Aufsätze & mehr
4 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Notation".

Suchergebnisse einschränken oder erweitern

4 Treffer

Sortierung: 
  1. Shankar, Saumya ; Rollet, Antoine ; et al.
    In: SPIN 2022 - 28th International Symposium on Model Checking of Software ; https://hal.science/hal-03758964 ; SPIN 2022 - 28th International Symposium on Model Checking of Software, May 2022, Chicago, United States. pp.114-133, ⟨10.1007/978-3-031-15077-7_7⟩, 2022
    Online Konferenz
  2. Hataishi, Evan ; Dutot, Pierre-François ; et al.
    In: Lecture Notes in Computer Science. ; Job Scheduling Strategies for Parallel Processing. JSSPP 2021. ; https://hal.science/hal-04418066, 2021
    Konferenz
  3. Fox, Amy Rae ; de Vries, Erica ; et al.
    In: Lecture Notes in Computer Science ; Diagrammatic Representation and Inference. Diagrams 2016. ; https://hal.science/hal-02050949 ; Diagrammatic Representation and Inference. Diagrams 2016., Aug 2016, Philadelphia, United States. pp.40-47, ⟨10.1007/978-3-319-42333-3_4⟩, 2016
    Konferenz
  4. Baker, P ; Cathey, T ; et al.
    In: Therapeutic innovation & regulatory science, Jg. 58 (2024), Heft 1, S. 11-15
    Online academicJournal

Elektronische Zeitschriften

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -