Le moteur de recherche
des thèses françaises
Nabil Layaida
IdRefMots clés
FR |
EN
Analyse statique
Web sémantique
Logiciels -- Vérification
Inclusion
SPARQL
PSPARQL
RDF
OWL
Web Sémantique
Informatique verte
Bases de données -- Gestion
Bases de données -- Interrogation
Consommation d'énergie
Économies d'énergie -- Appareils et matériel
Évaluation énergétique
SPARQL (langage de programmation)
Logiques modales
Contraintes de comptage
Xml
XPath