Détail de l'auteur
Auteur M. Maouche |
Documents disponibles écrits par cet auteur (4)
Affiner la recherche Interroger des sources externes
Titre : De l'Unification des modèles de la concurrence à travers la logique de réécriture : application aux structures d'évenements Auteurs : Chafia Bouanaka ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse Année de publication : 1998 Importance : 115 f. Note générale : 01 Disponible dans la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale Catégories : Français - Anglais
InformatiqueTags : Réécriture Unification Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=97 De l'Unification des modèles de la concurrence à travers la logique de réécriture : application aux structures d'évenements [] / Chafia Bouanaka ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse . - 1998 . - 115 f.
01 Disponible dans la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Réécriture Unification Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=97 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/3203 BOU/3203 Thèse Bibliothèque principale Thèses Disponible Vers une intégration du formalisme ecatnet dans le langage de spécification orient-objet maude / Faiza Redjechta née Bouchoul
Titre : Vers une intégration du formalisme ecatnet dans le langage de spécification orient-objet maude Auteurs : Faiza Redjechta née Bouchoul ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse Année de publication : 1997 Importance : 90 f. Note générale : 01 Disponible au magasin de la bibliothèque centrale
01 Disponible à la salle de rechercheCatégories : Français - Anglais
InformatiqueTags : Ecatnet Langage orienté objet maude Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=107 Vers une intégration du formalisme ecatnet dans le langage de spécification orient-objet maude [] / Faiza Redjechta née Bouchoul ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse . - 1997 . - 90 f.
01 Disponible au magasin de la bibliothèque centrale
01 Disponible à la salle de recherche
Catégories : Français - Anglais
InformatiqueTags : Ecatnet Langage orienté objet maude Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=107 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité RED/2960 RED/2960 Thèse Bibliothèque principale Thèses Disponible
Titre : Vers une méthodologie de modélisation des sytèmes d'information par les réseaux de petri colores Auteurs : Mourad Bouzenada ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse Année de publication : 1997 Importance : 77 f. Note générale : 02 Disponibles au magasin de la bibliothèque centrale
01 Disponible à la salle de rechercheCatégories : Français - Anglais
InformatiqueTags : Modélisation système d'information Réseau de petri colore Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=100 Vers une méthodologie de modélisation des sytèmes d'information par les réseaux de petri colores [] / Mourad Bouzenada ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse . - 1997 . - 77 f.
02 Disponibles au magasin de la bibliothèque centrale
01 Disponible à la salle de recherche
Catégories : Français - Anglais
InformatiqueTags : Modélisation système d'information Réseau de petri colore Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=100 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/3029 BOU/3029 Thèse Bibliothèque principale Thèses Disponible
Titre : Vers une spécification formelle des objets d'administration de réseau à l'aide du langage Troll Auteurs : Noura Boudiaf ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse Année de publication : 2000 Importance : 106 f. Format : 30 cm Note générale : 1 disponible dans la salle de recherche
2 disponibles au magasin de la bibliothèque centraleCatégories : Français - Anglais
InformatiqueTags : Réseau Langage Troll Objet Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=76 Vers une spécification formelle des objets d'administration de réseau à l'aide du langage Troll [] / Noura Boudiaf ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse . - 2000 . - 106 f. ; 30 cm.
1 disponible dans la salle de recherche
2 disponibles au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Réseau Langage Troll Objet Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=76 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/3354 BOU/3354 Thèse Bibliothèque principale Thèses Disponible
