dea – Traduction – Dictionnaire Keybot

Spacer TTN Translation Network TTN TTN Login Deutsch English Spacer Help
Langues sources Langues cibles
Keybot 4 Résultats  www-sop.inria.fr
  Certilab  
Montrer texteMontrer source en cacheMontrer URL avec texte source
We are giving a graduate course on mechanization of proofs at the Dea in CS, University of Nice Sophia-Antipolis (UNSA).
Comparer pages textesComparer pages HTMMontrer URL avec texte sourceMontrer URL avec langue cibleDéfinir www-sop.inria.fr comme domaine prioritaire
Nous donnons des cours de DEA sur la mécanisation des preuves au Dea d'informatique, à l'université de Nice Sophia-Antipolis (UNSA) (module optionnel).
  Certilab  
Montrer texteMontrer source en cacheMontrer URL avec texte source
We are giving a graduate course on secure software at the Dea in CS, University of Nice Sophia-Antipolis (UNSA). Starting Fall 2000.
Comparer pages textesComparer pages HTMMontrer URL avec texte sourceMontrer URL avec langue cibleDéfinir www-sop.inria.fr comme domaine prioritaire
Nous donnons des cours de DEA sur les méthodes formelles et fiabilité du logiciel au Dea d'informatique, à l'université de Nice Sophia-Antipolis (UNSA). Module de tronc commun, 1er cours en automne 2000.
  Certilab  
Montrer texteMontrer source en cacheMontrer URL avec texte source
We are also giving a graduate course on "Natural Semantics: Specifications and Proofs", at the Dea MDFI ("Mathématiques Discrètes et Fondements de l'Informatique") at Marseille, since Dec. 1995; lecture notes in french, 80 pages.
Textseiten vergleichenHTM-Seiten vergleichenURL mit Ausgangstext zeigenURL mit Zielsprache zeigenwww-sop.inria.fr als Prioritätsdomäne definieren
Nous avons donné des cours de DEA "Semantique Naturelle: Spécifications et Preuves", au Dea MDFI ("Mathématiques Discrètes et Fondements de l'Informatique") de Marseille, de 1995 à 1999; notes de cours, 80 pages.
  Monique THONNAT  
Montrer texteMontrer source en cacheMontrer URL avec texte source
Monique Thonnat is french and was born in 1957. She received in 1980 a diploma of engineer ENSPM and a DEA (Master thesis) in Signal and Spatio Temporal Systems from University of Marseille . In 1982 she received her PhD degree in Optics and Signal Processing from University of Marseille III.
Textseiten vergleichenHTM-Seiten vergleichenURL mit Ausgangstext zeigenURL mit Zielsprache zeigenwww-sop.inria.fr als Prioritätsdomäne definieren
Monique Thonnat est française et est née en 1957. Elle a reçu en 1980 le diplome d'ingénieur ENSPM et le DEA (Diplôme d'Etudes Approfondies) Signaux et Systèmes Spatio-Temporels de l'Université de Marseille . En 1982 elle a obtenu le diplôme de Docteur-Ingénieur en Optique et Traitement du Signal de l'Université de Marseille III. Sa thèse a été préparée au Laboratoire d'Astronomie Spatiale du C.N.R.S. (Sujet : Méthodes interactives de dépouillement de clichés astronomiques : restitution du fond et obtention de vites ses radiales). Son Habilitation à diriger des Recherches s'intitule Vers une vision cognitive: mise en oeuvre de connaissances et de raisonnements pour l'analyse et l'interprétation d'images (Université de Nice Sophia-Antipolis, octobre 2003).