Résultat(s) 1 - 3 résultats de 3 pour la requête 'Bernardo, Marco', Temps de recherche: 0,04s Affiner les résultats
1
Formal Methods for Performance Evaluation
par Bernardo, Marco, Hillston, Jane
Publié 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
2
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
3
Formal Methods for Computational Systems Biology
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel