Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

397 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    TRIZ – The Theory of Inventive Problem Solving: Current Research and Trends in French Academic Institutions
    edited by Denis Cavallucci
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Models of Computation
    by Roberto Bruni, Ugo Montanari
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK
    by Stefano Mariani
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Big Data Technologies and Applications
    by Borko Furht, Flavio Villanustre
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Software Engineering: Specification, Implementation, Verification
    by Suad Alagić
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  6. Detailansicht für Treffer 6 öffnen
    Conceptual Modeling Perspectives
    edited by Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria Ribera Sancho, Ernest Teniente
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  7. Detailansicht für Treffer 7 öffnen
    Description and Selection of Communication Services for Service Oriented Network Architectures
    by Rahamatullah Khondoker
    Wiesbaden: Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  8. Detailansicht für Treffer 8 öffnen
    Essence of Systems Analysis and Design: A Workbook Approach
    by Priti Srinivas Sajja
    Singapore: Springer Singapore, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    Working Around Disruptions of Network Infrastructures: Mobile Ad-Hoc Systems for Resilient Communication in Disasters
    by Amro Al-Akkad
    1st ed. 2016. - Wiesbaden: Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  10. Detailansicht für Treffer 10 öffnen
    Variable Domain-specific Software Languages with DjDSL: Design and Implementation
    by Stefan Sobernig
    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
  11. Detailansicht für Treffer 11 öffnen
    Understanding Programming Languages
    by Cliff B. Jones
    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
  12. Detailansicht für Treffer 12 öffnen
    Behavioural Models: From Modelling Finite Automata to Analysing Business Processes
    by Matthias Kunze, Mathias Weske
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  13. Detailansicht für Treffer 13 öffnen
    Handbook of Model Checking
    edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext
  14. Detailansicht für Treffer 14 öffnen
    Guide to Computer Processor Architecture: A RISC-V Approach, with High-Level Synthesis
    by Bernard Goossens
    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
  15. Detailansicht für Treffer 15 öffnen
    Pervasive Computing: Engineering Smart Systems
    by Natalia Silvis-Cividjian
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  16. Detailansicht für Treffer 16 öffnen
    Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
    by Roberto Gorrieri
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  17. Detailansicht für Treffer 17 öffnen
    Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools
    edited by Zaigham Mahmood
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  18. Detailansicht für Treffer 18 öffnen
    Multi-Agent Based Simulation XVIII: International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
    edited by Graçaliz Pereira Dimuro, Luis Antunes
    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
  19. Detailansicht für Treffer 19 öffnen
    Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
    edited by Matthew Hague, Igor Potapov
    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
    Theory of Cryptography: 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II
    edited by Yael Kalai, Leonid Reyzin
    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

Recherchedatenbanken

Hochschulbibliotheken

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