Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

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

241 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Structural Information and Communication Complexity: 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
    edited by Zvi Lotker, Boaz Patt-Shamir
    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
  2. Detailansicht für Treffer 42 öffnen
    Provable Security: 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
    edited by Joonsang Baek, Willy Susilo, Jongkil Kim
    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
  3. Detailansicht für Treffer 43 öffnen
    Information and Communications Security: 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings
    edited by David Naccache, Shouhuai Xu, Sihan Qing, Pierangela Samarati, Gregory Blanc, Rongxing Lu, Zonghua Zhang, Ahmed Meddahi
    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
  4. Detailansicht für Treffer 44 öffnen
    Stabilization, Safety, and Security of Distributed Systems: 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
    edited by Taisuke Izumi, Petr Kuznetsov
    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
  5. Detailansicht für Treffer 45 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
    edited by Tiziana Margaria, Bernhard Steffen
    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 46 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    edited by Tiziana Margaria, Bernhard Steffen
    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
  7. Detailansicht für Treffer 47 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
    edited by Tiziana Margaria, Bernhard Steffen
    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
  8. Detailansicht für Treffer 48 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    edited by Tiziana Margaria, Bernhard Steffen
    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
  9. Detailansicht für Treffer 49 öffnen
    Communication, Networks and Computing: First International Conference, CNC 2018, Gwalior, India, March 22-24, 2018, Revised Selected Papers
    edited by Shekhar Verma, Ranjeet Singh Tomar, Brijesh Kumar Chaurasia, Vrijendra Singh, Jemal Abawajy
    Singapore: Springer Singapore, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  10. Detailansicht für Treffer 50 öffnen
    Big Data Technologies and Applications: 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings
    edited by Jason J. Jung, Pankoo Kim, Kwang Nam Choi
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext
  11. Detailansicht für Treffer 51 öffnen
    Information and Communication Technology for Development for Africa: Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers
    edited by Fisseha Mekuria, Ethiopia Nigussie, Tesfa Tegegne
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  12. Detailansicht für Treffer 52 öffnen
    Parallel Computational Technologies: 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers
    edited by Leonid Sokolinsky, Mikhail Zymbler
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  13. Detailansicht für Treffer 53 öffnen
    Cloud Computing and Services Science: 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers
    edited by Víctor Méndez Muñoz, Donald Ferguson, Markus Helfert, Claus Pahl
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  14. Detailansicht für Treffer 54 öffnen
    Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers
    edited by Marten van Sinderen, Leszek A. Maciaszek
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  15. Detailansicht für Treffer 55 öffnen
    VLSI Design and Test: 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers
    edited by Anirban Sengupta, Sudeb Dasgupta, Virendra Singh, Rohit Sharma, Santosh Kumar Vishvakarma
    1st ed. 2019. - Singapore: Springer Singapore, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  16. Detailansicht für Treffer 56 öffnen
    Geographical Information Systems Theory, Applications and Management: 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers
    edited by Lemonia Ragia, Cédric Grueau, Robert Laurini
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  17. Detailansicht für Treffer 57 öffnen
    Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
    edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  18. Detailansicht für Treffer 58 öffnen
    Big Scientific Data Benchmarks, Architecture, and Systems: First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers
    edited by Rui Ren, Chen Zheng, Jianfeng Zhan
    Singapore: Springer Singapore, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  19. Detailansicht für Treffer 59 öffnen
    Big Social Data and Urban Computing: First Workshop, BiDU 2018, Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers
    edited by Jonice Oliveira, Claudio M. Farias, Esther Pacitti, Giancarlo Fortino
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext
  20. Detailansicht für Treffer 60 öffnen
    Information Security: 17th International Conference, ISSA 2018, Pretoria, South Africa, August 15–16, 2018, Revised Selected Papers
    edited by Hein Venter, Marianne Loock, Marijke Coetzee, Mariki Eloff, Jan Eloff
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Volltext

Recherchedatenbanken

Hochschulbibliotheken

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