651 |
RTL-Check : a practical static analysis framework to verify memory safety and moreLacroix, Patrice. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.
|
652 |
Modélisaton et sécurité des réseauxCormier, Alexandre. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 5 mai 2008). Bibliogr.
|
653 |
Étude sur le filtrage et la compression des donnéesBen Mehrez, Nadia. January 1997 (has links)
Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
654 |
La reconnaissance de caractères manuscrits par réseau neuronal à fonctions radiales de base munies d'étatsConstantin, Pierre-Louis. January 1997 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
655 |
CDL+CWS : un langage de prototypes et son environnementJean, David. January 1997 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
656 |
Évaluation de méthodes formelles de spécificationDiab, Hassan. January 1999 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1999. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
657 |
Les outils du data mining : application en télécommunicationDutrisac, Mark, January 2001 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 2001. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
658 |
Méthodes factorielles en statistique textuelle : application à l'analyse du discours en matière d'informatique scolaire au QuébecGrenon, Vincent. January 2000 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 2000. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
659 |
Analyse et propriétés d'algorithmes de reconnaissance des formes /Van Der Pyl, Thierry. January 1900 (has links)
Thèse--Sc. math.--Paris VI, 1984. / 1984 d'après la déclaration de dépôt légal. Bibliogr. p. 247-252.
|
660 |
Un Système expert dans le domaine médical /Gascuel, Olivier, January 1900 (has links)
Thèse 3e cycle--Informatique--Paris VI, 1981. / 1984 d'après la déclaration de dépôt légal. Bibliogr. p. 172-174.
|
Page generated in 0.0811 seconds