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...
Annales corrigées des problèmes posés aux concours 2026, mathématiques, informatique PSI : e3a, CCINP, Centrale-Supélec, Mines-Ponts, X-ENS
Livre imprimé - Aufort William, Monmege Benjamin, Puyhaubert Vincent, 2026
Les sujets des épreuves écrites de mathématiques et d'informatique de la filière PSI des grandes écoles, accompagnés de conseils méthodologiques, de rappels et des corr...
Dessiner en 2D ou en 3D avec HTML 5, CSS et JavaScript : canevas et ThreeJS : modélisation géométrique et synthèse d'images
Livre imprimé - Garnier Lionel, 2026
Les bases de l'informatique pour créer des pages HTML avec des styles CSS, avec des rappels de géométrie, des figures, des algorithmes ainsi que des explications détail...
Programmer avec Scratch en s'amusant
Livre imprimé - Breen Derek, Engler Olivier, DL 2015, cop. 2015
Un ouvrage dédié à Scratch, un langage de programmation ludique et visuel, qui permet aux enfants d'apprendre les bases du codage informatique. Electre 2016
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...
Les réseaux informatiques : guide pratique pour l'administration, la sécurité et la supervision
Livre imprimé - Cabantous Pierre, 2025
Des connaissances théoriques et pratiques pour le déploiement de solutions de supervision. La présentation théorique s'appuie sur les standards définis par l'IEEE ...