Zum Hauptinhalt springen
Westfälische Hochschule

Suchergebnisse

Katalog
68 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

68 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
    edited by Elizabeth Black, Sanjay Modgil, Nir Oren
    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
  2. Detailansicht für Treffer 2 öffnen
    Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
    edited by Nicolas Lachiche, Christel Vrain
    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
    Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
    edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira
    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
  4. Detailansicht für Treffer 4 ö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
  5. Detailansicht für Treffer 5 öffnen
    Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
    edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
    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
    Unconventional Computation and Natural Computation: 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
    edited by Susan Stepney, Sergey Verlan
    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
    Computer Science – Theory and Applications: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
    edited by Fedor V. Fomin, Vladimir V. Podolskii
    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
    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
  9. Detailansicht für Treffer 9 öffnen
    Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
    edited by Hana Chockler, Georg Weissenbacher
    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
  10. Detailansicht für Treffer 10 öffnen
    Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    edited by Hana Chockler, Georg Weissenbacher
    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
  11. Detailansicht für Treffer 11 öffnen
    Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
    edited by Sergei Artemov, Anil Nerode
    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
  12. Detailansicht für Treffer 12 öffnen
    Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani
    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
  13. Detailansicht für Treffer 13 öffnen
    Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
    edited by Fabio Fioravanti, John P. Gallagher
    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
  14. Detailansicht für Treffer 14 öffnen
    Unconventional Computation and Natural Computation: 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
    edited by Matthew J. Patitz, Mike Stannett
    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
    Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
    edited by Ahmed Bouajjani, Alexandra Silva
    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
    Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
    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
    Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
    edited by T.V. Gopal, Gerhard Jäger, Silvia Steila
    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
    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
  19. Detailansicht für Treffer 19 ö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
  20. Detailansicht für Treffer 20 öffnen
    AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
    edited by Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi
    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 -