Le moteur de recherche
des thèses françaises
Pierre Genevès
IdRefMots clés
FR |
EN
SPARQL (langage de programmation)
Données massives
Structures de données (informatique)
Logiciels -- Vérification
Bases de données -- Interrogation
Sparql
Analyse statique
Web Sémantique
Web sémantique
Big data
Json
JSON Schema
Génération de données
Données synthétiques
Validation
Satisfiabilité
JSON (langage de balisage)
Modélisation des données (informatique)
Logique temporelle de point fixe
Arbres finis