Détail de l'auteur
Auteur Abdesslem Layeb |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externesApproche quantique évolutionnaire pour l'alignement multiple de séquences en bioinformatique / Abdesslem Layeb
Titre : Approche quantique évolutionnaire pour l'alignement multiple de séquences en bioinformatique Type de document : texte imprimé Auteurs : Abdesslem Layeb ; Univ. de Constantine, Éditeur scientifique ; S. Meshoul, Directeur de thèse Année de publication : 2005 Importance : 122 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale 01 CD Catégories : Français - Anglais
InformatiqueTags : Approche quantique évolutionnaire Alignement muyltiple de séquences Bioinformatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/LaY4382.pdf Permalink : index.php?lvl=notice_display&id=251 Approche quantique évolutionnaire pour l'alignement multiple de séquences en bioinformatique [texte imprimé] / Abdesslem Layeb ; Univ. de Constantine, Éditeur scientifique ; S. Meshoul, Directeur de thèse . - 2005 . - 122 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale 01 CD
Catégories : Français - Anglais
InformatiqueTags : Approche quantique évolutionnaire Alignement muyltiple de séquences Bioinformatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/LaY4382.pdf Permalink : index.php?lvl=notice_display&id=251 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité LAY/4382 LAY/4382 Thèse Bibliothèque principale Thèses Disponible Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel / Abdesslem Layeb
Titre : Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel Auteurs : Abdesslem Layeb ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse Année de publication : 2010 Importance : 208 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Catégories : Français - Anglais
InformatiqueTags : Optimisation Diagramme de décision binaire SAT MAX-SAT Algorithmes évolutionnaires quantiques Recherche locale Approches exactes Approches hybrides Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/LaY5771.pdf Permalink : index.php?lvl=notice_display&id=323 Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel [] / Abdesslem Layeb ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2010 . - 208 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Optimisation Diagramme de décision binaire SAT MAX-SAT Algorithmes évolutionnaires quantiques Recherche locale Approches exactes Approches hybrides Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/LaY5771.pdf Permalink : index.php?lvl=notice_display&id=323 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité LAY/5771 LAY/5771 Thèse Bibliothèque principale Thèses Disponible
