FR
Guide d'autodéfense numérique
Printed book, 2023
Des outils pour comprendre et mettre en place des systèmes de protection informatique, afin de préserver ses données, sa vie privée et d'optimiser l'utilisation du ...
Analyse des besoins pour le développement logiciel : recueil et spécification, démarches itératives et agiles
Printed book - Lonchamp Jacques, DL 2015
Un cours sur les phases en amont de la conception d'un logiciel : capture, analyse, spécification, modélisation, classement par priorités des besoins auxquels il dev...
Le test en mode Agile
Printed book - Moustier Christophe, 2019
Les clés pour comprendre le rôle du test au sein d'une équipe agile, tester correctement un produit et savoir si l'automatisation est la seule solution à adopter. A...
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...
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...
