Gilles Barthe's Documents

Gilles Barthe's Documents

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)
Read more
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)
Read more
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Read more
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Read more
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Read more
Software Engineering and Formal Methods. SEFM 2011 Proceedings (Lecture Notes in Computer Science)

Software Engineering and Formal Methods. SEFM 2011 Proceedings (Lecture Notes in Computer Science)
Read more
Ties That Bind

Ties That Bind
Read more
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Read more
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005,

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005,
Read more
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)
Read more
Security and Trust Management - STM 2010

Security and Trust Management - STM 2010
Read more
Difference and Repetition

Difference and Repetition
Read more
Difference and Repetition

Difference and Repetition
Read more
Difference and Repetition

Difference and Repetition
Read more
Le Bergsonisme

Le Bergsonisme
Read more
An initiation to logarithmic Sobolev inequalities

An initiation to logarithmic Sobolev inequalities
Read more
Crítica e clínica

Crítica e clínica
Read more
Le billet de banque en France, 1796-1803 : De la diversité au monopole (Collection Etudes d'économie politique)

Le billet de banque en France, 1796-1803 : De la diversité au monopole (Collection Etudes d'économie politique)
Read more
Foucault

Foucault
Read more
Introduction to Operator Space Theory (London Mathematical Society Lecture Note Series)

Introduction to Operator Space Theory (London Mathematical Society Lecture Note Series)
Read more
Économie des ressources naturelles

Économie des ressources naturelles
Read more
Kant's Critical Philosophy: The Doctrine of the Faculties

Kant's Critical Philosophy: The Doctrine of the Faculties
Read more
Derniere prophetie, Tome 3 : Sous le signe de Ba'al

Derniere prophetie, Tome 3 : Sous le signe de Ba'al
Read more
Cinema 1: The Movement-Image

Cinema 1: The Movement-Image
Read more
Cinema 2: The Time-Image

Cinema 2: The Time-Image
Read more
Cinema 2: The Time-Image

Cinema 2: The Time-Image
Read more
L'univers du temps libre et des valeurs chez les jeunes

L'univers du temps libre et des valeurs chez les jeunes
Read more
An Initiation to Logarithmic Sobolev Inequalities (SMF AMS Texts & Monographs)

An Initiation to Logarithmic Sobolev Inequalities (SMF AMS Texts & Monographs)
Read more
Les Métamorphoses du calcul: Une étonnante histoire des mathématiques

Les Métamorphoses du calcul: Une étonnante histoire des mathématiques
Read more
Cuatro lecciones sobre Kant

Cuatro lecciones sobre Kant
Read more