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

Suchergebnisse

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

Erscheinungszeitraum

Zugang

Form

Literaturtyp

Sprache

RVK

Schlagwort

90 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 ö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
  2. Detailansicht für Treffer 22 ö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
  3. Detailansicht für Treffer 23 öffnen
    Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
    edited by Hana Chockler, Georg Weissenbacher
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  4. Detailansicht für Treffer 24 öffnen
    Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    edited by Hana Chockler, Georg Weissenbacher
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  5. Detailansicht für Treffer 25 öffnen
    Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings
    edited by Patrick Horain, Catherine Achard, Malik Mallem
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  6. Detailansicht für Treffer 26 öffnen
    Computer aided verification, Part II.: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings
    editors, Sharon Shoham, Yakir Vizel
    Cham: Springer Nature (2022) ; Cham: Springer International Publishing AG (2022), 2022; 2022
    Online Konferenzschrift, Monographie, Teil eines Werkes, Elektronische Ressource
    Zugriff:
    Volltext
  7. Detailansicht für Treffer 27 öffnen
    Computer aided verification, Part I.: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings
    editors, Sharon Shoham, Yakir Vizel
    Cham: Springer Nature (2022) ; Cham: Springer International Publishing AG (2022), 2022; 2022
    Online Konferenzschrift, Monographie, Teil eines Werkes, Elektronische Ressource
    Zugriff:
    Volltext
  8. Detailansicht für Treffer 28 ö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
  9. Detailansicht für Treffer 29 öffnen
    Haptics: 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings
    editors, Hasti Seifi [et al.]
    Cham: Springer International Publishing AG, 2022
    Online Konferenzschrift, Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  10. Detailansicht für Treffer 30 ö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
    Volltext
  11. Detailansicht für Treffer 31 öffnen
    Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
    edited by Sharon Shoham, Yakir Vizel
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  12. Detailansicht für Treffer 32 öffnen
    Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
    edited by Sharon Shoham, Yakir Vizel
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  13. Detailansicht für Treffer 33 ö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
    Volltext
  14. Detailansicht für Treffer 34 ö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 Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  15. Detailansicht für Treffer 35 öffnen
    Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III
    edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot
    1st ed. 2022.. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
  16. Detailansicht für Treffer 36 öffnen
    Automated reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
    editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
    Cham: Springer Nature (2022) ; Cham: Springer International Publishing AG (2022), 2022; 2022
    Online Konferenzschrift, Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  17. Detailansicht für Treffer 37 öffnen
    Journal on data semantics
    Berlin, New York: Springer, 2012; 2020; 2003-2019; 2021
    Online Zeitschrift, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  18. Detailansicht für Treffer 38 öffnen
    Language Technologies for the Challenges of the Digital Age: 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings
    edited by Georg Rehm, Thierry Declerck
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  19. Detailansicht für Treffer 39 öffnen
    Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers
    edited by Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  20. Detailansicht für Treffer 40 öffnen
    Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools
    edited by Ivan Ganchev, R. D. van der Mei, Hans van den Berg
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext

Artikel & mehr

Andere Kataloge

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