Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
49 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

49 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
    Fischbach, Kai ; Krieger, Udo R.
    2014
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
    Li, Yi ; Tahar, Sofiène
    2023
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    AIxIA 2023 – Advances in Artificial Intelligence : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings
    Basili, Roberto ; Lembo, Domenico ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
    Cimatti, Alessandro ; Titolo, Laura
    2023
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
    Jan Friso Groote ; Huisman, Marieke
    2022
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
    Riesco, Adrian ; Zhang, Min
    2022
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    AIxIA 2020 – Advances in Artificial Intelligence : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers
    Baldoni, Matteo ; Bandini, Stefania
    2021
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
    Lin, Shang-Wei ; Hou, Zhe ; et al.
    2020
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
    Tonetta, Stefano ; Schoitsch, Erwin ; et al.
    2017
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
    Tonetta, Stefano ; Schoitsch, Erwin ; et al.
    2017
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    Bernardo, Marco ; Rocco De Nicola ; et al.
    2016
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Computer Safety, Reliability, and Security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
    Skavhaug, Amund ; Guiochet, Jérémie ; et al.
    2016
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
    Probst, Christian W. ; Hankin, Chris ; et al.
    2016
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
    Kapitsaki, Georgia M. ; Eduardo Santana de Almeida
    2016
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Computer Safety, Reliability, and Security : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
    Koornneef, Floor ; Coen van Gulijk
    2015
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
    Fantechi, Alessandro ; Pelliccione, Patrizio
    2015
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
    Tuosto, Emilio ; Ouyang, Chun
    2014
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
    Avgeriou, Paris ; Zdun, Uwe
    2014
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
    Bulling, Nils ; Leendert van der Torre ; et al.
    2014
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
    Leite, João ; Tran Cao Son ; et al.
    2013
    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 -