Facettes de la logique formelle : les présentations de base, leurs relations, leurs prolongements
Livre imprimé - Berlanger Isabelle, Degauquier Vincent, Lucas Thierry, 2025
Manuel à destination des étudiants en mathématiques, philosophie, informatique ou sciences qui souhaitent approfondir ses connaissances en logique. Avec des exercice...
Physique, modélisation, chimie, MP : annales corrigées des problèmes posés aux concours 2023 : e3a, CCINP, Centrale-Supélec, Mines-Ponts, X-ENS
Livre imprimé - Aufort William, Metzger Florian, Puyhaubert Vincent, 2023
Les sujets des épreuves écrites de mathématiques et d'informatique des concours de la filière MP. Avec des indications méthodologiques, des astuces et des corrigés comm...
Dictionnaire du français des affaires : environnement économique des entreprises, droit des affaires, gestion des organisations, sciences et techniques appliquées aux affaires : lexiques : mots étrangers-français, français-mots étrangers. Annexes : sigles du français des affaires, sigles de mots étrangers des affaires
Livre imprimé - Rigaud Louis, DL 2005
Donne la définition de 6.000 termes du monde des affaires (économie, droit, gestion statistiques, informatique, sciences humaines...) en fonction des contextes d'util...
Savez-vous bien utiliser Windows XP ?
Livre imprimé, cop. 2009
Des exercices corrigés pour comprendre comment fonctionne le système d'exploitation. Avec des quiz pour tester les connaissances informatiques. Des cas pratiques, selon...
Le guide du C++ moderne : de débutant à développeur
Livre imprimé - Hermitte Luc, Luc, Vittupier Benoît, Benharrats Mehdi, Zeste de Savoir, 2025
Une formation complète pour apprendre à utiliser ce langage informatique ou se perfectionner. Avec une présentation des bases et des bonnes pratiques de la programma...
Opération Lovelace
Livre imprimé - Kecir-Lepetit Emmanuelle, 2018
En 2025, un virus attaque les systèmes informatiques mondiaux. Selon le professeur Holmes, un des experts sollicités, la seule solution est de retourner en 1943, à P...