| Logique | Logics
as tools
|
| Turing - Automates - Langages | Logic Software
from CSLI (Tarski, Turing, etc, Logics, proof, etc)
Virtual Turing Machine Visual Turing |
| Encyclopédie | Dictionnaire Algorithmique Structure
de données, Problemes
|
| Algorithme - Complexité | Cours
Complexité Turing Ram
|
| Génie logiciel | CS and Engineering
Handbook
|
| Systèmes d'exploitation | Micro
Kernel OS for education
|
| Mathématiques | Pages
de Edmund Furse (Formal Expression Language, etc)
|