EN
Machines à penser : une histoire de l'intelligence artificielle
Livre imprimé - Pratt Vernon, Puech Christian, dl. 1995
L'école et le multimédia
Livre imprimé - Carrier Jean-Pierre, DL 2000
La sécurité logicielle : une approche défensive
Livre électronique - Khoury Raphaël
Les métamorphoses du calcul : une étonnante histoire de mathématiques
Livre imprimé - 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...
IPv6 : principes et mise en oeuvre
Livre imprimé - Archier Jean-Paul, cop. 2012
Après avoir fait le point sur les limitations actuelles d'IPv4 et les apports d'IPv6, l'ouvrage décrit les principes de fonctionnement d'IPv6, et notamment ses techniqu...
L'informatique en mémoire : collections d'objets historiques de la Cité des sciences et de l'industrie
Livre imprimé - Cénival Marie de, Cité des sciences et de l'industrie Collections muséologiques, [1993]
