Cours Complets

Bonjour,
Je cherche des cours Complets avec exercices si possible( je demande la lune la ? ^^):
1/ Système d'exploitation 1 et 2(surtout ce qui conserve fork/join l'exclusion mutuelle en général). (j'ai trouver celui la http://cuiwww.unige.ch/~billard/systemeII/index.html qui est assez intéressant mais pas complet à ce que je vois.).
2/ Prolog.
3/ lambda calcul. (c'est rare des cours comme ca).
4/ compilation.

je vous remerci à l'avance