50 résultats : type

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
50 résultats
page 1 sur 5
résultats 1 à 10
UNIT
Exercices (Compilation : théorie, techniques et outils)
Description : TDs qui relèvent d'un ou plusieurs thèmes. Composant d'exercices de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.
Mots clés : compilation, optimisation de code, programme informatique, langage de programmation, compilateur, code source, programmation assembleur, traduction dirigée par la syntaxe, analyse lexicale, analyse syntaxique, analyse sémantique, YACC, table de symbole, gestion des types, code intermédiaire, gén ...
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Exercices (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Gestion de type (Compilation : théorie, techniques et outils)
Description : Ce cours présente la notion de types dans un compilateur ainsi que les problèmes d'analyse de type et de vérification de types. Il donne l'exemple d'un système de typage simple. Thème 5 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples ...
Mots clés : compilation, gestion de type, programme informatique, langage de programmation, compilateur, code source, analyse de type, système de typage
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Gestion de type (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Compilation : théorie, techniques et outils - ensemble des ressources
Description : L'ensemble "Compilation : théorie, techniques et outils" vise à fournir des cours synthétiques sur la compilation et ses techniques, allant de l’analyse lexicale et syntaxique jusqu’à l’introduction à l’optimisation du code. Cet enseignement est organisé en 10 thèmes contenant cours, exemples et ...
Mots clés : compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, analyse lexicale, analyse syntaxique, gestion mémoire, gestion de type, table de symbole, traduction dirigée par la syntaxe, optimisation de code
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Compilation : théorie, techniques et outils - ensemble des ressources
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Physique Quantique : de la base aux nouvelles technologies (volet 2)
Description : Second volet du module "Physique quantique : de la base aux nouvelles technologies" qui consiste en la réalisation d'un dispositif de formation multimédia interactif de 40 heures au total (enseignement en ligne et activités pédagogiques) sur le thème de la physique quantique, en langue française. ...
Mots clés : physique quantique, mécanique quantique, principe d'incertitude, équation de Schrödinger, fonction d'onde, modèle de Bohr, mécanique ondulatoire, spin de l'électron, moment cinétique orbital, expérience de type Stern et Gerlach, édifice moléculaire, formalisme de Dirac, état liant, liaison covalente, ...
Date : 01-10-2009
Droits : Les résultats des travaux réalisés dans le cadre du présent contrat seront la copropriété, à parts égales, d'UNIT et de l'Université Nancy I. Ils seront régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
 En savoir plus
 Description complète
Physique Quantique : de la base aux nouvelles technologies (volet 2)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNISCIEL (unisciel)
Détermination de la température des étoiles chaudes
Description : Un article du dossier « La spectroscopie en astronomie ». Un exemple de spectres théoriques d'absorption, qui permettent de déterminer la température effective d'étoiles de type O par comparaison avec des spectres observés.
Mots clés : spectroscopie, spectre, étoile, étoile type O, température effective, atome d'hélium, ion hélium, atmosphère stellaire, modèle de spectre, raie spectrale
Date : 28-10-2008
Droits : Voir mentions légales http://culturesciencesphysique.ens-lyon.fr/mentions-legales
 En savoir plus
 Description complète
Détermination de la température des étoiles chaudes
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
Pesticides et Santé
Description : Journée Santé Environnement Quelques risques environnementaux reconnus ISPED, Université Victor Segalen Bordeaux 2 La question des pesticides comme risque environnemental est au cœur des débats de société et un sujet de choix pour l’imaginaire des medias. Les sources d’expositions sont ...
Mots clés : pollution, pesticides, sociologie de la santé, principe de précaution, risques pour la santé, évaluation du risque, veille sanitaire, toxicologie, environnement, santé 1.9 Type : image en mouvement
Date : 18-11-2010
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Pesticides et Santé
 Ajouter à mon panier
Accéder aux documents
UNIT
Preuves de programmes en coq
Description : 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 ...
Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia
Date : 21-09-2012
Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Preuves de programmes en coq
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
Brazzaville 2011 – Cancer invasif de la vulve.
Description : Titre : Brazzaville 2011 – Cancer invasif de la vulve. Intervenant (s) : Gilles BODY (Hôpital Bretonneau - Service gynécologie obstétrique – Tours). Résumé : cours : Cancer invasif de la vulve, diagnostic, bilan d’extension, traitement. Conférence enregistrée lors du séminaire de chirurgie gynéc ...
Mots clés : cancer, cancer de la vulve, Brazzaville, 2011, oncologie, UNF3S, anatomopathologie, mère-enfant, UMVF, épidémiologie, type cytologique
Date : 14-12-2011
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Brazzaville 2011 – Cancer invasif de la vulve.
 Ajouter à mon panier
Accéder aux documents
UNIT
Systémique et systèmes complexes : approche par les sudoku
Description : Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, ...
Mots clés : langage C, algorithmique, programmation, norme ANSI, code source, compilation, identificateur, instruction, type de donnée, constante, variable, structure, déclaration, fonction, fonction sizeof, opérateur, instruction break, conversion, instruction switch, boucle, chaine de caractère, tableau, ...
Date : 11-01-2010
Droits : Ces ressources libres d'accès sont la copropriété, à parts égales, d’UNIT et de l'UTC. Elles sont régies par la licence logicielle GPL, dans sa version française CeCILL : http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
 En savoir plus
 Description complète
Systémique et systèmes complexes : approche par les sudoku
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Cfacile : Introduction au langage C
Description : Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, ...
Mots clés : langage C, algorithmique, programmation, norme ANSI, code source, compilation, identificateur, instruction, type de donnée, constante, variable, structure, déclaration, fonction, fonction sizeof, opérateur, instruction break, conversion, instruction switch, boucle, chaine de caractère, tableau, ...
Date : 11-01-2010
Droits : Ces ressources libres d'accès sont la copropriété, à parts égales, d’UNIT et de l'UTC. Elles sont régies par la licence logicielle GPL, dans sa version française CeCILL : http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
 En savoir plus
 Description complète
Cfacile : Introduction au langage C
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé