Logique(s), langages formels et complexité pour l'informatique

Éléments de classification: aspects combinatoires et algorithmiques

Matériaux organiques pour la construction et le développement durable

Mesure de l'utilisabilité des interfaces

Essais mécaniques et lois de comportement

Ingénierie et intégration des systèmes

Matériaux piézoélectriques intégrés sur silicium

Matériaux organiques spécifiques pour la construction

Aéroélasticité et aéroacoustique

Linguistique et recherche d'information : la problématique du temps

Les tests logiciels : fondamentaux: Fondamentaux

Technologies, surveillance et vie privée du travailleur

ANTHEMIS

Filtrage adaptatif : théorie et algorithmes: théorie et algorithmes

Les diodes électroluminescentes pour l' éclairage

Architecture système et complexité: Apport des systèmes de systèmes à la pensée systémique

Principes de commutation numérique, du téléphone au multimédia

Apprentissage de la programmation avec OCaml

Objets communicants sécurisés: Applications, conceptions et concrétisation

Modélisation des écoulements multiphasiques turbulents hors d'équilibre

Méthodes formelles pour les systèmes répartis et coopératifs

Mesure des propriétés thermiques des matériaux

L'animation de la veille stratégique

Géostructures énergétiques

Sécurisation des architectures informatiques : exemples concrets

Les cristaux photoniques, ou la lumière en cage