Détail de l'auteur
Auteur F. Belala |
Documents disponibles écrits par cet auteur (3)
Affiner la recherche Interroger des sources externesExpression et vérification des contraintes non fonctionnelles d'une architecture SADL / Fateh Latreche
Titre : Expression et vérification des contraintes non fonctionnelles d'une architecture SADL Type de document : texte imprimé Auteurs : Fateh Latreche ; F. Belala, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique Année de publication : 2007 Importance : 98 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD Catégories : Français - Anglais
InformatiqueTags : Contraintes non fonctionnelles Architecture SADL Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/LAT4956.pdf Permalink : index.php?lvl=notice_display&id=266 Expression et vérification des contraintes non fonctionnelles d'une architecture SADL [texte imprimé] / Fateh Latreche ; F. Belala, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique . - 2007 . - 98 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Contraintes non fonctionnelles Architecture SADL Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/LAT4956.pdf Permalink : index.php?lvl=notice_display&id=266 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité LAT/4956 LAT/4956 Thèse Bibliothèque principale Thèses Disponible
Titre : Intégration de XML dans le cadre de la logique de réécriture Auteurs : Halima Douibi ; Univ. de Constantine, Éditeur scientifique ; F. Belala, Directeur de thèse Année de publication : 2006 Importance : 117 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C.
01 CDCatégories : Français - Anglais
InformatiqueTags : Document XML Schéma XML Logique de réécriture système Maude Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/DOU4501.pdf Permalink : index.php?lvl=notice_display&id=256 Intégration de XML dans le cadre de la logique de réécriture [] / Halima Douibi ; Univ. de Constantine, Éditeur scientifique ; F. Belala, Directeur de thèse . - 2006 . - 117 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C.
01 CD
Catégories : Français - Anglais
InformatiqueTags : Document XML Schéma XML Logique de réécriture système Maude Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/DOU4501.pdf Permalink : index.php?lvl=notice_display&id=256 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DOU/4501 DOU/4501 Thèse Bibliothèque principale Thèses Disponible
Titre : Spécification algébrique d'un éditeur de texte Auteurs : F. Belala ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1990 Importance : 118 f. Note générale : 01 disponible au magasin de la bibliothèque centrale Catégories : Français - Anglais
InformatiqueTags : Spécification algèbrique Editeur de texte Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=95 Spécification algébrique d'un éditeur de texte [] / F. Belala ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1990 . - 118 f.
01 disponible au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Spécification algèbrique Editeur de texte Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=95 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BEL/2187 BEL/2187 Thèse Bibliothèque principale Thèses Disponible
