Zum Hauptinhalt springen
Bibliothek der HS Gesundheit
Hochschule für Gesundheit University of Applied Sciences

Suchergebnisse

Bibliothekskatalog
28 Treffer

Suchmaske

Suchtipp für den Bereich Bibliothekskatalog: 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"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Form

Literaturtyp

Sprache

RVK

Schlagwort

28 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
    edited by Dirk Beyer, Ana Cavalcanti
    1st ed. 2024.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  2. Detailansicht für Treffer 22 öffnen
    Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
    edited by Stephanie Weirich
    1st ed. 2024.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  3. Detailansicht für Treffer 23 öffnen
    Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
    Platzer, André ; Sutcliffe, Geoff
    Cham: Springer International Publishing AG, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  4. Detailansicht für Treffer 24 öffnen
    Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I
    edited by Alessandro Crimi, Spyridon Bakas
    1st ed. 2022.. - Cham: Springer Nature (2022) ; Cham: Springer International Publishing; Imprint: Springer (2022), 2022; 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  5. Detailansicht für Treffer 25 öffnen
    Fundamental approaches to software engineering: 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    editors, Einar Broch Johnsen, Manuel Wimmer
    Cham: Springer International Publishing AG, 2022
    Online Konferenzschrift, Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  6. Detailansicht für Treffer 26 öffnen
    Tools and algorithms for the construction and analysis of systems: 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II
    Fisman, Dana ; Rosu, Grigore
    Cham: Springer International Publishing AG, 2022
    Online Konferenzschrift, Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  7. Detailansicht für Treffer 27 öffnen
    Tools and algorithms for the construction and analysis of systems: 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    editors, Dana Fisman, Grigore Rosu
    Cham: Springer International Publishing AG, 2022
    Online Konferenzschrift, Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  8. Detailansicht für Treffer 28 öffnen
    Programming languages and systems: 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    editor, Ilya Sergey
    Cham: Springer International Publishing AG, 2022
    Online Konferenzschrift, Monographie, Elektronische Ressource
    Zugriff:
    Volltext

Artikel & mehr

Andere Kataloge

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