Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

Schlagwort

72 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    WALCOM: Algorithms and Computation: 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings
    edited by Petra Mutzel, Md. Saidur Rahman, Slamin
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2022 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext) Volltext
  2. Detailansicht für Treffer 42 öffnen
    Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
    edited by Sergiy Bogomolov, David Parker
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Springer Lecture Notes in Computer Science 2022 (Volltext) Volltext
  3. Detailansicht für Treffer 43 öffnen
    Transactions on Computational Science XXXIII
    edited by Marina L. Gavrilova, C.J. Kenneth Tan
    Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Volltext
  4. Detailansicht für Treffer 44 öffnen
    Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
    edited by Cliff Jones, Ji Wang, Naijun Zhan
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  5. Detailansicht für Treffer 45 öffnen
    Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    edited by Falk Howar, Jiří Barnat
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  6. Detailansicht für Treffer 46 öffnen
    Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers
    edited by Luca Foschini, Spyros Kontogiannis
    1st ed. 2023. - Cham: Springer International Publishing, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Springer Lecture Notes in Computer Science 2023 (Volltext) Volltext
  7. Detailansicht für Treffer 47 öffnen
    NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
    edited by Julia M. Badger, Kristin Yvonne Rozier
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  8. Detailansicht für Treffer 48 öffnen
    Knowledge Science, Engineering and Management: 16th International Conference, KSEM 2023, Guangzhou, China, August 16–18, 2023, Proceedings, Part II
    edited by Zhi Jin, Yuncheng Jiang, Robert Andrei Buchmann, Yaxin Bi, Ana-Maria Ghiran, Wenjun Ma
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Springer Lecture Notes in Computer Science 2023 (Volltext) Volltext
  9. Detailansicht für Treffer 49 öffnen
    Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022, Proceedings, Part I
    edited by Arnab Bhattacharya, Janice Lee Mong Li, Divyakant Agrawal, P. Krishna Reddy, Mukesh Mohania, Anirban Mondal, Vikram Goyal, Rage Uday Kiran
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2022 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext) Volltext
  10. Detailansicht für Treffer 50 öffnen
    Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation: First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
    edited by Rubina Polovina, Simon Polovina, Neil Kemp
    1st ed. 2022. - Cham: Springer Nature Switzerland, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Volltext
  11. Detailansicht für Treffer 51 öffnen
    Advances and Trends in Artificial Intelligence. From Theory to Practice: 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings
    edited by Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  12. Detailansicht für Treffer 52 öffnen
    Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
    edited by Kim Guldstrand Larsen, Tim Willemse
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  13. Detailansicht für Treffer 53 öffnen
    Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
    edited by Peter Csaba Ölveczky, Gwen Salaün
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  14. Detailansicht für Treffer 54 öffnen
    New Frontiers in Artificial Intelligence: JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers
    edited by Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  15. Detailansicht für Treffer 55 ö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
    edited by Dana Fisman, Grigore Rosu
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2022 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext) Volltext
  16. Detailansicht für Treffer 56 öffnen
    Graph Drawing and Network Visualization: 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II
    edited by Michael A. Bekos, Markus Chimani
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  17. Detailansicht für Treffer 57 öffnen
    Graph Drawing and Network Visualization: 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part I
    edited by Michael A. Bekos, Markus Chimani
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  18. Detailansicht für Treffer 58 öffnen
    Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23–26, 2023, Proceedings
    edited by Megan Dewar, Paweł Prałat, Przemysław Szufel, François Théberge, Małgorzata Wrzosek
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Springer Lecture Notes in Computer Science 2023 (Volltext) Volltext
  19. Detailansicht für Treffer 59 öffnen
    The Semantic Web – ISWC 2022: 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022, Proceedings
    edited by Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Springer Lecture Notes in Computer Science 2022 (Volltext) Volltext
  20. Detailansicht für Treffer 60 öffnen
    Computational Collective Intelligence: 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings
    edited by Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Springer Lecture Notes in Computer Science 2023 (Volltext) Volltext

Recherchedatenbanken

Hochschulbibliotheken

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