16 résultat(s) 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) 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 : https://bu.umc.edu.dz/md/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) 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 : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5989

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

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

Public ISBD Titre : Pour une meilleure performance des algorithmes de complétion et de réécriture Auteurs : Abbes Mehemmel ; Universite de constantine, Editeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1992 Importance : 97 f. Format : 31 cm Note générale : 02 Disponibles au magasin de la bibliothèque centrale Tags : Réécriture  Terminaison  Algorithme de simplification  Preuve automatique  Logique équationnelle  Logiciel REVE  Algorithme de complétion  Algorithme de recherche  Informatique Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=139 Pour une meilleure performance des algorithmes de complétion et de réécriture [] / Abbes Mehemmel ; Universite de constantine, Editeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1992 . - 97 f. ; 31 cm. 02 Disponibles au magasin de la bibliothèque centrale Tags : Réécriture  Terminaison  Algorithme de simplification  Preuve automatique  Logique équationnelle  Logiciel REVE  Algorithme de complétion  Algorithme de recherche  Informatique Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=139

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

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

Public ISBD Titre : Convention sociale dans les SMAs analyse, Modélisation et simulation Type de document : texte imprimé Auteurs : Boubakeur Achichi, Auteur ; Ramdane Maamri, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2010 Importance : 127 f. Format : 31 cm Note générale : Magister 2 copies imprimées disponibles Langues : Français (fre) Tags : Systèmes Multi-Agents  Communication entre agents  Engagement Social  Contrôle Social.  Informatique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ACH5890.pdf Format de la ressource électronique : pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5677 Convention sociale dans les SMAs analyse, Modélisation et simulation [texte imprimé] / Boubakeur Achichi, Auteur ; Ramdane Maamri, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2010 . - 127 f. ; 31 cm. Magister 2 copies imprimées disponibles Langues : Français (fre) Tags : Systèmes Multi-Agents  Communication entre agents  Engagement Social  Contrôle Social.  Informatique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ACH5890.pdf Format de la ressource électronique : pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5677

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

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

Public ISBD Titre : Vérification symbolique des systèmes critiques : Approche Distribuée Type de document : texte imprimé Auteurs : Zine El Abidine Bouneb, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 109 f. Format : 31 cm Note générale : Doctorat en sciences 2 copies imprimées disponibles Langues : Français (fre) Tags : Spéci?cation formelle  Véri?cation formelle  Langage LOTOS  Sémantique de maximalité.  Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU5922.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5709 Vérification symbolique des systèmes critiques : Approche Distribuée [texte imprimé] / Zine El Abidine Bouneb, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 109 f. ; 31 cm. Doctorat en sciences 2 copies imprimées disponibles Langues : Français (fre) Tags : Spéci?cation formelle  Véri?cation formelle  Langage LOTOS  Sémantique de maximalité.  Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU5922.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5709

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

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

Public ISBD Titre : Ingénierie des Exigences pour les Processus Inter-organisationnels Type de document : texte imprimé Auteurs : Hakim Bendjenna, Auteur ; Nacer eddine Zarour, Directeur de thèse ; Pierre-Jean Charrel, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2010 Autre Editeur : Toulouse : Université de Toulouse Importance : 136 f. Format : 31 cm Note générale : Doctorat 2 copies imprimées disponibles Langues : Français (fre) Tags : L’élicitation des exigences  Système d’information coopératif interorganisationnel  But  Scénario  Point de vue  choix d’une technique d’élicitation.  Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat En ligne : ../theses/informatique/BEN5906.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5711 Ingénierie des Exigences pour les Processus Inter-organisationnels [texte imprimé] / Hakim Bendjenna, Auteur ; Nacer eddine Zarour, Directeur de thèse ; Pierre-Jean Charrel, Directeur de thèse . - Constantine : Université Mentouri Constantine : Toulouse : Université de Toulouse, 2010 . - 136 f. ; 31 cm. Doctorat 2 copies imprimées disponibles Langues : Français (fre) Tags : L’élicitation des exigences  Système d’information coopératif interorganisationnel  But  Scénario  Point de vue  choix d’une technique d’élicitation.  Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat En ligne : ../theses/informatique/BEN5906.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5711

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

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

Permalink

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

Permalink

Une approche basée architecture pour la spécification formelle des systèmes embarqués / Malika Benammar  

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

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

Permalink

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

Permalink

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

Permalink

Un cadre générique pour la détection et la résolution des interactions entre les aspects / Amel Boubendir  

Permalink

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

Permalink

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

Permalink

Cohesion in written computer science discourse / Mourad Boughedaoui

Permalink