2 ressources en auto-formation : sémantique formelle

FILTRES

2 résultats
page 1 sur 1
Résultats de 1 à 2
Présentation de la ressource en auto-formation Aspects sémantiques et algorithmiques du vivant cours / présentation
13/01/2011
Aspects sémantiques et algorithmiques du vivant
Auteur(s) : Fagès François
Description : La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...
Présentation de la ressource en auto-formation Do general purpose languages have a future? cours / présentation
02/06/2009
Do general purpose languages have a future?
Auteur(s) : Stroustrup Bjarne
Description : As the computing world matures, the roles of computer professionals are becoming more specialized. In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completely ...