Category: lisation
- OUROUA - Modélisation et vérification formelle des propriétés de la sécurité informatique.
Auteur OUROUA, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Modéli
View Details- DJEFFAL - Technologie des agents et du data-mining pour l'extraction de connaissances et la visualisation données géo spatiales.
Auteur DJEFFAL, Directeur de thèse DRIAS Habiba Filière Informatique Diplôme Doctorat Titre Technol
View Details- BENRESKALLAH - Bata mining pour la visualisation des données volumineuses et complexes.
Auteur BENRESKALLAH, Directeur de thèse N.KAMEL Filière Informatique Diplôme Magister Titre Bata mi
View Details- DEBBAB - La Conception et la réalisation d'un systéme Intelligent de détection de fausse Alerte Réseau.
Auteur DEBBAB, Directeur de thèse BABA ALI AHMED RIADH Filière Informatique Diplôme Magister Titre
View Details- NEMMOUCI - Application des modèles stochastiques formels pour la modélisation et l'évaluation des performances des réseaux de capteurs sans fil.
Auteur NEMMOUCI, Directeur de thèse GHARBI Nawal Filière Informatique Diplôme Doctorat Titre Applic
View Details- GUESSOUM - Une approche guidée par les ontologies en langage naturel la recommandation et la visualisation des entrepôts de données.
Auteur GUESSOUM, Directeur de thèse BOUKHALFA Kamel Filière Informatique Diplôme Doctorat Titre Un
View Details- SMATTI - Architecture et styles d'architectures pour la modélisation des procédés logiciels
Auteur SMATTI, Directeur de thèse AHMED NACER Mohamed Filière Informatique Diplôme Doctorat Titre A
View Details- BENABIDALLAH - Une approche de modélisation de procédés de développement de logiciel.
Auteur BENABIDALLAH, Directeur de thèse AHMED NACER Mohamed Filière Informatique Diplôme Doctorat
View Details- YATAGHENE - Utilisation des modèles formels dans un environnement de cloud computing .
Auteur YATAGHENE, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Ut
View Details- BOUGUELIA - Modélisation et conception orientée "services"
Auteur BOUGUELIA, Directeur de thèse AHMED NACER Mohamed Filière Informatique Diplôme Doctorat Titr
View Details- MANSOURI - Formalisation du comportement et du fonctionnement des réseaux de capteurs par les réseaux de Petri.
Auteur MANSOURI, Directeur de thèse BOUKALA Malika Co-directeur AIT BEN AMAR Houria Filière Informa
View Details- CHEROUANA - Application des techniques de CPI/BPR pour la notmalisation de processus de travail gouvernemental.
Auteur CHEROUANA, Directeur de thèse MAHDAOUI Latifa Co-directeur BENSALHIA wassila Filière Informa
View Details