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 qui r...
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
Du web des documents au web sémantique
Printed book - Delestre Nicolas, Malandain Nicolas, Bussi Michel, 2017
Approche pédagogique et pratique des modèles, des langages et des techniques proposés par le web des données et le web sémantique, à la croisée de l'informatique et des...
Building IBM : shaping an industry and its technology
Printed book - Pugh Emerson W., c1995
L'intégration de l'informatique dans l'enseignement et la formation des enseignants : actes du colloque des 28-29-30 janvier 1992
Printed book - Baron Georges-Louis, Baudé Jacques, Association enseignement public et informatique, Institut national de recherche pédagogique, 1992