Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

455 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Concise Guide to Numerical Algorithmics: The Foundations and Spirit of Scientific Computing
    by John Lawrence Nazareth
    1st ed. 2023. - Cham: Springer International Publishing, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Volltext
  2. Detailansicht für Treffer 62 öffnen
    Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
    by Gerard O'Regan
    1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Volltext
  3. Detailansicht für Treffer 63 öffnen
    Mathematical Reasoning: The History and Impact of the DReaM Group
    edited by Gregory Michaelson
    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)
    Volltext
  4. Detailansicht für Treffer 64 öffnen
    Comparative Genomics: 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14–15, 2023, Proceedings
    edited by Katharina Jahn, Tomáš Vinař
    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 65 öffnen
    R-Calculus, IV: Propositional Logic
    by Wei Li, Yuefei Sui
    1st ed. 2023. - Singapore: Springer Nature Singapore, Imprint: Springer, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Volltext
  6. Detailansicht für Treffer 66 öffnen
    Stability Analysis of Regenerative Queueing Models: Mathematical Methods and Applications
    by Evsey Morozov, Bart Steyaert
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Volltext
  7. Detailansicht für Treffer 67 öffnen
    Algorithmic Decision Theory: 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings
    edited by Dimitris Fotakis, David Ríos Insua
    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
  8. Detailansicht für Treffer 68 öffnen
    Graph Drawing and Network Visualization: 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers
    edited by David Auber, Pavel Valtr
    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 69 öffnen
    Quantum Interaction: 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
    edited by Bob Coecke, Ariane Lambert-Mogiliansky
    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
  10. Detailansicht für Treffer 70 öffnen
    Computer Science – Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
    edited by Henning Fernau
    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 71 öffnen
    Formal Methods for Software Engineering: Languages, Methods, Application Domains
    by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Volltext
  12. Detailansicht für Treffer 72 öffnen
    Combinatorial Optimization and Applications: 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings
    edited by Yingshu Li, Mihaela Cardei, Yan Huang
    1st ed. 2019. - 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) Volltext
  13. Detailansicht für Treffer 73 öffnen
    Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
    edited by Graham Hutton
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  14. Detailansicht für Treffer 74 öffnen
    Frontiers in Algorithmics: 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings
    edited by Minming Li
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Konferenzschrift, 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
  15. Detailansicht für Treffer 75 öffnen
    Algorithmic Aspects in Information and Management: 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings
    edited by Zhao Zhang, Wei Li, Ding-Zhu Du
    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
  16. Detailansicht für Treffer 76 öffnen
    Computational Methods in Systems Biology: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
    edited by Alessandro Abate, Tatjana Petrov, Verena Wolf
    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
  17. Detailansicht für Treffer 77 öffnen
    Algorithms and Models for the Web Graph: 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings
    edited by Bogumił Kamiński, Paweł Prałat, Przemysław Szufel
    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
  18. Detailansicht für Treffer 78 öffnen
    The Amazing Journey of Reason: from DNA to Artificial Intelligence
    by Mario Alemi
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext
  19. Detailansicht für Treffer 79 öffnen
    Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
    edited by Fabio Gadducci, Timo Kehrer
    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
  20. Detailansicht für Treffer 80 öffnen
    Cerebral Aneurysm Detection: First Challenge, CADA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings
    edited by Anja Hennemuth, Leonid Goubergrits, Matthias Ivantsits, Jan-Martin Kuhnigk
    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

Recherchedatenbanken

Hochschulbibliotheken

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