Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

57 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
    edited by Leen Lambers, Sebastián Uchitel
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  2. Detailansicht für Treffer 42 öffnen
    Neue Möglichkeiten für die Motorsteuergeräte-Software durch Car-to-Cloud-Vernetzung
    von Lars Hagen
    1st ed. 2020.. - Wiesbaden: Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg, 2020
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  3. Detailansicht für Treffer 43 öffnen
    Solving PDEs in Python: The FEniCS Tutorial I
    by Hans Petter Langtangen, Anders Logg
    1st ed. 2016.. - Springer Nature (2016) ; Cham: Springer International Publishing; Imprint: Springer (2016), 2016; 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  4. Detailansicht für Treffer 44 ö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)
  5. Detailansicht für Treffer 45 ö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)
  6. Detailansicht für Treffer 46 öffnen
    Pro Git
    by Scott Chacon, Ben Straub
    2nd ed. 2014.. - Berlin: Apress (2014) ; Berkeley, CA: Apress; Imprint: Apress (2014), 2014; 2014
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  7. Detailansicht für Treffer 47 ö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)
  8. Detailansicht für Treffer 48 ö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)
  9. Detailansicht für Treffer 49 ö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)
  10. Detailansicht für Treffer 50 ö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)
  11. Detailansicht für Treffer 51 öffnen
    Design principles for the productive delivery of blended learning services: the case of standard software-trainings in Germany
    Philipp Bitzer
    Kassel, [Germany]: kassel university press, 2016
    Online Bibliografie, Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  12. Detailansicht für Treffer 52 ö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)
  13. Detailansicht für Treffer 53 öffnen
    Embedded Firmware Solutions: Development Best Practices for the Internet of Things
    by Vincent Zimmer, Jiming Sun, Marc Jones, Stefan Reinauer
    1st ed. 2015.. - Springer Nature (2015) ; Berkeley, CA: Apress; Imprint: Apress (2015), 2015; 2015
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  14. Detailansicht für Treffer 54 öffnen
    Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops
    by Alexander Supalov, Andrey Semin, Christopher Dahnken, Michael Klemm
    1st ed. 2014.. - Springer Nature (2014) ; Berkeley, CA: Apress; Imprint: Apress (2014), 2014; 2014
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  15. Detailansicht für Treffer 55 öffnen
    Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
    edited by Constantin Enea, Akash Lal
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  16. Detailansicht für Treffer 56 öffnen
    Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
    edited by Constantin Enea, Akash Lal
    1st ed. 2023.. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Ebook Central Perpetual, DDA and Subscription Titles (Volltext)
  17. Detailansicht für Treffer 57 öffnen
    Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
    edited by Constantin Enea, Akash Lal
    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 -