FR
Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
Printed book - David René, Nour Karim, Raffalli Christophe, Curien Pierre-Louis, 2025
Présentation des bases du raisonnement mathématique, de la syntaxe associée au calcul des énoncés et notamment de la théorie de la démonstration. 170 exercices s...
La petite boîte à outils de ChatGPT : 30 outils clés en main + 21 plans d'action
Printed book - Pellerin Clément, 2025
Du paramétrage de compte à la revue de ses différentes versions, afin de choisir la plus adaptée à ses besoins, l'auteur donne des conseils concrets pour réussir ...
Hacker "éthique" et cybersécurité : opportunités et défis
Printed book - Quéméner Myriam, Köcke Amelie, Rochfeld Judith, Féral-Schuhl Christiane, 2024
Acteurs actifs de la cybersécurité, les hackers dits éthiques détectent les vulnérabilités des logiciels et des sites web pour les communiquer aux responsables à...
Ergonomie des interfaces : guide pratique pour la conception des applications web, logicielles, mobiles et tactiles
Printed book, DL 2013, cop. 2013
Tout outil se caractérise par son utilité (capacité à remplir une fonction) et son utilisabilité (facilité d'emploi). En informatique, cette dernière est facteur...
Sécurisez Windows XP : [droits et partages - cryptage - protections - audits - sauvegarde - internet]
Printed book, 2006
Pour se perfectionner dans la protection de Windows XP. Passe en revue les aspects essentiels pour sécuriser les groupes et les utilisateurs, les fichiers et les dossi...
Agents IA : pour les nuls
Printed book - Ichbiah Daniel, 2026
Un guide pour apprendre à utiliser les logiciels d'intelligence artificielle dans son travail ou sa vie privée. Classer les courriels par ordre d'importance, tester la ...
