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...
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 à...
Word : version 2024 et Microsoft 365 : fonctions de base
Printed book - Hervo Corinne, 2025
Présentation détaillée des fonctions de base de la version 2024 du logiciel de traitement de texte Word, intégrant également les spécificités de la version dispo...
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 ...
Les réseaux
Printed book - Salvatori Olivier, Pujolle Guy, 2024
Panorama des technologies des réseaux et des télécommunications actualisé selon les évolutions des technologies et des usages dont la généralisation du cloud net...
Satellites : de Kepler au GPS
Printed book - Capderou Michel, Le Treut Hervé, DL 2011
Après avoir rappelé les grands principes de la géodésie, l'ouvrage présente les différentes formes et propriétés des satellites artificiels, s'intéresse ensuit...
