Théses de Doctorat
Permanent URI for this collectionhttp://192.168.16.104:4000/handle/123456789/1850
Browse
11 results
Search Results
Item Logob(1994) Boumediene, Merouane, MalikaItem Approche probabiliste du dénombrement des solutions du problème de satisfiabilité(1993) Zerkaoui, Habiba épse. DriasItem Gestion des schémas dans les bases de données de génie logiciel(1997) Ahmed-Nacer, MohammedItem Environnement de développement des systèmes d'informations(1999) Berkane, Zaia épse. AlimazighiItem Conception et analyse d'un modèle temporisé unificateur à base de réseaux de pétri de haut niveau(1999) Boucheneb, HanifaItem Contribution à la résolution de contraintes par consistance forte(1999) Lebbah, YahiaItem Etude des réductions dans le lambda-calcul et la logique combinatoire(1992) Mezghiche, MohamedItem Contribution à la sémantique du parallélisme(1992) Hadjeres, Ferroudja épse. CheriefItem Sémantique de la programmation logique et algèbre de processus(1992) Belmesk, Mounira