Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

15 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  2. Detailansicht für Treffer 2 ö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)
  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 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)
  4. Detailansicht für Treffer 4 ö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)
  5. Detailansicht für Treffer 5 öffnen
    Objective Information Theory
    by Jianfeng Xu, Shuliang Wang, Zhenyu Liu, Yashi Wang, Yingfei Wang, Yingxu Dang
    1st ed. 2023.. - Singapore: Springer Nature Singapore, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (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 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)
  7. Detailansicht für Treffer 7 öffnen
    Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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 Naoki Kobayashi, James Worrell
    1st ed. 2024.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, 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
    Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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 Naoki Kobayashi, James Worrell
    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
    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 I
    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)
  11. Detailansicht für Treffer 11 ö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)
  12. Detailansicht für Treffer 12 ö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)
  13. Detailansicht für Treffer 13 öffnen
    Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 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 Stefan Kiefer, Christine Tasson
    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
    Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
    edited by Sriram Sankaranarayanan, Natasha Sharygina
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  15. Detailansicht für Treffer 15 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
    edited by Sriram Sankaranarayanan, Natasha Sharygina
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, 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 -