Raffinement de l'abstraction pour la vérification de modèles à grande échelle
Signaler un problème
Contenus similaires
Avancées des modèles statistiques pour l’analyse des données
Ingénierie et gestion des données
Avancées en géoscience et géostructures
Progrès dans les traitements des maladies de la valve aortique et des racines
Éducation collaborative active
Un bref aperçu des projets pilotes ETS en Chine
Producteurs culturels et changement social en Amérique latine
Avancées dans la détection réflectométrique pour les applications industrielles
Amélioration athlétique
Soins aux personnes âgées
Avancées dans l’informatique des services
Utilisation du carbone
Exploitation sexuelle commerciale des enfants
Entre paix et guerre
Simulations informatiques des structures et interactions des protéines
Atlas des lésions thyroïdiennes
L’Amérique dans un miroir arabe
Progrès de la technologie de fabrication II
Applications des techniques laser à la mécanique des fluides
Un manifeste pour la santé mentale
Algorithmes d'apprentissage automatique adaptatifs avec Python




















