Livres / IA et ML / Apprentissage automatique

IA et ML

Tout Langages de programmation 1874IA et ML 893Développement de logiciels 611Algorithmes et théorie 548Développement web 472DevOps et Infrastructure 363Autre 269Cybersécurité 233OS et Système 214Développement de jeux 187Bases de données 157Systèmes embarqués 153Gestion informatique 110
Tout Science des données 307Apprentissage automatique 170LLM 129Réseaux neuronaux 97Vision par ordinateur 41ChatGPT 39TensorFlow 30PyTorch 23TAL (Traitement Automatique du Langage) 21MLOps 19Pandas 9Agents IA 1
Tout 2026 82025 172024 372023 202022 102021 122020 162019 82018 62017 32016 32015 32014 12012 12011 32009 12008 11990 1
RU
Logique et ordinateur : Modélisation du raisonnement et vérification de la correction des programmes

Logique et ordinateur : Modélisation du raisonnement et vérification de la correction des programmes

A

N.A. Alechina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeivoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalack

IA et ML

Score de qualité PDF :

A Excellent — texte copiable, table des matières, métadonnées B Bon — texte présent, certaines données manquantes C Moyen — texte partiellement extractible D Médiocre — probablement un scan F Scan sans OCR — texte non extractible