Gallery Items tagged French

INF 424 Logique
Ceci est le polycopié de cours du module INF424, qui fait partie la majeure Informatique de la formation d'ingénieurs de Télécom Bretagne ainsi que du Master of Science CSDS (Computer Science & Decision Systems). Il comporte trois parties :
Logique du premier ordre, : systèmes formels, théorie des modèles, satisfaisabilité, normalisation, résolution.
Logiques de description, et en particulier SROIQ.
Sémantique et vérification des langages de programmation.
Yannis Haralambous

Mémoire de Séries Temporelles
Séries temporelles
LaurentLesage

French letter
Typing an official letter in French.
Guillaume Bouvier

Projet Personnel en Humanités
Rapport du Projet Personnel en Humanités de Kévin Bulmé ayant pour sujet l'étude des bienfaits sociaux des jeux vidéo sur les personnes et la société.
Kévin Bulmé

MODAL de Physique 472A
MODAL de Physique 472A
Pierre Auclair et Brice Bakkali

Figures TikZ du cours "Interactions magnétiques"
Ce document regroupe les codes TIKZ des figures utilisées pour le cours "Interactions magnétiques" situé à la page http://femto-physique.fr/electromagnetisme/Interaction magnétique.php
Jimmy Roussel

Figures TikZ pour Champ magnétique créé par des courants électriques
Ce document regroupe les codes TIKZ des figures utilisées pour le cours "Champ magnétique créé par des courants électriques" situé à la page http://femto-physique.fr/electromagnetisme/biot_et_savart.php
Jimmy Roussel

Book of Edible Plants
This is the full PDF of Edible Food Book, a CC-BY-SA-3.0 book. Copyright © 2013 Abdelkrime Aries <kariminfo0@gmail.com>
Some fonts and colours have been modified from the original.
The partial source code of the book (because the complete book contains so many images!) can be found in this example. Or get the complete source at the original Github site.
Abdelkrime Aries (with some font, colour modifications by LianTze Lim)

Diag_agent_à_état
Diag_agent_à_état
Said Benaissa