Descripteurs
Documents disponibles dans cette catégorie (4)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Le point, en 2009, sur le recours à la modélisation informatique, pour aider à l'analyse de la société mondialisée, devenue un système trop complexe, dépassant les capacités cognitives du cerveau humain. Deux méthodes issues de la simulation inf[...]Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire 
Article : texte imprimé
Joan C. Ambrojo, Auteur |Présentation, en 2006, du programme d'informatique distribuée qui permet de transformer son ordinateur personnel en partie de très gros calculateur pour divers projets scientifiques.Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire 
Article : texte imprimé
Présentation de Gilles Brassard, un informaticien canadien : sa personnalité et sa renommée ; retour sur l'origine des concepts de cryptographie et téléportation quantiques.Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06027 Disponible
