Your search returned 3 results. Subscribe to this search

|
1. Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants / Vivien Maisonneuve ; sous la direction de François IrigoinPublication : 2015Availability: Accès au texte intégral | Click here to access online | Click here to access online
2. Thèses On type-based termination and dependent pattern matching in the calculus of inductive constructions [Ressource électronique] / par Jorge Luis Sacchini ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2011Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00622429] (1).
3. Thèses Préservation des preuves et transformation de programmes [Ressource électronique] / par César Kunz ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2009Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00004940] (1).

Powered by Koha