Recent
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
Gustavo SOUZA VIEIRA DUTRA's résumé
Gustavo SOUZA VIEIRA DUTRA's résumé. Created with the Medium Length Professional CV template.
Gustavo
TP d'initiation à Python3 et à la programmation
Tutoriel d'initiation à python3
Laurent Guéguen
LaTeX intro rapide & aide mémoire
Source: Dave Richeson (divisbyzero.com), Dickinson College
Version francaise par Vincent Pantaloni, prof.pantaloni.free.fr
Traduction, correction et adaptation à la typographie française.
Une anti-seche en deux pages pour une intro rapide ou un aide mémoire des différentes fonctions.
A imprimer en recto verso par exemple.
Feel free to distribute this example, but please keep the referral to divisbyzero.com
Vincent PANTALONI
PSTE - REST - 219 rapport final
rapport final
benjamin.levy
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é
Maher Moussa's CV
Cv Maher moussa ingénieur en informatique. Created with the Twenty Seconds CV template.
maher moussa
Le Développement Durable Dans l'Informatique
Short beamer to show how cat interact biotech and IT people
Dotty
Mise en place d'une procédure numérique de réglage des paramètres du procédé "Direct Metal Deposition"
Projet de fin d'étude de l'INSA de Lyon :
Mise en place d'une procédure numérique de réglage des paramètres du procédé "Direct Metal Deposition"
Based on the Template for a Masters or Doctoral Thesis
Vincent VIDELIER