Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

4 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Computer aided verification, Part II.: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings
    editors, Sharon Shoham, Yakir Vizel
    Cham: Springer Nature (2022) ; Cham: Springer International Publishing AG (2022), 2022; 2022
    Online Konferenzschrift, Monographie, Teil eines Werkes, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  2. Detailansicht für Treffer 2 öffnen
    Computer aided verification, Part I.: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings
    editors, Sharon Shoham, Yakir Vizel
    Cham: Springer Nature (2022) ; Cham: Springer International Publishing AG (2022), 2022; 2022
    Online Konferenzschrift, Monographie, Teil eines Werkes, 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: 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
    Fisman, Dana ; Rosu, Grigore
    Cham: Springer International Publishing AG, 2022
    Online Konferenzschrift, 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: 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
    editors, Dana Fisman, Grigore Rosu
    Cham: Springer International Publishing AG, 2022
    Online Konferenzschrift, 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 -