Résultats de recherche | Portail de démonstration Syrtis

formal systems

Oeuvres sur : formal systems

Voir toutes les oeuvre de : formal systems (+204)

Thèse
Progrès récents en matière d’explicabilité formelle
Huang, Xuanxiang
Thèse
Développement rigoureux des architectures sécurisées dans les visions négative et positive : propriétés, modèles, analyse et outils support
Rouland, Quentin
Thèse
Méthodes et modèles pour la vérification formelle de l'attestation à distance sur microprocesseur
Certes, Jonathan
Thèse
Systèmes économiques territorialisés et pratiques informelles de communication à finalité productive : Le cas de la vallée de l'Arve
Blondeau, Jean-Christophe
Thèse
Du jeu vidéo au Serious Game : Approches culturelle, pragmatique et formelle
Alvarez, Julian
Thèse
Apprentissage de représentation de graphes de connaissances et enrichissement de modèles de langue pré-entraînés par les graphes de connaissances : approches basées sur les modèles de distillation
Sourty, Raphaël

Médiathèque numérique

Votre recherche ne donne aucun résultat

FAQ

Quels documents sont nécessaires pour s'inscrire ou se réinscrire à la bibliothèque ?

Combien de documents puis-je emprunter ? Combien de temps ? Et comment les prolonger ?

Les horaires d'ouverture changent-ils pendant les vacances scolaires ?

Combien de temps faut-il arriver avant le début d'une animation ?