La géologie pour la licence et le Capes SVT sous la forme de schémas synthétiques commentés.
Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
Fruit d'un long travail collectif d'enseignement et de recherche, ce manuel couvre tous les aspects de la géographie physique - géomorphologie, climatologie, hydrologie, biogéographie... - dans une approche volontairement systémique.
Une introduction à l’informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité.
Ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification. Il traite de manière très pédagogique des éléments de stratégie pour vérifier et pour concevoir des logiciels.
