Zum Hauptinhalt springen
Hochschule Bochum, Hochschulbibliothek

Suchergebnisse

Katalog
35 Treffer

Suchmaske

Suchtipp für den Bereich Katalog: 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

Literaturtyp

Schlagwort

35 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
    edited by Sergei Artemov, Anil Nerode
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2022 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext) Volltext
  2. Detailansicht für Treffer 2 öffnen
    Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
    edited by Bernd Finkbeiner, Thomas Wies
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Springer Lecture Notes in Computer Science 2022 (Volltext) Volltext
  3. Detailansicht für Treffer 3 öffnen
    Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
    edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2021 (Volltext)
    Springer Lecture Notes in Computer Science 2021 (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Volltext
  4. Detailansicht für Treffer 4 öffnen
    Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
    edited by Markus Roggenbach
    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
  5. Detailansicht für Treffer 5 öffnen
    Combinatorics on Words: 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings
    edited by Thierry Lecroq, Svetlana Puzynina
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2021 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Volltext
  6. Detailansicht für Treffer 6 öffnen
    Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
    edited by Maribel Fernández
    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
    Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
    edited by Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2021 (Volltext)
    Springer Mathematics & Statistics 2021 (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Springer Lecture Notes in Computer Science 2021 (Volltext) Volltext
  8. Detailansicht für Treffer 8 öffnen
    Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
    edited by Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
    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
  9. Detailansicht für Treffer 9 ö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 Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Springer Lecture Notes in Computer Science 2021 (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Volltext
  10. Detailansicht für Treffer 10 ö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 Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2021 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Springer Nature Open Access Bücher (Volltext) Volltext
  11. Detailansicht für Treffer 11 ö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 Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Springer Lecture Notes in Computer Science 2021 (Volltext) Springer Nature Open Access Bücher (Volltext) Volltext
  12. Detailansicht für Treffer 12 öffnen
    Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
    edited by Alexander Raschke, Dominique Méry
    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
  13. Detailansicht für Treffer 13 öffnen
    Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
    edited by Michael Hanus, Claudio Sacerdoti Coen
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2021 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Volltext
  14. Detailansicht für Treffer 14 öffnen
    Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings
    edited by Alessandro Abate, Andrea Marin
    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
  15. Detailansicht für Treffer 15 öffnen
    Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    edited by Alfons Laarman, Ana Sokolova
    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
  16. Detailansicht für Treffer 16 öffnen
    Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
    edited by Nelma Moreira, Rogério Reis
    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
  17. Detailansicht für Treffer 17 öffnen
    Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8–11, 2020, Proceedings
    edited by Uli Fahrenberg, Peter Jipsen, Michael Winter
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Konferenzschrift, 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
  18. Detailansicht für Treffer 18 öffnen
    Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
    edited by Alexander Raschke, Dominique Méry, Frank Houdek
    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
  19. Detailansicht für Treffer 19 öffnen
    Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
    edited by Sergei Artemov, Anil Nerode
    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 Mathematics & Statistics 2020 (Volltext) Volltext
  20. Detailansicht für Treffer 20 öffnen
    Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
    edited by Jean Goubault-Larrecq, Barbara König
    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 Nature Open Access Bücher (Volltext) Springer Mathematics & Statistics 2020 (Volltext) Volltext

Discovery Service

Weitere Kataloge

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