Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The Future of Software Quality Assurance
    edited by Stephan Goericke
    1st ed. 2020.. - Cham: Springer Nature (2020) ; Cham: Springer International Publishing; Imprint: Springer (2020), 2020; 2020
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  2. Detailansicht für Treffer 2 öffnen
    Proceedings of the 2022 International Conference on Computer Science, Information Engineering and Digital Economy (CSIEDE 2022)
    Wu, Haocun ; Mishra, Tapas ; et al.
    Dordrecht: Atlantis Press (Zeger Karssen), 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  3. Detailansicht für Treffer 3 ö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 Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  4. Detailansicht für Treffer 4 ö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 Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  5. Detailansicht für Treffer 5 öffnen
    Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
    edited by Uli Sattler, Martin Suda
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  6. Detailansicht für Treffer 6 öffnen
    Managed Software Evolution
    edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
    1st ed. 2019.. - Cham: Springer Nature (2019) ; Cham: Springer International Publishing; Imprint: Springer (2019), 2019; 2019
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  7. Detailansicht für Treffer 7 öffnen
    Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
    edited by Esther Guerra, Mariëlle Stoelinga
    1st ed. 2021.. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  8. Detailansicht für Treffer 8 ö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:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  9. Detailansicht für Treffer 9 ö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 Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  10. Detailansicht für Treffer 10 öffnen
    Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
    edited by Revantha Ramanayake, Josef Urban
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  11. Detailansicht für Treffer 11 öffnen
    The Essence of Software Engineering
    edited by Volker Gruhn, Rüdiger Striemer
    1st ed. 2018.. - Cham: Springer Nature (2018) ; Cham: Springer International Publishing; Imprint: Springer (2018), 2018; 2018
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  12. Detailansicht für Treffer 12 öffnen
    Scaling a Software Business: The Digitalization Journey
    by Brian Fitzgerald, Klaas-Jan Stol, Sten Minör, Henrik Cosmo
    1st ed. 2017.. - Springer Nature (2017) ; Cham: Springer International Publishing; Imprint: Springer (2017), 2017; 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  13. Detailansicht für Treffer 13 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
    edited by Jan Friso Groote, Kim Guldstrand Larsen
    1st ed. 2021.. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  14. Detailansicht für Treffer 14 ö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 Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  15. Detailansicht für Treffer 15 öffnen
    Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
    edited by Nobuko Yoshida
    1st ed. 2021.. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  16. Detailansicht für Treffer 16 ö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 Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  17. Detailansicht für Treffer 17 öffnen
    Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
    edited by Brigitte Pientka, Cesare Tinelli
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)

Recherchedatenbanken

Hochschulbibliotheken

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