Explore l'interaction entre les systèmes d'exploitation et les périphériques, couvrant les pilotes de périphériques, les bases d'IO, la structure matérielle, les bus, les performances sur disque et les niveaux RAID.
Couvre Dafny pour la vérification formelle, la concordance de modélisation, les règles de sécurité, la vivacité et les concepts de mémoire transactionnelle.
Couvre les systèmes de gestion de l'enregistrement audio et vidéo, en se concentrant sur les techniques de configuration, de surveillance et de dépannage pour une gestion efficace de l'enregistrement et des fichiers.
Explore la technologie Bluetooth, couvrant les types, les applications, la consommation d'énergie, les bandes de fréquences, la modulation et la coexistence avec le Wi-Fi.
