Les métamorphoses du calcul : une étonnante histoire de mathématiques
Printed book - Dowek Gilles, 2018
Une démonstration est un raisonnement construit à l'aide d'axiomes et de règles de déduction. Dans les années 1970, le raisonnement prend le pas sur le calcul, ce ...
L'informatique en mémoire : collections d'objets historiques de la Cité des sciences et de l'industrie
Printed book - Cénival Marie de, Cité des sciences et de l'industrie Collections muséologiques, [1993]
Linux pratique. Hors série
Printed magazine
Scrum : un outil convivial pour une agilité radicale
Ebook - Aubry Claude, Pernot Pablo
Puissance de l'ordinateur et raison de l'homme : du jugement au calcul
Printed book - Weizenbaum Joseph, Margulici Marie-Thérèse, DL 1981
Les nouveaux outils du savoir
Printed book - Chambat Pierre, Lévy Pierre, [1993]