Catégorie:Wikipédia:ébauche informatique théorique
Apparence
Cette catégorie est une catégorie d'ébauche. Elle est remplie par le modèle « {{Ébauche}} » avec le paramètre « informatique théorique » :
Pages dans la catégorie « Wikipédia:ébauche informatique théorique »
Cette catégorie contient les 94 pages suivantes.
A
C
G
L
M
P
S
- Walter Savitch
- SC (complexité)
- Thomas Schiex
- Géraud Sénizergues
- Séparateur (théorie des graphes)
- Set packing
- Sharp-P-complet
- Simulation à événements discrets
- Stable (théorie des graphes)
- Stratégie d'évaluation (informatique)
- Bernd Sturmfels
- Suprématie quantique
- Synthèse logique
- Système acceptable de programmation
- Système de preuve interactive
- Mario Szegedy