Articles — French

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.

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é.

MODAL de Physique 472A

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

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

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.

Template: (c) 2010 Association for Computing Machinery (ACM) For tracking purposes => this is v1.3 - March 2012

Kamalraj Muruganathan's CV

COPYRIGHT © Hydroinformatique 2016