Jouons à implémenter une transformée de Fourier rapide ! Un algorithme que vous utilisez probablement au quotidien. traitement du signal
Faciliter la navigation au clavier avec :focus, outline et box-shadow Quelques astuces pour des styles adaptés à la navigation au clavier et à la souris accessibilité clavier css3
Explorons WikiData Introduction au langage SPARQL à partir d'exemples liés à Wikidata web sémantique sparql wikidata
Introduction à la preuve de programmes C avec Frama-C et son greffon WP Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. c méthodes formelles preuve déductive
Les expressions régulières Un tutoriel pour comprendre les bases des expressions régulières regex expression régulière
Utiliser le DOM pour générer un sommaire en PHP Comment générer un sommaire à partir d'un bout de HTML en PHP ? En utilisant le DOM, pardi ! php html algorithme
Les conventions générateur et récepteur en électronique ou comment ne plus s'embrouiller avec les signes électronique
Introduction à la visualisation de graphes avec VisNetwork Création de graphes personnalisables et interactifs en javascript javascript graphes vis.js
Comment contribuer à un logiciel libre ? Que vous sachiez développer ou non, vous pouvez contribuer ! open source logiciel libre contribution
Sanctions économiques: de l'action, des chaînes et des tas de données Étude de cas sur la mise en œuvre de la législation européenne relative aux sanctions économiques
Écrire des programmes prouvés corrects avec Coq Garantir mathématiquement le respect d'une spécification programmation coq méthodes formelles
Reconnaissance de chiffres manuscrits Une méthode simple pour reconnaitre des chiffres manuscrits avec OpenCV python opencv reconnaissance de chiffre
Sortie de Python 3.9 Tour d'horizon de la dernière version du célèbre langage de programmation python
S'habiller dans le bon ordre grâce aux mathématiques Relations d'ordre, graphes et tris topologiques mathématiques algorithmique
Un zeste de mathématiques assistées par ordinateur Quand la machine vient en support du mathématicien mathématiques coq méthodes formelles
