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  

Public ISBD 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 disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : Trace modélisée  Calcul des Indicateurs  transformation de trace  informatique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/DJO6084.pdf Format de la ressource électronique : pdf 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 Informatique Tags : Trace modélisée  Calcul des Indicateurs  transformation de trace  informatique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/DJO6084.pdf Format de la ressource électronique : pdf 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

Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) / Amel Boumaza  

Public ISBD 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 Informatique Tags : 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 : pdf 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 Informatique Tags : 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 : pdf 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  

Public ISBD 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 disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : 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 Informatique Tags : 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

Un cadre formel basé logique de tuiles pour les ADL / Aicha Choutri  

Public ISBD 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 disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : 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 : pdf 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 Informatique Tags : 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 : pdf 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  

Public ISBD 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 disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : 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 : pdf 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 Informatique Tags : 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 : pdf 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

Composition sémantique des services web dans un contexte d’ebXML / Ouassila Hemam née Hioual  

Permalink

Convention sociale dans les SMAs analyse, Modélisation et simulation / Boubakeur Achichi  

Permalink

Exploration multi-robots dans des environnements partiellement connus / Soheib Kadi  

Permalink

Ingénierie des Exigences pour les Processus Inter-organisationnels / Hakim Bendjenna  

Permalink

Intégration des applications d’entreprises / Adla Bentellis(Epouse Fedjkhi)  

Permalink

Pour une meilleure performance des algorithmes de complétion et de réécriture / Abbes Mehemmel

Permalink

Le raisonnement qualitatif dans les systèmes multi agents / Tahar Guerram  

Permalink

Recherche 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  

Permalink

Vérification symbolique des systèmes critiques / Zine El Abidine Bouneb  

Permalink

Contribution à l'analyse statistique et informatique des modèles stochastiques / Jean Donio

Permalink

Cohesion in written computer science discourse / Mourad Boughedaoui

Permalink