Torthaí cuardaigh - Sirdey, Renaud
- 1 - 3 toradh as 3 á dtaispeáint
-
1
Les Solutions pour faire bonne figure de réir Sirdey, Renaud
Foilsithe in La Recherche (2007)Gairmuimhir: Ag lódáil…
Suíomh: Ag lódáil…Numéro de revue thématique Ag lódáil… -
2
Vérifier des programmes en prouvant des théorèmes de réir Sirdey, Renaud
Foilsithe in La Recherche (2007)Gairmuimhir: Ag lódáil…
Suíomh: Ag lódáil…Numéro de revue thématique Ag lódáil… -
3
Se mettre d'accord entre ordinateurs de réir Sirdey, Renaud
Foilsithe in La Recherche (2008)Gairmuimhir: Ag lódáil…
Suíomh: Ag lódáil…Numéro de revue thématique Ag lódáil…