Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

60 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Introduction to Computation: Haskell, Logic and Automata
    by Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
    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
  2. Detailansicht für Treffer 2 öffnen
    Runtime Verification: A Hands-On Approach in Java
    by Christian Colombo, Gordon J. Pace
    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
  3. Detailansicht für Treffer 3 öffnen
    Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems
    by Guanjun Liu
    1st ed. 2022. - Singapore: Springer Nature Singapore, Imprint: Springer, 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Z2Z4-Linear Codes
    by Joaquim Borges, Cristina Fernández-Córdoba, Jaume Pujol, Josep Rifà, Mercè Villanueva
    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
  5. Detailansicht für Treffer 5 ö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
  6. Detailansicht für Treffer 6 ö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
  7. Detailansicht für Treffer 7 öffnen
    Algorithms for Constructing Computably Enumerable Sets
    by Kenneth J. Supowit
    1st ed. 2023. - Cham: Springer International Publishing, Imprint: Birkhäuser, 2023
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Volltext
  8. Detailansicht für Treffer 8 ö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
  9. Detailansicht für Treffer 9 öffnen
    Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings
    edited by Dominik Dürrschnabel, Domingo López Rodríguez
    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
    Advances in Swarm Intelligence: 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part II
    edited by Ying Tan, Yuhui Shi, Wenjian Luo
    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
  11. Detailansicht für Treffer 11 öffnen
    Research in Computational Molecular Biology: 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings
    edited by Itsik Pe'er
    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
  12. Detailansicht für Treffer 12 öffnen
    Web and Big Data. APWeb-WAIM 2022 International Workshops: KGMA 2022, SemiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022, Proceedings
    edited by Shiyu Yang, Saiful Islam
    1st ed. 2023. - Singapore: Springer Nature Singapore, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Volltext
  13. Detailansicht für Treffer 13 ö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
  14. Detailansicht für Treffer 14 öffnen
    Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
    edited by Kyungmin Bae
    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
  15. Detailansicht für Treffer 15 öffnen
    Computing and Combinatorics: 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings
    edited by Yong Zhang, Dongjing Miao, Rolf Möhring
    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
  16. Detailansicht für Treffer 16 öffnen
    Advances in Computer Games: 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers
    edited by Cameron Browne, Akihiro Kishimoto, Jonathan Schaeffer
    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
  17. Detailansicht für Treffer 17 öffnen
    LATIN 2022: Theoretical Informatics: 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings
    edited by Armando Castañeda, Francisco Rodríguez-Henríquez
    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
  18. Detailansicht für Treffer 18 öffnen
    Applications of Evolutionary Computation: 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings
    edited by João Correia, Stephen Smith, Raneem Qaddoura
    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
  19. Detailansicht für Treffer 19 öffnen
    Evolutionary Computation in Combinatorial Optimization: 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings
    edited by Leslie Pérez Cáceres, Thomas Stützle
    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
  20. Detailansicht für Treffer 20 öffnen
    Computer Vision: Statistical Models for Marr's Paradigm
    by Song-Chun Zhu, Ying Nian Wu
    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

Recherchedatenbanken

Hochschulbibliotheken

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