Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

29 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
    edited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    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 2 öffnen
    Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
    edited by Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  3. Detailansicht für Treffer 3 öffnen
    Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
    edited by Osman Hasan, Frédéric Mallet
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Machines, Computations, and Universality: 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
    edited by Jérôme Durand-Lose, Sergey Verlan
    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) Volltext
  5. Detailansicht für Treffer 5 öffnen
    Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
    edited by Franz Wotawa, Mihai Nica, Natalia Kushik
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  6. Detailansicht für Treffer 6 öffnen
    Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
    edited by Gwen Salaün, Anton Wijs
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Springer Lecture Notes in Computer Science 2021 (Volltext) Volltext
  7. Detailansicht für Treffer 7 öffnen
    Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
    edited by David Pichardie, Mihaela Sighireanu
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  8. Detailansicht für Treffer 8 öffnen
    Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
    edited by Brijesh Dongol, Elena Troubitsyna
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  9. Detailansicht für Treffer 9 öffnen
    Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
    edited by Violet Ka I Pun, Volker Stolz, Adenilso Simao
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  10. Detailansicht für Treffer 10 öffnen
    Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
    edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  11. Detailansicht für Treffer 11 öffnen
    Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
    edited by Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  12. Detailansicht für Treffer 12 öffnen
    Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  13. Detailansicht für Treffer 13 öffnen
    PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
    edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext) Volltext
  14. Detailansicht für Treffer 14 öffnen
    Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
    edited by Marco Bozzano, Yiannis Papadopoulos
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  15. Detailansicht für Treffer 15 öffnen
    Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
    edited by Johann Blieberger, Markus Bader
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext) Volltext
  16. Detailansicht für Treffer 16 öffnen
    Computer Algebra in Scientific Computing: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
    edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  17. Detailansicht für Treffer 17 öffnen
    Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
    edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext) Volltext
  18. Detailansicht für Treffer 18 öffnen
    Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
    edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext) Volltext
  19. Detailansicht für Treffer 19 öffnen
    PRIMA 2016: Princiles and Practice of Multi-Agent Systems: 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
    edited by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  20. Detailansicht für Treffer 20 öffnen
    Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
    edited by Luís Soares Barbosa, Alexandru Baltag
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext) Volltext

Recherchedatenbanken

Hochschulbibliotheken

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