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

Suchergebnisse

Bibliothekskatalog
8 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

8 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
    Panda, Dhabaleswar K. ; Sullivan, Michael
    Cham: Springer Nature (2022) ; Cham: Springer International Publishing AG (2022), 2022; 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
    edited by Constantin Enea, Akash Lal
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
    edited by Constantin Enea, Akash Lal
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
    edited by Constantin Enea, Akash Lal
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
    Aloulou, Hamdi ; Abdulrazak, Bessam ; et al.
    Cham: Springer Nature (2022) ; Cham: Springer International Publishing AG (2022), 2022; 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  6. Detailansicht für Treffer 6 ö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
  7. Detailansicht für Treffer 7 ö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
  8. Detailansicht für Treffer 8 öffnen
    Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
    edited by Leen Lambers, Sebastián Uchitel
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, 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 -