Treffer 1 – 4 von 4 für Suche 'Cremers, Cas 1974-', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Operational semantics and verification of security protocols

    Operational semantics and verification of security protocols von Cremers, Cas 1974-, Mauw, Sjouke

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Operational Semantics and Verification of Security Protocols

    Operational Semantics and Verification of Security Protocols von Cremers, Cas 1974-, Mauw, Sjouke

    Veröffentlicht 2012
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Security standardisation research 4th international conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018 : proceedings

    Security standardisation research 4th international conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Cremers, Cas 1974- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Security standardisation research 4th international conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018 : proceedings

    Security standardisation research 4th international conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Cremers, Cas 1974- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: