Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

22 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Mobile Applications: Design, Development and Optimization
    by Tejinder S. Randhawa
    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
  2. Detailansicht für Treffer 2 öffnen
    Special Topics in Multimedia, IoT and Web Technologies
    edited by Valter Roesler, Eduardo Barrére, Roberto Willrich
    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)
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Building Decision Support Systems: using MiniZinc
    by Mark Wallace
    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)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Ethereum Smart Contract Development in Solidity
    by Gavin Zheng, Longxiang Gao, Liqun Huang, Jian Guan
    1st ed. 2021. - Singapore: Springer Singapore, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Vue. JS Framework: Design and Implementation
    by HcySun Yang
    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 6 öffnen
    Guide to Web Development with Java: Understanding Website Creation
    by Tim Downey
    2nd 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 7 öffnen
    Agents and Artificial Intelligence: 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
    edited by Jaap van den Herik, Joaquim Filipe
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Konferenzschrift, 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
  8. Detailansicht für Treffer 8 öffnen
    Open Source Systems: 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings
    edited by Vladimir Ivanov, Artem Kruglov, Sergey Masyagin, Alberto Sillitti, Giancarlo Succi
    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)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
    edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
    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
  10. Detailansicht für Treffer 10 öffnen
    Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
    edited by Yuliya Lierler, Walid Taha
    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
  11. Detailansicht für Treffer 11 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
    edited by Tiziana Margaria, Bernhard Steffen
    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
  12. Detailansicht für Treffer 12 öffnen
    Quality of Information and Communications Technology: 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings
    edited by Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, Ricardo Pérez-Castillo
    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
  13. Detailansicht für Treffer 13 öffnen
    Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
    edited by Yi Li, Sofiène Tahar
    1st ed. 2023. - Singapore: Springer Nature Singapore, 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
  14. Detailansicht für Treffer 14 öffnen
    Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
    edited by Adrian Riesco, Min Zhang
    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
    Requirements Engineering: Foundation for Software Quality: 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings
    edited by Vincenzo Gervasi, Andreas Vogelsang
    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
    Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings
    edited by Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
    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
  17. Detailansicht für Treffer 17 öffnen
    Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings
    edited by Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch
    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
    The Once-Only Principle: The TOOP Project
    edited by Robert Krimmer, Andriana Prentza, Szymon Mamrot
    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 Nature Open Access Bücher (Volltext) Springer Lecture Notes in Computer Science 2021 (Volltext) Volltext
  19. Detailansicht für Treffer 19 öffnen
    Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
    edited by Aleksander Byrski, John Hughes
    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 20 öffnen
    Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
    edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
    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

Recherchedatenbanken

Hochschulbibliotheken

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