Gilles Barthe

Gilles Barthe (* 4. Juni 1906 in Briatexte; † 14. Juli 1993 in Albi) war ein französischer römisch-katholischer Geistlicher und Bischof. Veröffentlicht in Wikipedia
Treffer 1 – 7 von 7 für Suche 'Barthe, Gilles', Suchdauer: 0,03s 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
    Proceedings of the 4th international conference on Engineering Secure Software and Systems

    Proceedings of the 4th international conference on Engineering Secure Software and Systems von Barthe, Gilles

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


    Gespeichert in:
  2. 2
    Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

    Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation von Barthe, Gilles

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


    Gespeichert in:
  3. 3
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Veröffentlicht 2021
    Weitere Verfasser: “… Barthe, Gilles 1967- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Construction and analysis of safe, secure, and interoperable smart devices second international workshop ; revised selected papers

    Construction and analysis of safe, secure, and interoperable smart devices second international workshop ; revised selected papers

    Veröffentlicht 2006
    Weitere Verfasser: “… Barthe, Gilles …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Security and trust management 12th international conference, STM 2016,Heraklion, Crete, Greece, September 26-27, 2016 : proceedings

    Security and trust management 12th international conference, STM 2016,Heraklion, Crete, Greece, September 26-27, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Barthe, Gilles …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Security and trust management 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings

    Security and trust management 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Barthe, Gilles …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Construction and analysis of safe, secure, and interoperable smart devices second international workshop ; revised selected papers

    Construction and analysis of safe, secure, and interoperable smart devices second international workshop ; revised selected papers

    Veröffentlicht 2006
    Weitere Verfasser: “… Barthe, Gilles …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: