Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs appl...

Les connaissances nécessaires aux étudiants préparant le certificat informatique et Internet. Avec 905 QCM, 224 mises en situation, huit exercices et trois sujets appli...

Pour apprendre à résoudre les erreurs fréquentes, à prévenir les excès de lenteur ou exécuter des programmes incompatibles, mieux sécuriser son PC et le mettre à jour.

Ecrit par le responsable de la sécurité des systèmes d'information de l'INSERM, ce manuel explique de façon pédagogique les risques inhérents aux systèmes d'information...

L'énergie et l'information jouent un rôle important dans les sociétés modernes. Ces deux domaines ont un point commun : l'entropie. Celle-ci est reliée à l'irréversibil...

Une présentation des notions au programme du C2i et du système d'exploitation Windows 7, des conseils et des QCM.