Facettes de la logique formelle : les présentations de base, leurs relations, leurs prolongements
Printed book - 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...
ITC : informatique tronc commun : cours et exercices corrigés : classes de prépas scientifiques 1re et 2e années
Printed book - Butin Frédéric, 2022
Synthèse des connaissances informatiques requises en première et deuxième années des classes préparatoires scientifiques. Avec des exemples d'application et des ex...
Le shell bash
Printed book - Newham Cameron, Rosenblatt Bill, Soulard Hervé, DL 2006
Présentation des différentes étapes nécessaires à l'installation et à la configuration de l'outil d'administration de systèmes et réseaux informatiques Shell Ba...
Informatique MP2I : cours, programmes en C et OCaml, exercices corrigés
Printed book - Mallet Olivier, 2023
Un cours complet détaillé avec de nombreux exemples, des programmes écrits dans les deux langages étudiés au sein de cette filière, C et OCaml, plus de soixante e...
TOGAF® ARCHIMATE® UML et BPMN : comment construire des modèles d'architecture d'entreprise
Ebook - Desfray Philippe, Raymond Gilbert, 2018
Informatique : 2e année : MP-PC-PT-PSI
Printed book - Préaux Jean-Philippe, DL 2017
L'essentiel du cours, des sujets de concours et des points de repères à approfondir en quinze chapitres : principes de la représentation des nombres, programmation e...