Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

Sprache

Schlagwort

27 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Echtzeitsimulation in der Produktionsautomatisierung: Beiträge zu Virtueller Inbetriebnahme, Digitalem Engineering und Digitalen Zwillingen
    herausgegeben von Alexander Verl, Sascha Röck, Christian Scheifele
    1st ed. 2024. - Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer Vieweg, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
    edited by Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext
  3. Detailansicht für Treffer 3 öffnen
    Air Quality Integrated Assessment: A European Perspective
    edited by Giorgio Guariso, Marialuisa Volta
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Earth and Environmental Science 2017 (Volltext) Volltext
  4. Detailansicht für Treffer 4 öffnen
    Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
    edited by Hideki Takayasu, Nobuyasu Ito, Itsuki Noda, Misako Takayasu
    Cham: Springer International Publishing, 2015
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II: LEAP-ASIA-2019
    edited by Tetsuo Tobita, Koji Ichii, Kyohei Ueda
    1st ed. 2024. - Cham: Springer International Publishing, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  6. Detailansicht für Treffer 6 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 Bernd Finkbeiner, Laura Kovács
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  7. Detailansicht für Treffer 7 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 III
    edited by Bernd Finkbeiner, Laura Kovács
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  8. Detailansicht für Treffer 8 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 I
    edited by Bernd Finkbeiner, Laura Kovács
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
    edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  10. Detailansicht für Treffer 10 ö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:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  11. Detailansicht für Treffer 11 ö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:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  12. Detailansicht für Treffer 12 öffnen
    Finding the Limits of the Limes: Modelling Demography, Economy and Transport on the Edge of the Roman Empire
    edited by Philip Verhagen, Jamie Joyce, Mark R. Groenhuijzen
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Social Sciences 2019 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext
  13. Detailansicht für Treffer 13 öffnen
    Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    edited by Reiner Hähnle, Wil van der Aalst
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  14. Detailansicht für Treffer 14 öffnen
    Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    edited by Isil Dillig, Serdar Tasiran
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  15. Detailansicht für Treffer 15 öffnen
    Managing the Complexity of Critical Infrastructures: A Modelling and Simulation Approach
    edited by Roberto Setola, Vittorio Rosato, Elias Kyriakides, Erich Rome
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Engineering 2016 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext
  16. Detailansicht für Treffer 16 öffnen
    Toward Good Simulation Practice: Best Practices for the Use of Computational Modelling and Simulation in the Regulatory Process of Biomedical Products
    edited by Marco Viceconti, Luca Emili
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  17. Detailansicht für Treffer 17 öffnen
    Chinese Water Systems: Volume 4: Applied Water Management in China
    edited by Max Dohmann, Martin Grambow, Yonghui Song, Paul Wermter
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Earth and Environmental Science 2022 (Volltext)
    Volltext
  18. Detailansicht für Treffer 18 öffnen
    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
    edited by Alexandra Silva, K. Rustan M. Leino
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Lecture Notes in Computer Science 2021 (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Volltext
  19. Detailansicht für Treffer 19 öffnen
    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
    edited by Alexandra Silva, K. Rustan M. Leino
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2021 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Springer Nature Open Access Bücher (Volltext) Volltext
  20. Detailansicht für Treffer 20 öffnen
    Proceedings of the 2022 2nd International Conference on Computer Technology and Media Convergence Design (CTMCD 2022)
    edited by Kannimuthu Subramanian, Jian Ouyang, Wei Wei
    1st ed. 2023. - Dordrecht: Atlantis Press International BV, Imprint: Atlantis Press, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Computer Science (inkl. 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 -