Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
36 Treffer

Suchmaske

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

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

36 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
    Anthony Widjaja Lin
    2019
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held As Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
    Pérez, Jorge A. ; Yoshida, Nobuko
    2019
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
    Bowen, Jonathan P. ; Liu, Zhiming ; et al.
    2018
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
    Chakraborty, Supratik ; Navas, Jorge A.
    2020
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held As Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
    Einar Broch Johnsen ; Schaefer, Ina
    2018
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    Howar, Falk ; Barnat, Jiří
    2018
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    Paskevich, Andrei ; Wies, Thomas
    2017
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    Caires, Luís
    2019
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
    Hojjat, Hossein ; Massink, Mieke
    2019
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    Hähnle, Reiner ; Wil van der Aalst
    2019
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
    Piskac, Ruzica ; Rümmer, Philipp
    2018
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 ö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
    Margaria, Tiziana ; Steffen, Bernhard
    2018
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 ö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
    Margaria, Tiziana ; Steffen, Bernhard
    2018
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    Margaria, Tiziana ; Steffen, Bernhard
    2018
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
    Margaria, Tiziana ; Steffen, Bernhard
    2018
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
    Podelski, Andreas
    2018
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
    Petrenko, Alexander K. ; Voronkov, Andrei
    2018
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Russo, Alessandra ; Schürr, Andy
    2018
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Tests and Proofs : 12th International Conference, TAP 2018, Held As Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    Dubois, Catherine ; Wolff, Burkhart
    2018
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Ahmed, Amal
    2018
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?

Weitere Bibliothekskataloge

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