Zum Hauptinhalt springen
Westfälische Hochschule

Suchergebnisse

Katalog
23 Treffer

Suchmaske

Suchtipp für den Bereich Katalog: 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

23 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Cognitive Radio-Oriented Wireless Networks: 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings
    edited by Giuseppe Caso, Luca De Nardis, Liljana Gavrilovska
    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 - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  2. Detailansicht für Treffer 2 öffnen
    NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    edited by Aaron Dutle, César Muñoz, Anthony Narkawicz
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  3. Detailansicht für Treffer 3 öffnen
    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
    edited by Christel Baier, Ugo Dal Lago
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  4. Detailansicht für Treffer 4 öffnen
    Big Data – BigData 2018: 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
    edited by Francis Y. L. Chin, C. L. Philip Chen, Latifur Khan, Kisung Lee, Liang-Jie Zhang
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  5. Detailansicht für Treffer 5 öffnen
    New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
    edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  6. Detailansicht für Treffer 6 öffnen
    Wireless Internet: 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
    edited by Cheng Li, Shiwen Mao
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  7. Detailansicht für Treffer 7 öffnen
    Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
    edited by Jeremy Avigad, Assia Mahboubi
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  8. Detailansicht für Treffer 8 öffnen
    Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  9. Detailansicht für Treffer 9 öffnen
    5G for Future Wireless Networks: First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
    edited by Keping Long, Victor C.M. Leung, Haijun Zhang, Zhiyong Feng, Yonghui Li, Zhongshan Zhang
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  10. Detailansicht für Treffer 10 öffnen
    Image and Video Technology: 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers
    edited by Manoranjan Paul, Carlos Hitoshi, Qingming Huang
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  11. Detailansicht für Treffer 11 öffnen
    Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings
    edited by Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  12. Detailansicht für Treffer 12 öffnen
    Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
    edited by Alexander Romanovsky, Elena A. Troubitsyna
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  13. Detailansicht für Treffer 13 öffnen
    Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
    edited by Alessandro Cimatti, Marjan Sirjani
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  14. Detailansicht für Treffer 14 öffnen
    Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
    edited by Philipp Reinecke, Antinisca Di Marco
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  15. Detailansicht für Treffer 15 öffnen
    Advances in Conceptual Modeling: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings
    edited by Sergio de Cesare, Ulrich Frank
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  16. Detailansicht für Treffer 16 öffnen
    Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    edited by Rupak Majumdar, Viktor Kunčak
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  17. Detailansicht für Treffer 17 öffnen
    Service-Oriented Computing – ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers
    edited by Khalil Drira, Hongbing Wang, Qi Yu, Yan Wang, Yuhong Yan, François Charoy, Jan Mendling, Mohamed Mohamed, Zhongjie Wang, Sami Bhiri
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  18. Detailansicht für Treffer 18 öffnen
    Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
    edited by Lin Zhang, Lei Ren, Fabrice Kordon
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  19. Detailansicht für Treffer 19 öffnen
    Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
    edited by Mauricio Ayala-Rincón, César A. Muñoz
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  20. Detailansicht für Treffer 20 öffnen
    Advances in Data Mining. Applications and Theoretical Aspects: 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
    edited by Petra Perner
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer

Aufsätze & mehr

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