Théses de Doctorat
Permanent URI for this collectionhttp://192.168.16.104:4000/handle/123456789/1850
Browse
Item Extension des réseaux de petri récursifs pour l'analyse temporelle des systèmes à structure dynamique(01-07-2009) Dahmani, Djaouida épse. Zaouche; Boukala, M.Item Les modèles graphiques et logiques pour la gestion des informations incohérentes et incertaines(03-12-2017) Boutouhami, KhaoulaItem Modèle et techniques de transactions adaptables pour les environnements mobiles(17-11-2007) Taboudjemat, Nadia épse. NoualiItem Conception et réalisation d'un environnement de programmation IDEES(1984-06-24) Ahmed-Nacer, MohamedItem Les explications dans le systéme OICSI(1990) Kouninef, BelkacemItem Interpersonnel interchang of multimedia information(1990) Hadj Sadok, Djamel FauziItem Morphologie mathématique et architecture parallèle en traitement d'images(1991) Boukerram, AbdallahItem Contribution à la sémantique du parallélisme(1992) Hadjeres, Ferroudja épse. CheriefItem Etude des réductions dans le lambda-calcul et la logique combinatoire(1992) Mezghiche, MohamedItem Sémantique de la programmation logique et algèbre de processus(1992) Belmesk, MouniraItem Approche probabiliste du dénombrement des solutions du problème de satisfiabilité(1993) Zerkaoui, Habiba épse. DriasItem Logob(1994) Boumediene, Merouane, MalikaItem Gestion des schémas dans les bases de données de génie logiciel(1997) Ahmed-Nacer, MohammedItem Ordre causal et tolérance aux défaillances en environnement mobile(1998) Badache, NadjibItem Contribution à la résolution de contraintes par consistance forte(1999) Lebbah, YahiaItem 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 Les Réductions dans les réseaux de pétri stochastiques(2000) Ioualalen, Malika épse. BoukalaItem Filtrage d'information textuelle sur les réseaux : une approche hybride(2004) Nouali, Omar