Détail de l'auteur
Auteur Zine El Abidine Bouneb |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
Titre : Exposition des objets CORBA comme des services Web dans un contexte de B2B : problème et solutions Auteurs : Zine El Abidine Bouneb ; Univ. de Constantine, Éditeur scientifique ; Zizette Boufaida, Directeur de thèse Année de publication : 2004 Importance : 161 f. Note générale : 01 Disponible à la salle de recherche
02 Disponibles au magasin de la bibliothèque centraleCatégories : Français - Anglais
InformatiqueTags : Site Web Objets Corba Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=128 Exposition des objets CORBA comme des services Web dans un contexte de B2B : problème et solutions [] / Zine El Abidine Bouneb ; Univ. de Constantine, Éditeur scientifique ; Zizette Boufaida, Directeur de thèse . - 2004 . - 161 f.
01 Disponible à la salle de recherche
02 Disponibles au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Site Web Objets Corba Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=128 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/4009 BOU/4009 Thèse Bibliothèque principale Thèses Disponible
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 disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : 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 : 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)
Catégories : Français - Anglais
InformatiqueTags : 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 : index.php?lvl=notice_display&id=5709 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5922 BOU/5922 Thèse Bibliothèque principale Thèses Disponible
