Loading...
Last submissions
-
-
-
Reynald Affeldt, Yves Bertot, Cyril Cohen, Pierre Roux, Kazuhiko Sakaguchi, et al.. Porting Coq Scripts to the Mathematical Components Library Version 2. Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, Université de Toulouse, France. 2023. ⟨hal-04225130⟩
-
-
-
-
Vanina Mollo, Anaïs Nouailles Mayeur, Carine Hebraud, Jonathan Ruille, Dominique Boutin, et al.. Le démantèlement des installations nucléaires : les collectifs acteurs de la réduction de l’incertitude. : Synthèse des travaux du groupe de travail E. Autorité de Sûreté Nucléaire (ASN); Comité d’orientation sur les facteurs sociaux, organisationnels et humains (COFSOH). 2023, 45 p. ⟨hal-04224411⟩
-
-
-
Céline Bonicco-Donato. Les rites d'interaction : l'héritage de la conception chinoise de la face dans la sociologie d'Erving Goffman. Anne Cheng; Stéphane Feuillas; Joseph Ciaudo. Autour du Traité des rites. De la canonisation du rituel à la ritualisation de la société, Hémisphères éditions, pp.87-101, 2022, Asie en perspective, 978-2377011131. ⟨10.4000/books.cdf.12993⟩. ⟨hal-04222278⟩
-
-
-
-
-
-
-
-
-
-