Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
Aspects sémantiques et algorithmiques du vivant  Droits d'accès : non autorisé
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 qu ...
Date : 13-01-2011
 Description complète
Aspects sémantiques et algorithmiques du vivant
Accéder au document 
Droits d'accès : non autorisé
UNIT
La programmation par contraintes  Droits d'accès : non autorisé
Description : Grâce à elle, le programme informatique résolvant un problème peut s?écrire de manière très simple. Il s?agit simplement d?écrire les différentes contraintes que l?on souhaite voir respectées?
Date : 20-02-2004
 Description complète
La programmation par contraintes
Accéder au document 
Droits d'accès : non autorisé