Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
Enfin un manuel de stratigraphie séquentielle adapté aux étudiants en Sciences de la Terre et de l'Univers, aux élèves des écoles d'ingénieurs et aux candidats aux concours de l'enseignement.
Manuel de géologie consacrée à l’étude de la sédimentologie par la reconstitution des paysages fossiles, cet ouvrage a une double vocation : théorique par son cours concis complété par des exercices d’application et des sujets de concours corrigés ; et pratique par son atlas inédit en couleurs.
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.
