Rechercher par cursus

Concours ENS-Cachan Info. 3ème année	Général
Informatique au concours ENS-INFO	Général

Algorithmes efficaces en calcul formel	Algorithmique \| Mathématiques
Aspects algorithmiques de la combinatoire	Algorithmique \| Mathématiques
Modélisation markovienne	Réseaux

Compilation avancée	Programmation
Constructive Computation Theory	Sémantique
Lambda-calcul (Hardin)	Sémantique
Modèles, domaines, catégories, jeux	Sémantique
Preuves constructives	Logique & Preuve

Algorithmes des graphes	Algorithmique
Calculabilité	Languages, Automates & Calculabilité
Complexité	Complexité
Géométrie discrète et algorithmique	Algorithmique
Languages formels	Languages, Automates & Calculabilité
Logique	Logique & Preuve
Logique et Informatique	Logique & Preuve \| Sémantique
Réseaux	Réseaux
Théorie de l'information	Mathématiques

Algorithmique	Algorithmique
Algorithmique effective et concours ACM	Algorithmique \| Programmation
Architecture	Matériel et Système d'exploitation
Architecture, Système, Réseau	Matériel et Système d'exploitation \| Réseaux
Automates et langages formels	Languages, Automates & Calculabilité
Décidabilité	Languages, Automates & Calculabilité
Fondements de l'informatique	Languages, Automates & Calculabilité \| Logique & Preuve
Image	Algorithmique pour l'image
Logique	Logique & Preuve
Mise à niveau C/Caml	Programmation
Modèles de calcul et complexité	Complexité
Modélisation des systèmes complexes	Languages, Automates & Calculabilité
Probabilités et applications en algorithmique	Mathématiques
Programmation	Programmation \| Sémantique
Projet programmation orientée objet	Programmation
Systèmes d'exploitation, systèmes d'exploitation distribués	Matériel et Système d'exploitation

Algorithmes d'approximation	Algorithmique
Algorithmique des réseaux et télécommunications	Algorithmique \| Réseaux
Algorithmique effective et concours ACM	Algorithmique \| Programmation
Algorithmique parallèle	Algorithmique \| Réseaux
Architecture avancée	Matériel et Système d'exploitation
Arithmétique des ordinateurs	Matériel et Système d'exploitation \| Mathématiques
Compilation	Programmation
Complexité algorithmique	Algorithmique \| Complexité
Complexité structurelle	Complexité
Preuves assistées par ordinateur	Logique & Preuve
Probabilités et algorithmes	Algorithmique \| Mathématiques

Compilation avancée	Programmation
Complexité algébrique	Complexité
Ordonnancement	Algorithmique \| Réseaux
Validation in scientific computing	Logique & Preuve \| Programmation

Géométrie discrète et algorithmique	Algorithmique
Initiation à la cryptologie	Cryptographie
Lambda-calcul et domaines	Mathématiques \| Sémantique
Langages de programmation et compilation	Programmation \| Sémantique
Langages formels, calculabilité et complexité	Complexité \| Languages, Automates & Calculabilité
Logique et Informatique	Logique & Preuve \| Sémantique
Logique et théorie des ensembles	Logique & Preuve \| Mathématiques

Analytic Combinatorics	Mathématiques
Eléments d'algorithmique	Algorithmique
Graph Theory	Algorithmique
Programming Challenges	Algorithmique \| Programmation
Programming in Martin-Löf's Type Theory	Sémantique
Proofs and Types	Logique & Preuve
Reversible Markov Chains and Random Walks on Graphs	Mathématiques
Tree Automata Techniques and Applications	Languages, Automates & Calculabilité

Lambda-calcul (Berline)	Sémantique
Théorie de la démonstration	Sémantique

Automates avancés et applications	Languages, Automates & Calculabilité
Compilation	Programmation
Géométrie discrète et algorithmique	Algorithmique
Initiation à la cryptologie	Cryptographie
Introduction à la complexité	Complexité
Programmation logique par contraintes	Sémantique
Sémantique des langages de programmation	Sémantique
Théorie de l'information	Mathématiques

Algorithmes efficaces en calcul formel	Algorithmique \| Mathématiques
Aspects algorithmiques de la combinatoire	Algorithmique \| Mathématiques
Assistants de preuves et leur théorie	Logique & Preuve
Calculs algébriques et fonctionnels	Sémantique
Concurrence	Sémantique
Constructive Computation Theory	Sémantique
Démonstration automatique	Logique & Preuve
Dynamique et algorithmique des réseaux	Algorithmique \| Réseaux
Fondations mathématiques de la théorie des automates	Languages, Automates & Calculabilité
Géométrie algorithmique	Algorithmique pour l'image
Jeux pour la théorie des automates, la vérification et l'internet	Languages, Automates & Calculabilité
Langages de programmation	Programmation \| Sémantique
Logique linéaire et paradigmes logiques du calcul	Logique & Preuve
Modèles, domaines, catégories, jeux	Sémantique
Modélisation et vérification des systèmes temporisés, hybrides ou concurrents	Logique & Preuve

Introduction à l'informatique	Général
Principes des langages de programmation	Programmation

Algorithmes et Programmation : du séquentiel au distribué	Algorithmique \| Programmation
Bases de programmation et algorithmique	Algorithmique \| Programmation

Architecture	Matériel et Système d'exploitation
Bases de données	Base de données
Compilation	Sémantique
Conception et analyse d'algorithmes	Algorithmique
Géométrie algorithmique	Algorithmique pour l'image
Informatique parallèle et distribuée	Algorithmique \| Programmation
Informatique quantique	Mathématiques
Introduction à la théorie de l'information	Mathématiques
Introduction à la théorie des langages de programmation	Programmation \| Sémantique
Introduction au calcul formel	Mathématiques
Lambda-calcul (Lévy)	Sémantique
Modélisation des réseaux de communication	Réseaux
Principes et programmation des systèmes d'exploitation	Matériel et Système d'exploitation
Réseaux : protocoles et applications	Réseaux

Berkeley		UC Berkeley Computer Science Division
Bordeaux		Université Bordeaux 1
Concours		Concours
DEA Algorithmique		DEA Algorithmique [fusionné dans le MPRI]
DEA SPP		DEA Sémantique, Preuves et Programmation [fusionné dans le MPRI]
ENS-Cachan - L3		École Normale Supérieure de Cachan, Licence
ENS-Lyon - L3		École Normale Supérieure de Lyon, Licence
ENS-Lyon - M1		École Normale Supérieure de Lyon, Master 1ère année
ENS-Lyon - M2		École Normale Supérieure de Lyon, Master 2ème année
ENS-Ulm - L3		École Normale Supérieure de Paris, Licence
Livre		Livre
LMFI		Logique Mathématique et Fondement de l'Informatique - Master 2ème année
MIT		MIT OpenCourseWare : Electrical Engineering and Computer Science
MPRI - M1		Master Parisien de Rercherche en Informatique, Master 1ère année
MPRI - M2		Master Parisien de Rercherche en Informatique, Master 2ème année
Oxford		Oxford University Computing Laboratory
Paris Sud		Master Recherche Informatique - Université Paris Sud
Paris VII - L3		Université Denis Diderot
Séminaire		Séminaire
X - L3		École Polytechnique, 1ère année
X - M1		École Polytechnique, 2ème année
X - M2		École Polytechnique, 3ème année

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

A Crash Course on Coding Theory	Cryptographie
Abstract Interpretation	Sémantique
Advanced Complexity Theory	Complexité
Advanced Topics in Cryptography	Cryptographie
Essential Coding Theory	Cryptographie
Mathematics for Computer Science	Mathématiques