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

Suchergebnisse

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

RVK

Schlagwort

24 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Lecture notes in computer science
    Berlin, New York: Springer-Verlag, 1973-1996
    Online Zeitschrift, Elektronische Ressource
    Zugriff:
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications
    edited by Michael R. Berthold
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Linked Open Data -- Creating Knowledge Out of Interlinked Data: Results of the LOD2 Project
    edited by Sören Auer, Volha Bryl, Sebastian Tramp
    Cham: Springer International Publishing, 2014
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  4. Detailansicht für Treffer 4 ö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
  5. Detailansicht für Treffer 5 ö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
  6. Detailansicht für Treffer 6 ö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
  7. Detailansicht für Treffer 7 ö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
  8. Detailansicht für Treffer 8 ö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
  9. Detailansicht für Treffer 9 ö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
  10. Detailansicht für Treffer 10 ö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 11 ö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 12 ö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 13 ö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 14 ö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 15 ö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 16 ö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
  17. Detailansicht für Treffer 17 ö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
  18. Detailansicht für Treffer 18 öffnen
    XxAI - Beyond Explainable AI: International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers
    Holzinger, Andreas ; Goebel, Randy ; et al.
    Cham: Springer International Publishing AG, 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Volltext
  19. Detailansicht für Treffer 19 öffnen
    Electronic Voting: 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4–7, 2022, Proceedings
    edited by Robert Krimmer, Melanie Volkamer, David Duenas-Cid, Peter Rønne, Micha Germann
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext
    Volltext
  20. Detailansicht für Treffer 20 öffnen
    Electronic Voting: 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3–6, 2023, Proceedings
    edited by Melanie Volkamer, David Duenas-Cid, Peter Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodriguez Pérez, Iuliia Spycher-Krivonosova
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    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 -