Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

20 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
    edited by Meng Wang, Scott Owens
    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
  2. Detailansicht für Treffer 2 öffnen
    Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
    edited by John P. Gallagher, Martin Sulzmann
    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
  3. Detailansicht für Treffer 3 öffnen
    Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
    edited by Franz Wotawa, Mihai Nica, Natalia Kushik
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  4. Detailansicht für Treffer 4 öffnen
    Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
    edited by Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  5. Detailansicht für Treffer 5 öffnen
    Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
    edited by Martina Seidl, Steffen Zschaler
    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
  6. Detailansicht für Treffer 6 öffnen
    Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  7. Detailansicht für Treffer 7 öffnen
    PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
    edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre
    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
  8. Detailansicht für Treffer 8 öffnen
    Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings
    edited by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro
    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
  9. Detailansicht für Treffer 9 öffnen
    Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
    edited by Johann Blieberger, Markus Bader
    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
    Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
    edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
    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
    Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
    edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
    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
  12. Detailansicht für Treffer 12 öffnen
    Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
    edited by Pierre-François Dutot, Denis Trystram
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  13. Detailansicht für Treffer 13 öffnen
    PRIMA 2016: Princiles and Practice of Multi-Agent Systems: 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
    edited by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  14. Detailansicht für Treffer 14 öffnen
    Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
    edited by Zhiming Liu, Zili Zhang
    1st ed. 2016. - Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  15. Detailansicht für Treffer 15 öffnen
    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
    edited by Anne Remke, Boudewijn R. Haverkort
    1st ed. 2016. - Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  16. Detailansicht für Treffer 16 öffnen
    Service-Oriented Computing – ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
    edited by Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama, Loli Burgueño, Naouel Moha, Marc Oriol
    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
  17. Detailansicht für Treffer 17 öffnen
    Coordination Models and Languages: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
    edited by Giovanna Di Marzo Serugendo, Michele Loreti
    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
  18. Detailansicht für Treffer 18 öffnen
    On the Move to Meaningful Internet Systems. OTM 2017 Workshops: Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers
    edited by Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman
    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
  19. Detailansicht für Treffer 19 öffnen
    Scaling OpenMP for Exascale Performance and Portability: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings
    edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller
    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
    Computational Science and Its Applications – ICCSA 2017: 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
    edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea
    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

Recherchedatenbanken

Hochschulbibliotheken

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