نتائج البحث

Franco-Korean comparative law research on the production of evidence in criminal procedure ; Recherche de droit comparé franco-coréen sur l'administration de la preuve en matière pénale

• Authors : Sim, Seungbeom;

Subjects: Production of evidence; Modes of proof; Confession

• Source: https://theses.hal.science/tel-04216835 ; Droit. Université Panthéon-Sorbonne - Paris I, 2023. Français. ⟨NNT : 2023PA01D002⟩.

تفاصيل العنوان

Vérification formelle du fonctionnement d’un autopilote : analyse statique et génération de code vérifiée ; Formal verification of an UAV autopilot : Static analysis and Verified Code Generation

• Authors : Pollien, Baptiste;

Subjects: Méthodes formelles; Vérification et validation; Systèmes cyber-Physique

تفاصيل العنوان

Recherche de droit comparé franco-coréen sur l'administration de la preuve en matière pénale ; Franco-Korean comparative law research on the production of evidence in criminal procedure

• Authors : Sim, Seungbeom;

Subjects: Administration de la preuve; Modes de preuve; Aveu340

تفاصيل العنوان

Franco-Korean comparative law research on the production of evidence in criminal procedure ; Recherche de droit comparé franco-coréen sur l'administration de la preuve en matière pénale

• Authors : Sim, Seungbeom;

Subjects: Production of evidence; Modes of proof; Confession

• Source: https://theses.hal.science/tel-04216835 ; Droit. Université Panthéon-Sorbonne - Paris I, 2023. Français. ⟨NNT : 2023PA01D002⟩.

تفاصيل العنوان

Synchronization problems in dynamic multi-agent networks ; Problèmes de synchronisation dans les réseaux dynamiques multi-agents

• Authors : Penet de Monterno, Louis;

Subjects: Distributed; Synchronisation; Self-Stabilization

• Source: https://theses.hal.science/tel-04523540 ; Computer science. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAX116⟩.

تفاصيل العنوان

Le cinéma documentaire comme procédure judiciaire : analyse de films d'Errol Morris depuis la phénoménologie de Jacques Derrida jusqu'aux tribunaux ; Documentary Cinema as Legal Procedure : an Analysis of Errol Morris' Films, Through the Phenomenology of Jacques Derrida Up Until the Courtrooms

• Authors : Becquaert, Thibault; Hamers, Jérémy

Subjects: Errol Morris; Jacques Derrida; Déconstruction

تفاصيل العنوان

Encoding TLA+’s Set Theory for Automated Theorem Provers ; Encodages de la théorie des ensembles de TLA+ pour la preuve automatique

• Authors : Defourné, Antoine;

Subjects: Formal methods; Verification; Mathematical logic

• Source: https://theses.hal.science/tel-04408971 ; Informatique [cs]. Université de lorraine, 2023. Français. ⟨NNT : ⟩.

تفاصيل العنوان

L'effet des stratégies marketing sur la construction identitaire des consultants internes en entreprise

• Authors : Oulmane, Rayane;

Subjects: Consultant interne; Conseil interne; Posture professionnelle

• Source: https://dumas.ccsd.cnrs.fr/dumas-04344517 ; Sciences de l'information et de la communication. 2023.

تفاصيل العنوان

L'effet des stratégies marketing sur la construction identitaire des consultants internes en entreprise

• Authors : Oulmane, Rayane;

Subjects: Consultant interne; Conseil interne; Posture professionnelle

• Source: https://dumas.ccsd.cnrs.fr/dumas-04344517 ; Sciences de l'information et de la communication. 2023.

تفاصيل العنوان

Developing proof theory for proof exchange ; Developpements de théorie de la démonstration pour le partage de démonstrations

• Authors : Manighetti, Matteo;

Subjects: Logique; Démonstration automatisé de théorèmes; Théorie de la démonstration

تفاصيل العنوان