653 articles – 968 Notices  [english version]
.:. Consultation > Par type de document > Thèses .:.
37 documents classés par :
1 - 2 - 3 - 4 Page Suivante Page Finale
fulltext access Un système de types pour la programmation par réécriture embarquée
Tavares C.
Université Henri Poincaré - Nancy I (02/03/2012), Claude Kirchner (Dir.) [tel-00702301 - version 1]
fulltext access Stratégies d'optimisation de la mémoire pour le calcul d'applications linéaires et l'indexation de document partagés
Ahmad M.
Université Henri Poincaré - Nancy I (14/11/2011), Adam Cichon (Dir.) [tel-00641866 - version 2]
fulltext access Analyse de Programmes Malveillants par Abstraction de Comportements
Beaucamps P.
Institut National Polytechnique de Lorraine - INPL (14/11/2011), Jean-Yves Marion (Dir.) [tel-00646395 - version 1]
fulltext access Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
Bourdier T.
Université Henri Poincaré - Nancy I (07/10/2011), Horatiu Cirstea (Dir.) [tel-00646401 - version 1]
fulltext access Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés
Avanesov T.
Université Henri Poincaré - Nancy I (19/09/2011), Michael Rusinowitch (Dir.) [tel-00641237 - version 2]
fulltext access Contributions à l'analyse de systèmes par approximation d'ensembles réguliers
Courbis R.
Université de Franche-Comté (15/09/2011), Olga Kouchnarenko (Dir.) [tel-00643842 - version 1]
fulltext access Ingénierie Formelle de Domaine: Des Spécifications à la Validation
Mashkoor A.
Université Nancy II (12/07/2011), Prof. Jeanine Souquières (Dir.) [tel-00614269 - version 2]
fulltext access Terminaison à base de tailles: Sémantique et généralisations
Roux C.
Université Henri Poincaré - Nancy I (14/06/2011), Claude Kirchner (Dir.) [tel-00606360 - version 1]
fulltext access Fragments de l'arithmétique dans une combinaison de procédures de décision
Caminha Barbosa De Oliveira D.
Université Nancy II (14/03/2011), Stephan MERZ (Dir.) [tel-00578254 - version 2]
fulltext access Structures Multi-contextuelles et Logiques Modales Intuitionnistes et Hybrides
Salhi Y.
Université Henri Poincaré - Nancy I (03/12/2010), Didier Galmiche (Dir.) [tel-00607933 - version 1]