|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
Protéines alimentaires (Biochimie Agroalimentaire)
[Ressource pédagogique]
Date de publication :
20080319 |
Auteur(s) :
Bouquelet Stéphane |
Editeur(s) :
Université Lille1 - Sciences et technologies, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
En industries agroalimentaires, les protéines occupent une place de choix tant par leur valeur nutritionnelle que par leurs propriétés techno-fonctionnelles. Avant d'aborder successivement les protéines d'origine végétale puis celles d'origine animale on abordera dans un premier temps les propriétés fonctionnelles générales des protéines....
Référencé le :
06-03-2018
|
|
Biochimie agroalimentaire : ensemble des cours
[Ressource pédagogique]
Date de publication :
20080319 |
Auteur(s) :
Bouquelet Stéphane |
Editeur(s) :
Université Lille1 - Sciences et technologies, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
La Biochimie Alimentaire se situe au carrefour des Sciences de la Vie et du Génie des Procédés et plus particulièrement du Génie Industriel Alimentaire. L'approche des relations Structure-Fonction qui sont importantes tant du point de vue nutritionnel que fonctionnel permettra d'expliquer les interactions entre les différentes molécules qui entrent dans l'élaboration des aliments du consommateur «...
Référencé le :
30-10-2017
|
|
Comprendre l’impact des anesthésiques sur le cerveau
[Ressource pédagogique]
Date de publication :
20140523 |
Auteur(s) :
Buhry Laure |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Si les risques liés à l’anesthésie générale sont mieux contrôlés, on ne maîtrise pas ses effets sur le cerveau. Laure Buhry en parle dans cet épisode du podcast audio.
Référencé le :
25-04-2017
|
|
M2-1: La conception par combinaison de techniques
[Ressource pédagogique]
Date de publication :
20160901 |
Auteur(s) :
HOOGE Sophie, HATCHUEL Armand |
Editeur(s) :
BOSCHERON Thierry, VERGER Julie |
Origine de la fiche :
Canal-u.fr
La conception par combinaison de techniques
Référencé le :
28-10-2016
|
|
M5-4: Conclusion générale du MOOC
[Ressource pédagogique]
Date de publication :
20160901 |
Auteur(s) :
HATCHUEL Armand, HOOGE Sophie |
Editeur(s) :
BOSCHERON Thierry, VERGER Julie |
Origine de la fiche :
Canal-u.fr
M5-4: Conclusion générale du MOOC
Référencé le :
28-10-2016
|
|
M5-3: Règles de construction, robustesse et déploiement des diagrammes C-K
[Ressource pédagogique]
Date de publication :
20160901 |
Auteur(s) :
HATCHUEL Armand, HOOGE Sophie |
Editeur(s) :
BOSCHERON Thierry, VERGER Julie |
Origine de la fiche :
Canal-u.fr
M5-3 : Règles de construction, robustesse et déploiement des diagrammes C-K
Référencé le :
28-10-2016
|
|
M5-2 : Les applications de la théorie C-K : management de la valeur et prototypage de concept
[Ressource pédagogique]
Date de publication :
20160901 |
Auteur(s) :
HATCHUEL Armand, HOOGE Sophie |
Editeur(s) :
BOSCHERON Thierry, VERGER Julie |
Origine de la fiche :
Canal-u.fr
M5-2: Les applications de la théorie C-K : management de la valeur et prototypage de concept
Référencé le :
28-10-2016
|
|
M5-1 : Les applications de la théorie C-K : pilotage de la conception et de la rupture
[Ressource pédagogique]
Date de publication :
20160901 |
Auteur(s) :
HATCHUEL Armand, HOOGE Sophie |
Editeur(s) :
BOSCHERON Thierry, VERGER Julie |
Origine de la fiche :
Canal-u.fr
M5-1: Les applications de la théorie C-K : pilotage de la conception et de la rupture
Référencé le :
28-10-2016
|
|
M4-3 : Les diagrammes C-K sur un exemple
[Ressource pédagogique]
Date de publication :
20160901 |
Auteur(s) :
HATCHUEL Armand, HOOGE Sophie |
Editeur(s) :
BOSCHERON Thierry, VERGER Julie |
Origine de la fiche :
Canal-u.fr
Les diagrammes C-K sur un exemple
Référencé le :
28-10-2016
|
|
