Zum Hauptinhalt springen
Westfälische Hochschule

Suchergebnisse

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

40 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
    edited by Jeremy Gibbons, Dale Miller
    1st ed. 2024. - Singapore: Springer Nature Singapore, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2024 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  2. Detailansicht für Treffer 2 öffnen
    Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
    edited by Chung-Kil Hur
    1st ed. 2023. - Singapore: Springer Nature Singapore, Imprint: Springer, 2023
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (Volltext)
    Springer Lecture Notes in Computer Science 2023 (Volltext) Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  3. Detailansicht für Treffer 3 öffnen
    Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
    edited by Ilya Sergey
    1st ed. 2022. - Cham: Springer Nature Switzerland, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  4. Detailansicht für Treffer 4 öffnen
    Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
    edited by Michael Hanus, Atsushi Igarashi
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  5. Detailansicht für Treffer 5 öffnen
    Requirements Engineering: Foundation for Software Quality: 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings
    edited by Vincenzo Gervasi, Andreas Vogelsang
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  6. Detailansicht für Treffer 6 öffnen
    Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
    edited by Olaf Beyersdorff, Christoph M. Wintersteiger
    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
    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
  8. Detailansicht für Treffer 8 ö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
  9. Detailansicht für Treffer 9 öffnen
    Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
    edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
    Berlin, Heidelberg: Springer Berlin Heidelberg, 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
    It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
    edited by Frank de Boer, Marcello Bonsangue, Jan Rutten
    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
    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
  12. Detailansicht für Treffer 12 öffnen
    Engineering Multi-Agent Systems: 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers
    edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son
    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
    Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
    edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
    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
    Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
    edited by Peng Liu, Sjouke Mauw, Ketil Stolen
    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
  15. Detailansicht für Treffer 15 ö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)
    Volltext - Volltext: Zugriff nur im Hochschulnetz der Westfälischen Hochschule bzw. für autorisierte Nutzer
  16. Detailansicht für Treffer 16 ö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
  17. Detailansicht für Treffer 17 ö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
  18. Detailansicht für Treffer 18 öffnen
    Agents and Artificial Intelligence: 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
    edited by Jaap van den Herik, Joaquim Filipe
    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
  19. Detailansicht für Treffer 19 öffnen
    Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
    edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe
    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
    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

Aufsätze & mehr

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