Le moteur de recherche
des thèses françaises
Véronique Benzaken
IdRefMots clés
FR |
EN
XML (langage de balisage)
Compilation (informatique)
Bases de données -- Interrogation
Langages de programmation
Méthodes formelles
Assistants de preuve
Bases de données orientées objet
Théorèmes -- Démonstration automatique
Analyse statique
XPath
Logiciels -- Vérification
Visualisation analytique
Systèmes workflow
Gestion dynamique des données
Visualisation
Flux de travail
Edition collaborative
Pair-à-Pair
Documents semi-structurés
Opération d'édition commutatives (CRDT)