Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

49 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 ö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)
  2. Detailansicht für Treffer 42 ö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)
  3. Detailansicht für Treffer 43 ö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)
  4. Detailansicht für Treffer 44 öffnen
    Human Factors in Privacy Research
    edited by Nina Gerber, Alina Stöver, Karola Marky
    1st ed. 2023.. - Cham: Springer International Publishing, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  5. Detailansicht für Treffer 45 ö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)
  6. Detailansicht für Treffer 46 ö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)
  7. Detailansicht für Treffer 47 ö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)
  8. Detailansicht für Treffer 48 ö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)
  9. Detailansicht für Treffer 49 öffnen
    The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons
    edited by Alex Galis, Anastasius Gavras
    1st ed. 2013.. - Springer Nature (2013) ; Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2013), 2013; 2013
    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 -