Le moteur de recherche
des thèses françaises
Denis Lugiez
IdRefMots clés
FR |
EN
Automates
Edition collaborative
Pair-à-Pair
Documents semi-structurés
Opération d'édition commutatives (CRDT)
Transformées opérationnelles
Type pour XML
XML (langage de balisage)
Travail collaboratif
Réseaux poste à poste (informatique)
Automate
Langages formels
Cryptographie
Protocoles de réseaux d'ordinateurs
Théorèmes -- Démonstration automatique
Systèmes informatiques -- Évaluation
Réécriture, Systèmes de (informatique)
Automates à pile
Détection de logiciel malveillant
Vérification de modèles (informatique)