Zum Hauptinhalt springen
Hochschule Bochum, Hochschulbibliothek

Suchergebnisse

Katalog
17 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

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Human and Artificial Rationalities: Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
    edited by Jean Baratgin, Baptiste Jacquet, Hiroshi Yama
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2024 (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Chatbot Research and Design: 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers
    edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2024 (Volltext)
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
    edited by Haniel Barbosa, Yoni Zohar
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2024 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Chatbot Research and Design: 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22–23, 2022, Revised Selected Papers
    edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg
    1st ed. 2023. - Cham: Springer International Publishing, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  5. Detailansicht für Treffer 5 öffnen
    Dynamics in Logic and Language: Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
    edited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie
    1st ed. 2023. - Cham: Springer International Publishing, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  6. Detailansicht für Treffer 6 öffnen
    Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
    edited by Laure Petrucci, Jeremy Sproston
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  7. Detailansicht für Treffer 7 öffnen
    Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
    edited by Catherine Dubois, Pierluigi San Pietro
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Springer Lecture Notes in Computer Science 2023 (Volltext) Volltext
  8. Detailansicht für Treffer 8 öffnen
    Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings
    edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  9. Detailansicht für Treffer 9 öffnen
    Developments in Language Theory: 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings
    edited by Frank Drewes, Mikhail Volkov
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2023 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext) Volltext
  10. Detailansicht für Treffer 10 öffnen
    Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings
    edited by Volker Diekert, Mikhail Volkov
    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
  11. Detailansicht für Treffer 11 öffnen
    Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings
    edited by Pascal Caron, Ludovic Mignot
    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
  12. Detailansicht für Treffer 12 öffnen
    Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers
    edited by Aybüke Özgün, Yulia Zinova
    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
  13. Detailansicht für Treffer 13 öffnen
    Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
    edited by Yamine Aït-Ameur, Florin Crăciun
    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
  14. Detailansicht für Treffer 14 öffnen
    Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
    edited by Sergiy Bogomolov, David Parker
    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
  15. Detailansicht für Treffer 15 öffnen
    Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings
    edited by Guido Governatori, Anni-Yasmin Turhan
    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
  16. Detailansicht für Treffer 16 öffnen
    A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
    edited by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
    1st ed. 2022. - Cham: Springer Nature Switzerland, 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
  17. Detailansicht für Treffer 17 öffnen
    Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings
    edited by Lucas Lima, Vince Molnár
    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

Discovery Service

Weitere Kataloge

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