Au coeur des algorithmes
Les bases de la programmation avec Python
Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
Ce livre est une introduction -claire et accessible- aux algorithmes utilisant le langage de programmation Python.
Une introduction aux principes fondamentaux de l’informatique destinée aux étudiants des filières techniques, scientifiques et commerciales recevant une initiation à l’informatique durant leurs premières années d’études.
Toute l’Analyse fonctionnelle, avec cours et exercices intégralement corrigés, pour les étudiants en L3 et M1 de mathématiques ainsi que pour les élèves en 1re année des écoles d’ingénieurs.
Un manuel de référence pour découvrir les bases indispensables à la réalisation de documents avec LaTeX et pour approfondir quelques points fondamentaux.
Ce manuel est consacré aux outils de la géologie structurale et de la géophysique. L’accent est mis sur les aspects microscopiques et macroscopiques de la déformation des roches, sur les états de contraintes à toutes échelles et sur les déplacements verticaux et horizontaux.
Ce livre a pour objectif de présenter la volcanologie moderne sous ses différents aspects, depuis l’origine des magmas jusqu’à leur éruption à la surface.
Rédigé principalement à l'attention des étudiants en Master, ce manuel d'analyse fonctionnelle est une introduction aux équations aux dérivées partielles avec un cours complet et plus de 50 exercices d'application corrigés.
Les granites sont les roches emblématiques de la croûte continentale. Issus d’un magma cristallisé en profondeur, ils affleurent aujourd’hui en surface sur tous les continents et témoignent de l’histoire géologique passée.
Pour faire comprendre les concepts actuels, l’auteur nous invite à découvrir comment on s’est posé, depuis l’Antiquité gréco-latine, des questions restées sans réponse avant qu’une science se dessine, puis comment elle a débouché, non sans heurts, sur nos connaissances actuelles.
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.