Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
expression
Affiner ma recherche
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.
9
résultats
section 1
sur 1
résultats
1 à 9
Canal-u.fr
Analyse de co-localisation en microscopie photonique : une vue d'ensemble en 4 étapes
Description
:
Présentation Fabrice Cordelières BIC Bordeaux Imaging Center Bordeaux
Date
:
26-06-2020
Description complète
Analyse de co-localisation en microscopie photonique : une vue d'ensemble en 4 étapes
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Analyse lexicale (Compilation : théorie, techniques et outils)
Description
:
Présentation des automates, les expressions régulières et les scanners (transducteurs). Il explique comment créer automatiquement des scanners permettant de retrouver les unités lexicales dans un programme source. Il présente également des rudiments de Lex. Thème 1 de l'ensemble "Compilation : théo ...
Date
:
22-12-2010
Description complète
Analyse lexicale (Compilation : théorie, techniques et outils)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Analyse syntaxique (Compilation : théorie, techniques et outils)
Description
:
Se basant sur des pré-requis en théorie des langages (grammaires et automates à pile), ce cours montre les aspects théoriques à partir desquels on peut créer automatiquement des parseurs de langages structurés. Il aborde les deux grandes familles de parseurs : LL et LR. Des rudiments de présentation ...
Date
:
22-12-2010
Description complète
Analyse syntaxique (Compilation : théorie, techniques et outils)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Cours de logique
Description
:
Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantificate ...
Date
:
10-01-2020
Description complète
Cours de logique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Exemples de schémas conceptuels dynamiques et statiques (Maquette Numérique et Interopérabilité dans le Bâtiment)
Description
:
Les outils informatiques du secteur du bâtiment ne peuvent être développés sans une coopération entre des professionnels des métiers de la construction et des informaticiens à travers les modèles conceptuels. Deux exemples sont abordés : - La méthode de spécification formelle UML, l'une des plus uti ...
Date
:
03-01-2012
Description complète
Exemples de schémas conceptuels dynamiques et statiques (Maquette Numérique et Interopérabilité dans le Bâtiment)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Génération de code (Compilation : théorie, techniques et outils)
Description
:
Ce cours montre l'utilisation de la traduction dirigée par la syntaxe pour générer du code valide et en particulier la génération de code sur machine à pile et sur machine à registres. Il donne des exemples de génération de code pour des expression arithmétique, des structures de contrôle, des appel ...
Date
:
22-12-2010
Description complète
Génération de code (Compilation : théorie, techniques et outils)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Interprétation : fonctions, prédicats et connecteurs
Description
:
Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi q ...
Date
:
10-01-2020
Description complète
Interprétation : fonctions, prédicats et connecteurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
L'apport informatique dans la visualisation des observables cachés en science et en médecine
Description
:
La médecine est une science mais c'est aussi un art, un art de l'action. Mais pour agir, pour exercer cet art, il faut souvent voir le "caché". Cette réalité cachée est souvent très abstraite, mais elle peut être modélisée et représentée. Les nouvelles technologies ont rendu possible ces opérations. ...
Date
:
10-07-2001
Description complète
L'apport informatique dans la visualisation des observables cachés en science et en médecine
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Les bases de la programmation en C (série : Programmation en langage C)
Description
:
Après un bref historique, ce chapitre introductif présente les caractéristiques d'un langage compilé, les composantes élémentaires et la structure d'un programme en C et les conventions d'écriture. 9 exercices simples sur les structures de contrôle : instructions de branchement, boucles permettent d ...
Date
:
02-06-2009
Description complète
Les bases de la programmation en C (série : Programmation en langage C)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Afficher section
2
sur 1