Vie quotidienne des marins nantais au XIXème

Chaire Sciences du logiciel Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu'il exécute. Cette extraordinaire plasticité a permis à l'ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l'incroyable et souvent effrayante complexité du logiciel ? Comment éviter les " bugs " de programmation et résister aux attaques ? Comment établir qu'un logiciel est digne de confiance ? A ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.

Découvrez enfin tout ce qu'il faut savoir sur Adolf Hitler en moins d'une heure ! Artiste raté, ancien clochard et survivant des tranchées, Adolf Hitler est devenu le tyran le plus terrible que l'Europe ait connu, alors même que rien ne le laissait présager... Né en Autriche, il connaît une jeunesse faite de frustrations et d'échecs. La Première Guerre mondiale lui donne une cause à défendre, et c'est à corps perdu qu'il se dévoue à l'Allemagne. Mais l'humiliation qu'elle subit le laisse profondément amer et le conforte dans l'idée que la nation qu'il admire tant a été trahie par des ennemis intérieurs : les juifs et les communistes. Il n'a dès lors plus qu'une idée en tête : prendre la tête du pays pour restaurer sa puissance et imposer à l'Europe entière la suprématie de la race aryenne, qu'elles qu'en soient les conséquences. Un monstre est né. Ce livre vous permettra d'en savoir plus sur : La vie d'Hitler Le contexte de l'époque Les temps forts de la vie du Führer Les conséquences de son action Le mot de l'éditeur :"Dans ce numéro de la collection 50Minutes Grandes Personnalités, Xavier Leroy dresse pour nous le portrait de l'une des personnalités les plus controversées du XXe siècle, Adolf Hitler. Si tout le monde connaît aujourd'hui sa responsabilité dans le déclenchement de la Seconde Guerre mondiale et le massacre des juifs, l'homme reste encore largement insaisissable. C'est pourquoi l'auteur tente de lever une partie du voile et nous laisse entrevoir la naissance du mal." Stéphanie Dagrain A Propos de la Série 50Minutes | Grandes Personnalités La série Grandes Personnalités de la collection "50Minutes" présente plus de cinquante hommes et femmes qui ont marqué l'histoire d'une manière ou d'une autre. Chaque livre a été pensé pour les lecteurs curieux qui veulent faire le tour d'un sujet précis, tout en allant à l'essentiel, et ce en moins d'une heure. Nos auteurs combinent les faits historiques, les analyses et les nouvelles perspectives pour rendre accessibles des siècles d'histoire.