Recherche en cours
Par auteur
=
FAGÈS FRANÇOIS
Affiner ma recherche
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
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-1
sur 1
résultats
1 à 2
UNIT
Aspects sémantiques et algorithmiques du vivant
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
Format
:
Document HTML, Document PDF
Auteur
:
Fagès François
Thème
:
Sciences de la vie, Biologie, Biochimie, Ecologie, Mathématiques, Mathématiques
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
Public
:
apprenant, enseignant
UNIT
La programmation par contraintes
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
Format
:
Document HTML
Auteur
:
Parizot Étienne, Soliman Sylvain, Fages François
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Afficher section
2
sur 1