Show Menu
Hide Menu
LIP6 اسـتـقـبال
كلـمـة المـديـر
الهيكل التنظيمي
تـنـظـيم مـخـبر
LIP6
رئاسـة
أقـسام إدارية
IT Service
المـجـلس العـلمـي
مجـلس المـخبر
مجلس
Teaching
Scientific Mediation
Our charters and commitments
الموقع
بـحــث
Axes & Teams
إصدارات
Projects
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
تـقـرير نشـاط
تقييم
Our skills
Work with us
Software
بـراءات اخـتراع
شركة شبانية
الدلـيـل
نـدوات
🔒
📫
عربى
🇫🇷
🇬🇧
عربى
-
Computer Science Laboratory
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
LIP6 supports the Pink October campaign for breast cancer awareness.
الدلـيـل
LÉON LUNA Claudia
ا بعد تدرج لدكتوراه -
OASIS
https://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=187
رئاسـة البـحث
: Anne DOUCET
Vérification de contraintes dans transaction imbriquées
مناقـشـة مـذكـرة
: 19/07/2001
تاريـخ المـغادرة : 19/07/2002
إصدارات 2001
2001
C. Léon Luna
: “
Vérification de contraintes dans transaction imbriquées
”, أطروحة, مناقـشـة مـذكـرة 19/07/2001, رئاسـة البـحث Doucet, Anne (2001)