Vers une démarche de vérification formelle d’architectures logicielles

Vers une démarche de vérification formelle d’architectures logicielles

Architectures logicielles

Mohamed Graiet - ISBN: 978-3-8417-8089-8

Analyse du Cycle de Vie

Analyse du Cycle de Vie

Outil de Gestion des déchets solides dans les Pays en Développement

Guillaume Nimbona - ISBN: 978-3-8417-8092-8

Unis par la couronne, indépendants par l'Eglise?

Unis par la couronne, indépendants par l'Eglise?

L'Ecosse face à l'Angleterre 1603-1707

Sabrina Juillet-Garzon - ISBN: 978-3-8417-8209-0

Ferdinand Léopold Oyono

Ferdinand Léopold Oyono

Vie et œuvre d'un diplomate de carrière

Georges Patrice Etoa Oyono - ISBN: 978-613-1-58631-6

Comportement en rhéométrie et en érosion de sédiments cohésifs modèles

Comportement en rhéométrie et en érosion de sédiments cohésifs modèles

Etude à l'échelle macroscopique et locale

Keang Sè Pouv - ISBN: 978-3-8417-8238-0

Des Églises réformées face à la dynamique de convergence

Des Églises réformées face à la dynamique de convergence

Contribution à l'étude du processus BEM

Charles Christophi - ISBN: 978-613-1-50335-1

Femmes d'Alger dans leur appartement d'Assia Djebar

Femmes d'Alger dans leur appartement d'Assia Djebar

Une relation entre la peinture et l'écriture

Farah Aicha Gharbi - ISBN: 978-613-1-52553-7

Contribution à la modélisation électrothermique

Contribution à la modélisation électrothermique

Elaboration d'un modèle électrique thermosensible du transistor MOS de puissance

Hussein Dia - ISBN: 978-3-8417-8313-4

Conditions de vie des personnes âgées en Afrique Subsaharienne

Conditions de vie des personnes âgées en Afrique Subsaharienne

La vie dans un ménage à génération coupée au Niger

Mahamane Ibrahima - ISBN: 978-613-1-57929-5

Modélisation et contrôle des piles à combustible

Modélisation et contrôle des piles à combustible

Etude de l'humidification interne des PEMFC

Florent Brèque - ISBN: 978-3-8417-8186-4