Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
6 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & 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 / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    SL-COMP: Competition of Solvers for Separation Logic
    Sighireanu, Mihaela ; Navarro Pérez, Juan ; et al.
    In: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019 ; https://hal.science/hal-02388022 ; Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    CLASSIFICATION AND ASSESSMENT OF ABANDONED MINING WASTE FACILITIES IN THE CZECH REPUBLIC.
    Raus, Miroslav ; Strupl, Vit ; et al.
    In: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM, Jg. 17 (2017), Heft 1-4, S. 117-124
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Preface to the CERME9 Proceedings
    Durand-Guerrier, Viviane ; Prediger, Susanne ; et al.
    In: CERME 9 - Ninth Congress of the European Society for Research in Mathematics Education ; https://hal.science/hal-01291784 ; CERME 9 - Ninth Congress of the European Society for Research in Mathematics Education, Charles University in Prague, Faculty of Education; ERME, Feb 2015, 2015
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Imbalances in Hypercubic Billiard Words
    Andrieu, Mélodie ; Vivion, Léo ; et al.
    In: 18th Mons Theoretical Computer Science Days ; https://hal.science/hal-04292038 ; 18th Mons Theoretical Computer Science Days, Czech Technical University, Sep 2022, Prague, 2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Comprehensive studies on third phase behavior during solvent extraction of U(vi)/Th(iv) mixtures
    Durain, J. ; Bourgeois, D. ; et al.
    In: Radchem 2018 ; https://cea.hal.science/cea-02339289 ; Radchem 2018, May 2018, Marianske Lanze, Czech Republic, 2018
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    An Analytical Model for the LISP Cache Size
    Coras, Florin ; Cabellos-Aparicio, Albert ; et al.
    In: Lecture Notes in Computer Science ; 11th International Networking Conference (NETWORKING) ; https://hal.inria.fr/hal-01531121 ; 11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.409-420, ⟨10.1007/978-3-642-30045-5_31⟩, 2012
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -