BOUALEM Ahmed
BOUALEM Ahmed
  1. A. Boualem
  2. Recherche
  3. Thèses
Thèses
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
Université Ibn Khaldoun, Soutenue le 29-11-2004
Conception d’environnement instrumenté pour la veille à la personne
Universiteit Antwerpen, Soutenue le 29-06-1999