Détail de l'auteur
Auteur D.E. Saidouni |
Documents disponibles écrits par cet auteur (3)



Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes / Mokdad Arous
![]()
Titre : Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes Auteurs : Mokdad Arous ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse Année de publication : 2007 Importance : 91 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 : Théorie de la complexité computationnelle modèles de machine Classe de complexité Graphe de pas maximaux Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ARO4858.pdf Permalink : index.php?lvl=notice_display&id=267 Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes [] / Mokdad Arous ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2007 . - 91 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Théorie de la complexité computationnelle modèles de machine Classe de complexité Graphe de pas maximaux Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ARO4858.pdf Permalink : index.php?lvl=notice_display&id=267 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ARO/4858 ARO/4858 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 De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité / Farid Arfi
Titre : De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité Auteurs : Farid Arfi ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse Année de publication : 2007 Importance : 122 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 : Vérification symbolique entrelacée Sémantique de maximalité Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=234 De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité [] / Farid Arfi ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2007 . - 122 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Vérification symbolique entrelacée Sémantique de maximalité Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=234 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ARF/4855 ARF/4855 Thèse Bibliothèque principale Thèses Disponible