Résultat de la recherche
16 recherche sur le tag
'informatique' 




Ingénierie des indicateurs d'activités à partir de traces modélisées pour un environnement informatique d’apprentissage humain / Tahar Djouad
![]()
Titre : Ingénierie des indicateurs d'activités à partir de traces modélisées pour un environnement informatique d’apprentissage humain Type de document : texte imprimé Auteurs : Tahar Djouad, Auteur ; Alain Mille, Directeur de thèse ; Mohamed Benmohammed, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Autre Editeur : Lyon : Université Claude Bernard Lyon1 Importance : 182 f. Format : 31 cm. Note générale : Doctrat
2 copies imprimées disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Trace modélisée Calcul des Indicateurs transformation de
trace informatiqueIndex. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/DJO6084.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5989 Ingénierie des indicateurs d'activités à partir de traces modélisées pour un environnement informatique d’apprentissage humain [texte imprimé] / Tahar Djouad, Auteur ; Alain Mille, Directeur de thèse ; Mohamed Benmohammed, Directeur de thèse . - Constantine : Université Mentouri Constantine : Lyon : Université Claude Bernard Lyon1, 2011 . - 182 f. ; 31 cm.
Doctrat
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Trace modélisée Calcul des Indicateurs transformation de
trace informatiqueIndex. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/DJO6084.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5989 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DJO/6084 DJO/6084 Thèse Bibliothèque principale Thèses Disponible
Titre : Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) Type de document : texte imprimé Auteurs : Amel Boumaza, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2010 Importance : 88 f. Format : 31 cm Note générale : Magister
2 copies imprimées disponibles
Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Durées d'actions Véri cation formelle Langage D-LOTOS Modèle des DATA*'s Modèle checking Graphes de régions. Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/BOU5915.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5713 Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) [texte imprimé] / Amel Boumaza, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2010 . - 88 f. ; 31 cm.
Magister
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Durées d'actions Véri cation formelle Langage D-LOTOS Modèle des DATA*'s Modèle checking Graphes de régions. Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/BOU5915.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5713 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5915 BOU/5915 Thèse Bibliothèque principale Thèses Disponible Une approche basée architecture pour la spécification formelle des systèmes embarqués / Malika Benammar
![]()
Titre : Une approche basée architecture pour la spécification formelle des systèmes embarqués Type de document : texte imprimé Auteurs : Malika Benammar, Auteur ; Faiza Belala, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 163 f. Format : 31 cm Note générale : Doctorat en Sciences
2 copies imprimées disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BEN5929.pdf Permalink : index.php?lvl=notice_display&id=5724 Une approche basée architecture pour la spécification formelle des systèmes embarqués [texte imprimé] / Malika Benammar, Auteur ; Faiza Belala, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 163 f. ; 31 cm.
Doctorat en Sciences
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BEN5929.pdf Permalink : index.php?lvl=notice_display&id=5724 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BEN/5929 BEN/5929 Thèse Bibliothèque principale Thèses Disponible
Titre : Un cadre formel basé logique de tuiles pour les ADL Type de document : texte imprimé Auteurs : Aicha Choutri, Auteur ; Faiza Belala, Directeur de thèse ; Mohamed Bettaz, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 140 f. Format : 31 cm. Note générale : Doctorat en sciences
2 copies imprimées disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : ADL TL-SADeM Un cadre formel basé logique de tuiles informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/CHO6098.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5994 Un cadre formel basé logique de tuiles pour les ADL [texte imprimé] / Aicha Choutri, Auteur ; Faiza Belala, Directeur de thèse ; Mohamed Bettaz, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 140 f. ; 31 cm.
Doctorat en sciences
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : ADL TL-SADeM Un cadre formel basé logique de tuiles informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/CHO6098.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5994 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CHO/6098 CHO/6098 Thèse Bibliothèque principale Thèses Disponible Un cadre générique pour la détection et la résolution des interactions entre les aspects / Amel Boubendir
![]()
Titre : Un cadre générique pour la détection et la résolution des interactions entre les aspects Type de document : texte imprimé Auteurs : Amel Boubendir, Auteur ; Allaoua Chaoui, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 162 f. Format : 31 cm. Note générale : Doctorat en Science
2 copies imprimées disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : d’interactions entres les aspects orienté aspects informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU6076.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5991 Un cadre générique pour la détection et la résolution des interactions entre les aspects [texte imprimé] / Amel Boubendir, Auteur ; Allaoua Chaoui, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 162 f. ; 31 cm.
Doctorat en Science
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : d’interactions entres les aspects orienté aspects informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU6076.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5991 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/6076 BOU/6076 Thèse Bibliothèque principale Thèses Disponible PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkRecherche sur la résolution des Problèmes Complexes d’Affectation de fréquences Basses Bandes pour les opérateurs de la Téléphonie Mobile / Chaker Mezioud
![]()
PermalinkPermalinkPermalinkPermalink