ENGLISH |
L'affiliation est "Service des enseignements généraux"Aller à 2010 Nombre de documents archivés : 3. 2010
Morin-Allory, Katell, Boulé, Marc, Borrione, Dominique et Zilic, Zeljko.
2010.
« Validating assertion language rewrite rules and semantics with automated theorem provers ».
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 29, nº 9.
pp. 1436-1448. Savard, Geneviève et Caron, France. 2010. « Confrontations entre modèle et réalité : une expérience avec l’exponentielle en cinquième secondaire ». Communication lors de la conférence : Séminaire en didactique des mathématiques du Département de mathématiques de l’UQAM (Montréal, QC, Canada, Fév. 2010).
Seers, Patrice, Terrier, P., Tahan, Antoine et Thomas, Marc.
2010.
« Case Study : hybrid vehicles : the Honda insight and Toyota Prius : transition towards the automobile of the future? ».
In
Sustainable Development in Mechanical Engineering : Case Studies in Applied Mechanics.
pp. 83-109. Newcastle upon Tyne, UK : Cambridge Scholars Publishing. |