EN
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 ...
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]
Linux pratique. Hors série
Revue imprimée
Puissance de l'ordinateur et raison de l'homme : du jugement au calcul
Livre imprimé - Weizenbaum Joseph, Margulici Marie-Thérèse, DL 1981
Scrum pour les nuls
Livre imprimé - Layton Mark C., Ostermiller Steven J., Kynaston Dean J., Maniez Dominique, 2023
Un outil pour apprendre à effectuer la transition du développement d'un projet utilisant une méthodologie traditionnelle vers le framework Agile et le développement...
Physique quantique, information et calcul : des concepts aux applications
Livre imprimé - Degiovanni Pascal, Portier Natacha, Cabart Clément, Feller Alexandre, Roussel Benjamin, 2020
Cette introduction au domaine des technologies quantiques analyse les relations entre théorie quantique, théorie de l'information et informatique théorique. Les aute...
