50 résultats : type

Recherche en cours

Par mots-clef = 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

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

Format : Document HTML, Document PDF, Document Open Office présentation

Auteur : Abdulrab Habib, Moulin Claude, Touati Sid

Thème : Informatique

Type de la ressource pédagogique : exercice, jeu de données, questionnaire

Niveau : enseignement supérieur, master, bac+4, bac+5

Public : apprenant, enseignant

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

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

Format : Document HTML, Document PDF, Archive compressée ZIP, Document Open Office présentation

Auteur : Abdulrab Habib, Moulin Claude, Touati Sid

Thème : Informatique

Type de la ressource pédagogique : cours / présentation, exercice, jeu de données

Niveau : enseignement supérieur, master, bac+4, bac+5

Public : apprenant, enseignant

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

Format : Document HTML, Document PDF, Archive compressée ZIP

Auteur : Abdulrab Habib, Moulin Claude, Touati Sid

Thème : Informatique

Type de la ressource pédagogique : cours / présentation, exercice, jeu de données, questionnaire

Niveau : enseignement supérieur, master, bac+4, bac+5

Public : apprenant, enseignant

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

Format : Document HTML

Auteur : Andrieu Stéphane

Thème : Physique, Mécanique, Optique, Electromagnetisme, Métrologie

Type de la ressource pédagogique : cours / présentation, expérience

Niveau : enseignement supérieur, licence, bac+1

Public : apprenant, enseignant

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

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

Format : Document XML

Auteur : Artru Marie-Christine

Thème : Astronomie, Cartographie, Chronologie, Physique, Mécanique, Optique, Electromagnetisme, Métrologie, Chimie, Cristallographie, Minéralogie

Type de la ressource pédagogique : cours / présentation

Niveau : enseignement supérieur, formation continue

Public : enseignant

Droits : Voir mentions légales http://culturesciencesphysique.ens-lyon.fr/mentions-legales

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

Format : video/mp4

Auteur : BALDI Isabelle

Thème : Problèmes et services sociaux; associations

Type de la ressource pédagogique : cours / présentation

Niveau : enseignement supérieur

Droits : Droits réservés à l'éditeur et aux auteurs.

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

Format : Document HTML, Vidéo MPEG

Auteur : Bertot Yves

Thème : Informatique

Type de la ressource pédagogique : cours / présentation, outil, exercice, liste de références

Niveau : enseignement supérieur, master, bac+4, bac+5

Public : enseignant, apprenant

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

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

Format : video/mp4

Auteur : BODY Gilles

Thème : Médecine et santé

Type de la ressource pédagogique : cours / présentation

Niveau : enseignement supérieur, formation continue

Droits : Droits réservés à l'éditeur et aux auteurs.

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

Format : Document HTML

Auteur : Boufflet Jean-Paul, Trigano Philippe, Benmimoun Amir

Thème : Informatique

Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, simulation, jeu de données, liste de références, questionnaire

Niveau : enseignement supérieur, formation continue

Public : apprenant, enseignant

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

Cfacile : Introduction au langage C

Date : 11-01-2010

Format : Document HTML

Auteur : Boufflet Jean-Paul, Trigano Philippe, Benmimoun Amir

Thème : Informatique

Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, simulation, jeu de données, liste de références, questionnaire

Niveau : enseignement supérieur, formation continue

Public : apprenant, enseignant

Rebondir