Zum Hauptinhalt springen
Hochschule Bochum, Hochschulbibliothek

Suchergebnisse

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

Sprache

44 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
    edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff
    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
    Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
    edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff
    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
    Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings
    edited by Olivier Bournez, Enrico Formenti, Igor Potapov
    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
  4. Detailansicht für Treffer 4 öffnen
    Frontiers of Algorithmics: 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14–18, 2023 Proceedings
    edited by Minming Li, Xiaoming Sun, Xiaowei Wu
    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
  5. Detailansicht für Treffer 5 öffnen
    Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
    edited by Nils Jansen, Mirco Tribastone
    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
  6. Detailansicht für Treffer 6 öffnen
    Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
    edited by Olaf Beyersdorff, Christoph M. Wintersteiger
    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
  7. Detailansicht für Treffer 7 öffnen
    Number-Theoretic Methods in Cryptology: First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
    edited by Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała
    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) Volltext
  8. Detailansicht für Treffer 8 öffnen
    Parallel Processing and Applied Mathematics: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
    edited by Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski
    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
  9. Detailansicht für Treffer 9 ö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
  10. Detailansicht für Treffer 10 öffnen
    Combinatorial Algorithms: 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
    edited by Costas Iliopoulos, Hon Wai Leong, Wing-Kin Sung
    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
  11. Detailansicht für Treffer 11 öffnen
    Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
    edited by Victor Khomenko, Olivier H. Roux
    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
  12. Detailansicht für Treffer 12 öffnen
    Graph Drawing and Network Visualization: 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
    edited by Fabrizio Frati, Kwan-Liu Ma
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Konferenzschrift, 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
  13. Detailansicht für Treffer 13 öffnen
    Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
    edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
    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
  14. Detailansicht für Treffer 14 öffnen
    Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III
    edited by Jean-Sébastien Coron, Jesper Buus Nielsen
    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
  15. Detailansicht für Treffer 15 öffnen
    Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I
    edited by Jean-Sébastien Coron, Jesper Buus Nielsen
    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
    Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II
    edited by Jean-Sébastien Coron, Jesper Buus Nielsen
    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
    Coding Theory and Applications: 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
    edited by Ángela I. Barbero, Vitaly Skachek, Øyvind Ytrehus
    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
  18. Detailansicht für Treffer 18 öffnen
    Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
    edited by Ralf Klasing, Marc Zeitoun
    Berlin, Heidelberg: Springer Berlin Heidelberg, 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
    Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
    edited by Peter Höfner, Damien Pous, Georg Struth
    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
  20. Detailansicht für Treffer 20 ö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

Discovery Service

Weitere Kataloge

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