Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
| Titre : | L’effet d’un bio-insecticide sur les larves du quatrième stade des Culicidae cas du Culiseta (Allotheobaladia) longiareolata (Macquart, 1838) | | Type de document : | texte manuscrit | | Auteurs : | Zahra Belkheiri, Auteur ; Zoubida Belli, Auteur ; Ibrahim Merabeti, Directeur de thèse | | Editeur : | Laghouat : Université Amar Telidji - Département de biologie | | Année de publication : | 2015 | | Importance : | 55 p. | | Format : | 30 cm. | | Accompagnement : | 1 disque optique numérique (CD-ROM) | | Note générale : | Option : Parasitologie et interactions négatives | | Langues : | Français | | Mots-clés : | Moustiques Lutte Insectes Extrait des plantes Larve Bio-insecticide Toxicologique DL50 DL90 | | Résumé : | Les moustiques causent des maladies graves à des taux de décès plus élevé dans le monde, pour cela la lutte contre ces insectes est l’une des préoccupations les plus récentes actuellement et suite aux problèmes posés par certains insecticides de synthèse, la science est à la recherche d’autres produits naturels à caractère insecticide. Comme, des produits à extrait des plantes et l’utilisation des bio-insecticides, tous ces éléments sont impliqués dans le sens de lutte biologique contre ces insectes car ces acteurs montrent un effet toxique sur les moustiques. Nos travaux tenté de traité l’une des très importantes méthodes de lutte ; la lutte biologique par l’utilisation d’un bio-insecticide, pour cela nos travaux sont porté sur le Bacillus thuringiensis var. israelensis(Bti) qui est testé sur le stade larvaire finale L4.D’après les résultats qui montre que le Bti est efficace au fur et au mesure de temps d’exposition que les doses utilisés d’après les paramètres toxicologique calculé DL50 et DL90. | | note de thèses : | Mémoire de master en sciences biologiques |
L’effet d’un bio-insecticide sur les larves du quatrième stade des Culicidae cas du Culiseta (Allotheobaladia) longiareolata (Macquart, 1838) [texte manuscrit] / Zahra Belkheiri, Auteur ; Zoubida Belli, Auteur ; Ibrahim Merabeti, Directeur de thèse . - Laghouat : Université Amar Telidji - Département de biologie, 2015 . - 55 p. ; 30 cm. + 1 disque optique numérique (CD-ROM). Option : Parasitologie et interactions négatives Langues : Français | Mots-clés : | Moustiques Lutte Insectes Extrait des plantes Larve Bio-insecticide Toxicologique DL50 DL90 | | Résumé : | Les moustiques causent des maladies graves à des taux de décès plus élevé dans le monde, pour cela la lutte contre ces insectes est l’une des préoccupations les plus récentes actuellement et suite aux problèmes posés par certains insecticides de synthèse, la science est à la recherche d’autres produits naturels à caractère insecticide. Comme, des produits à extrait des plantes et l’utilisation des bio-insecticides, tous ces éléments sont impliqués dans le sens de lutte biologique contre ces insectes car ces acteurs montrent un effet toxique sur les moustiques. Nos travaux tenté de traité l’une des très importantes méthodes de lutte ; la lutte biologique par l’utilisation d’un bio-insecticide, pour cela nos travaux sont porté sur le Bacillus thuringiensis var. israelensis(Bti) qui est testé sur le stade larvaire finale L4.D’après les résultats qui montre que le Bti est efficace au fur et au mesure de temps d’exposition que les doses utilisés d’après les paramètres toxicologique calculé DL50 et DL90. | | note de thèses : | Mémoire de master en sciences biologiques |
|
Réservation
Réserver ce document
Exemplaires
| Disponibilité |
|---|
| MB 03-220 | MB 03-220 | Thése | BIBLIOTHEQUE DE FACULTE DES SCIENCES | théses (sci) | Disponible |
| Titre : | Spécification des systèmes à l’aide de méthode formelle B | | Type de document : | document multimédia | | Auteurs : | Zoubida Belli, Auteur ; Taher Bendouma, Directeur de thèse | | Editeur : | Laghouat : Université Amar Telidji - Département d'informatique | | Année de publication : | 2012 | | Importance : | 95 p. | | Accompagnement : | 1 disque optique numérique (CD-ROM) | | Note générale : | Option : Réseaux,systèmes et applications réparties | | Langues : | Français | | Mots-clés : | Méthodes formelles Méthode Event-B Systèmes répartis Algorithme élection d’un leader Algorithme producteur /consommateur | | Résumé : | Dans ce document nous avons discuté de l’utilisation des méthodes formelles pour les programmes et les protocoles concernant les systèmes répartis. Ces méthodes malgré qu’elle soient couteuse donnent sureté et fiabilité aux programmes et protocoles. Parmi ces méthodes, la méthode formelle B inventé par Jean-Raymond Abrial, donne des possibilités de spécifier, vérifier et valider les programmes et les protocoles pour les systèmes répartis.
Dans notre travail nous présentons l’état de l’art des méthodes formelles en particulière la méthode B et l’appliquer sur des algorithmes classiques connus dans les systèmes répartis : Algorithme d’élection et l’algorithme de producteur/consommateur. | | note de thèses : | Mémoire de master en informatique |
Spécification des systèmes à l’aide de méthode formelle B [document multimédia] / Zoubida Belli, Auteur ; Taher Bendouma, Directeur de thèse . - Laghouat : Université Amar Telidji - Département d'informatique, 2012 . - 95 p. + 1 disque optique numérique (CD-ROM). Option : Réseaux,systèmes et applications réparties Langues : Français | Mots-clés : | Méthodes formelles Méthode Event-B Systèmes répartis Algorithme élection d’un leader Algorithme producteur /consommateur | | Résumé : | Dans ce document nous avons discuté de l’utilisation des méthodes formelles pour les programmes et les protocoles concernant les systèmes répartis. Ces méthodes malgré qu’elle soient couteuse donnent sureté et fiabilité aux programmes et protocoles. Parmi ces méthodes, la méthode formelle B inventé par Jean-Raymond Abrial, donne des possibilités de spécifier, vérifier et valider les programmes et les protocoles pour les systèmes répartis.
Dans notre travail nous présentons l’état de l’art des méthodes formelles en particulière la méthode B et l’appliquer sur des algorithmes classiques connus dans les systèmes répartis : Algorithme d’élection et l’algorithme de producteur/consommateur. | | note de thèses : | Mémoire de master en informatique |
|
Réservation
Réserver ce document
Exemplaires
| Disponibilité |
|---|
| CD 240 | CD 240 | CD | BIBLIOTHEQUE DE FACULTE DES SCIENCES | théses (sci) | Disponible |
