Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

141 Treffer

Sortierung: 
  1. Detailansicht für Treffer 81 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
    edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  2. Detailansicht für Treffer 82 öffnen
    Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers
    edited by Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  3. Detailansicht für Treffer 83 öffnen
    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
    edited by Christel Baier, Ugo Dal Lago
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Springer Nature Open Access Bücher (Volltext) Volltext
  4. Detailansicht für Treffer 84 öffnen
    Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    edited by Alessandra Russo, Andy Schürr
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Springer Nature Open Access Bücher (Volltext) Volltext
  5. Detailansicht für Treffer 85 öffnen
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    edited by Lujo Bauer, Ralf Küsters
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  6. Detailansicht für Treffer 86 öffnen
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    edited by Amal Ahmed
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Volltext
  7. Detailansicht für Treffer 87 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    edited by Dirk Beyer, Marieke Huisman
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  8. Detailansicht für Treffer 88 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    edited by Dirk Beyer, Marieke Huisman
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  9. Detailansicht für Treffer 89 öffnen
    Open Source Systems: Towards Robust Practices: 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
    edited by Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext) Volltext
  10. Detailansicht für Treffer 90 öffnen
    Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools
    edited by Ivan Ganchev, R. D. van der Mei, Hans van den Berg
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Springer Nature Open Access Bücher (Volltext) Volltext
  11. Detailansicht für Treffer 91 öffnen
    Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
    edited by Hana Chockler, Georg Weissenbacher
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  12. Detailansicht für Treffer 92 öffnen
    Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    edited by Hana Chockler, Georg Weissenbacher
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  13. Detailansicht für Treffer 93 öffnen
    Security in Computer and Information Sciences: First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
    edited by Erol Gelenbe, Paolo Campegiani, Tadeusz Czachórski, Sokratis K. Katsikas, Ioannis Komnios, Luigi Romano, Dimitrios Tzovaras
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Volltext
  14. Detailansicht für Treffer 94 öffnen
    Enabling Things to Talk: Designing IoT solutions with the IoT Architectural Reference Model
    edited by Alessandro Bassi, Martin Bauer, Martin Fiedler, Thorsten Kramp, Rob Kranenburg, Sebastian Lange, Stefan Meissner
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  15. Detailansicht für Treffer 95 öffnen
    Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    edited by Reiner Hähnle, Wil van der Aalst
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  16. Detailansicht für Treffer 96 öffnen
    Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    edited by Flemming Nielson, David Sands
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  17. Detailansicht für Treffer 97 öffnen
    Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    edited by Mikołaj Bojańczyk, Alex Simpson
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Springer Nature Open Access Bücher (Volltext) Volltext
  18. Detailansicht für Treffer 98 öffnen
    Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    edited by Luís Caires
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  19. Detailansicht für Treffer 99 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    edited by Tomáš Vojnar, Lijun Zhang
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  20. Detailansicht für Treffer 100 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
    edited by Tomáš Vojnar, Lijun Zhang
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext

Recherchedatenbanken

Hochschulbibliotheken

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