THESE Pour l obtention du Grade de DOCTEUR DE L UNIVERSITE DE POITIERS Facult de sciences fondamentales et appliqu es Dipl me National Arr t du 25 avril 2002 cole doctorale Sciences Pour l Ing nieur Secteur de Recherche M canique des Solides des Mat riaux des Structures et des Surfaces Pr sent e par Tony DA SILVA BOTELHO OK 2K K K K K K K K K KKK K K K K FK FK 2K K FK 2K 2K K K K FK K K K K K K K K K K K ok ok ok CONTRIBUT
N d ordre 2642 THESE pr sent e a L UNIVERSITE BORDEAUX 1 ECOLE DOCTORALE DES SCIENCES PHYSIQUES ET DE L INGENIEUR par Stylianos KOUZELEAS POUR OBTENIR LE GRADE DE DOCTEUR SPECIALITE MECANIQUE SCIENCES ET TECHNIQUES ARCHITECTURALES DEVELOPPEMENT D UN OUTIL D AIDE EN SIMULATION ACOUSTIQUE ARCHITECTURALE ADAPTABLE A UN SYSTEME DE MODELISATION C A O Th se dirig e par Catherine SEMIDOR Soutenue le 19 D cembre 2002 devant la Commission
THESE pr sent e L UNIVERSITE D ORLEANS pour obtenir le grade de DOCTEUR EN INFORMATIQUE par Daniel Diaz ETUDE DE LA COMPILATION DES LANGAGES LOGIQUES DE PROGRAMMATION PAR CONTRAINTES SUR LES DOMAINES FINIS LE SYSTEME c1p FD Soutenue le 13 Janvier 1995 devant la Commission d examen G Fil gt AE its Pr sident J P Delahaye Rapporteur P van Hentenryck Rapporteur D H D Warren Rapporteur F Benhamou