page d'accueil   sommaire   disciplines  

Informatique générale
Liste des unités de recherche et des chercheurs ayant déclarés cette discipline (Cref 1162).


unités de recherche


Méthodes formelles et vérification [Verification and formal methods] (Verif)
Service ingénierie de l'informatique et de la décision [Department of Computer and Decision Engineering] (CoDE)
Web and information technologies [CoDE-WIT-Laboratory for Web and Information Technology] (CoDE-WIT)



chercheurs





disciplines et mots clés associés


Analyse de systèmes informatiques Informatique administrative Informatique appliquée logiciel Informatique de gestion Informatique générale Informatique mathématique Systèmes d'information géographique

bases de données spatiales bases de données temporelles business intelligence contrôle distribué data mining distribution de code donées mobiles entrepôt de données extraction d'information grand données languages de requêtes logique des descriptions modélisation conceptuelle ontologies owl (ontology web language) provenance qualité de données raisonnement services web systèmes d'information géographique temps-réel text mining traitement de requêtes