Sémantiques formelles

Vérification formelle de propriétés sémantiques des langages de programmation

- ISBN: 978-613-1-52995-5

Chimères et gargouilles informatiques

Écrire dans l'espace robographique

- ISBN: 978-613-1-52985-6

Maîtriser l'informatique de gestion

Programmation, Réseaux, Télécommunications et Développement Web dans un Monde Connecté

- ISBN: 978-620-6-73554-0

Réalisation de TP dans quelques filières STEM de façon bimodale

TP à distance en Programmation, Télécommunications, Réseaux Informatique, Langues vivantes

- ISBN: 978-620-3-44850-4

Gestion d'un facturier avec Ms Excel

- ISBN: 978-3-639-50472-9

Géométrie des images multiples et Stéréovision

Calibration par programmation linéaire et Reconstruction spatio-temporelle à-partir d'images

- ISBN: 978-613-1-55382-0

Approche basée sur les fonctions pour la composition de services Web

Un système de programmation fonctionnelle pour la composition de services Web

- ISBN: 978-613-1-57584-6

Automatiser l'apprentissage de la vision en robotique

Apprentissage de fonctions visuelles pour un robot mobile par programmation génétique

- ISBN: 978-613-1-50132-6

L’européanisation de la politique de défense française?

Le projet de loi de programmation militaire 2003-2008 et sa dimension européenne

- ISBN: 978-613-1-57261-6

Conception d'un équipement pour la polarisation provoquée

- ISBN: 978-3-330-87872-3