Menu
Accueil
Forums
Liste des forums
En ce moment
Nouveaux messages
Nouveaux messages de profil
Connexion
S'inscrire
Quoi de neuf
Liste des forums
Menu
Connexion
S'inscrire
Forums
Loisirs et Entraides
Etudiant
Le domaine de l'informatique décisionnelle
JavaScript est désactivé. Pour une meilleure expérience, veuillez activer JavaScript dans votre navigateur avant de continuer.
Vous utilisez un navigateur obsolète. Il se peut que ce site ou d'autres sites Web ne s'affichent pas correctement.
Vous devez le mettre à jour ou utiliser un
navigateur alternatif
.
Répondre à la discussion
Message
[QUOTE="Hibou57, post: 13736863, member: 82014"] Non, pas du tout. Je suis chômeur longue durée, et ce qui m’intéresse moi, c’est les méthodes formelles dans le logiciel (programmation avec preuves). Je connais les choses comme les big‑data et cie seulement d’après ce que « j’en vois ». Mais peut‑être que ce qui se fait d’utile dans ce domaine est confidentiel et ne ressort pas dans le grand‑public. C’est pour ça que je demandais à [USER=358077]@DesertRose56[/USER] si elle peut donner un exemple pratique concret, parce que je suis curieux de savoir. [/QUOTE]
Insérer les messages sélectionnés…
Vérification
Répondre
Forums
Loisirs et Entraides
Etudiant
Le domaine de l'informatique décisionnelle
Haut