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...
Permis de réussir le C2i : référentiel 2011
Printed book - Terrier Claude, DL 2014, cop. 2012
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 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 ...
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...
La sécurité informatique en mode projet : organisez la sécurité du SI de votre entreprise
Printed book - Planche Alexandre, Del Duca Jérôme, Sallou Éric, copyright 2017
Pour appréhender les difficultés les plus courantes et éviter les pièges, cet ouvrage propose une méthode de gestion de projet adaptable à tout projet lié à la ...
