Titre :	Vérification des équivalences de comportements des systèmes concurrents
Auteurs :	Adel Benamira ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse
Année de publication :	2006
Importance :	100 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 Informatique
Tags :	Isolement  Sol saharien  Levures amylolytiques  Caractérisation  Alpha-amylase  Déchets de dattes  Themostabilité
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/BEN4502.pdf
Permalink :	index.php?lvl=notice_display&id=261

Vérification des équivalences de comportements des systèmes concurrents [] / Adel Benamira ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse . - 2006 . - 100 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C.
01 CD

Catégories :	Français - Anglais Informatique
Tags :	Isolement  Sol saharien  Levures amylolytiques  Caractérisation  Alpha-amylase  Déchets de dattes  Themostabilité
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/BEN4502.pdf
Permalink :	index.php?lvl=notice_display&id=261