|
3114 Sujet(s) trouvé(s) |
| Titre | Auteur | Directeur de thèse | Statut | Cote | Date | lien |
---|
| Modélisation et simulation des processus biologiques dans le π-calcul | Ishak Boushaki, Saida | Mezghiche, Mohamed | Soutenue | 004(043.2)/A24/ISH | 2007 | | | Conception et mise en oeuvre d'un nouveau protocole de routage multi chemins pour les réseaux ad hoc basé sur la réputation noeuds | Riahla, Med Amine | Tamine, Karim | Soutenue | 004(043.2)/A5/RIA | 2008 | | | Confluence et préservation de la propriété de normalisation forte du système @ | Salmi, Cheikh | Mezghiche, Mohamed | Soutenue | 004(043.2)/A21/SAL | 2006 | | | Découverte des dépendances fonctionnelles floues dans des modèles relationnels sous imprécision | Amroun, Karima | Mezghiche, Mohamed | Soutenue | 004(043.2)/A3/AMR | 2008 | | | Un système de preuve d'ordre supérieure basé sur le E lambda calcul | Hamimed, Lyazid | Mezeghiche, M. | Soutenue | 004(043.2)/A20/HAM | 2006 | | | Un IDS basé sur un algorithme inspiré du fonctionnement de colonies des fourmis | Hadaoui, Rebiha | Mezghiche. M | Soutenue | 004(043.2)/A11/HAD | 2009 | | | Une approche basée ontologies pour l'indexation automatique et la recherche d'information multilingue (RIM) | Boucham, Souhila | Alimzighi, Zaia | Soutenue | 004(043.2)/A6/BOU | 2009 | | | Reformulation de requêtes dans les systèmes de recherche d'information dans des documents XML | Mataoui, M'hamed | Boughanem, Mohand | Soutenue | 004(043.2)/A19/MAT | 2007 | | | Une approche pour la sélection de méthodologies de développement logiciel | Touil, Ghassen | Mezghiche, M. | Soutenue | 004(043.2)/A18/TOU | 2006 | | | Preuve en Coq de propriétés de programmes numériques partant du code en C | Lounas, Razika | Mezghiche Mohammed | Soutenue | 004(043.2)/A9/LOU | 2008 | | | Pages : Première Préc | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | Suiv Dernière | | |
Portail National de Signalement des théses
Signalement des sujets en cours
Le signalement d'une thèse en cours est une bonne pratique scientifique utile à la visibilité de la recherche en Algérie. Il garantie l'exclusivité du thésard sur le ...
Lire plus
|
|
Validation des sujets
La validation des sujets proposés par les thésards est une étape importante dans le circuit du portail PNST. Cette opération est réalisée par le conseil scientifique ...
Lire plus
|
|
Dépôt des thèses soutenues
L'une des finalités du portail PNST est d'assurer un archivage pérenne des thèses et assurer une visibilité des travaux de recherche à l'échelle nationale. ...
Lire plus
|
|
Contacter-nous
Tél/Fax : 023 25 54 17
Email :
|
Suivez-nous
|
|
Tous droits réservés © 2014, CERIST
Département IST |
|
|
|