Application des techniques formelles au logicielObservatoire français des techniques avancées, Groupe Méthodes formelles en logicielSorti - Retour prévu le 23/03/2015BibliothequeLire la suite...
Commande automatique des systèmes linéaires continusMinzu, ViorelDisponibleBibliothequeLire la suite...
Cryptographie et sécurité des systèmes et réseauxEbrahimi, TouradjDisponibleBibliothequeLire la suite...
