Le moteur de recherche
des thèses françaises
Michel Rueher
IdRefMots clés
FR |
EN
Programmation par contraintes
Arithmétique en virgule flottante
Logiciels -- Vérification
Calcul formel
Optimisation mathématique
Programmation orientée objets (informatique)
Résolution de problème -- Informatique
Vérification de programme
Interprétation abstraite
Logiciels -- Développement
Informatique
Vérification de programmes
Nombres à virgule flottante
Optimisation
Débogage
Erreurs d'arrondi
Apprentissage automatique
Langages de programmation
Représentation des connaissances
Imagerie médicale