FR
Logique pour l'informatique
Printed book - Jaume Mathieu, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal, Mounier Isabelle, Raffalli Christophe, 2020
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 ap...
Sécurité informatique : principes et méthodes
Printed book - Bloch Laurent, Wolfhugel Christophe, Queinnec Christian, Schauer Hervé, Makarévitch Nat, DL 2013, cop. 2013
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'info...
Dépannez votre PC : édition Windows 7
Printed book - Abou Olivier, DL 2010
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 ...
Préparation au C2i niveau 1 : Certificat de compétences en informatique et internet : licences
Printed book - David Daniel-Jean, DL 2011
Une présentation des notions au programme du C2i et du système d'exploitation Windows 7, des conseils et des QCM.
Energie, entropie, information, cryptographie et cybersécurité : avec 115 exercices corrigés
Ebook - Ngô Christian
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...
Hackers : pour ou contre
Printed book - Guitian Cristina, Jackson Tom, 2021
Un documentaire pour découvrir les dessous du monde numérique. Chaque thème est décrypté grâce à des informations et des histoires ayant trait à la protection d...
