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 - 20 von 27 für Suche 'Barthe, Gilles', Suchdauer: 0,33s Treffer weiter einschränken
  1. 1
    von Barthe, Gilles
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Barthe, Gilles
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Barthe, Gilles
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16 - 17, 2012 ; proceedings
    Veröffentlicht 2012
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers
    Veröffentlicht 2005
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Volltext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Veröffentlicht 2012
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Construction and analysis of safe, secure, and interoperable smart devices : international workshop ; revised selected papers
    Veröffentlicht 2005
    Full Text
    Vorwort
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Formal aspects of security and trust : 8th International workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 ; revised selected papers
    Veröffentlicht 2012
    Inhaltsverzeichnis
    Inhaltstext
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Foundations of probabilistic programming
    Veröffentlicht 2021
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings
    Veröffentlicht 2010
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings
    Veröffentlicht 2011
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 ; revised selected papers
    Veröffentlicht 2008
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings
    Veröffentlicht 2008
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings
    Veröffentlicht 2011
    Inhaltsverzeichnis
    Inhaltstext
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Security and trust management : 12th international conference, STM 2016,Heraklion, Crete, Greece, September 26-27, 2016 : proceedings
    Veröffentlicht 2016
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Applied semantics : [advanced lectures]
    Veröffentlicht 2002
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9 - 15, 2000 ; advanced lectures
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: