
Le logiciel, entre l'esprit et la matière
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.
| Nombre de pages | 80 |
|---|---|
| Date de parution | 24/04/2019 |
| Poids | 86g |
| Largeur | 120mm |
| EAN | 9782213712413 |
|---|---|
| Titre | Le logiciel, entre l'esprit et la matière |
| Auteur | Leroy Xavier |
| Editeur | FAYARD |
| Largeur | 120 |
| Poids | 86 |
| Date de parution | 20190424 |
| Nombre de pages | 80,00 € |
| Disponibilité | Epuisé |
Pourquoi choisir Molière ?
Du même auteur
-

Vie quotidienne des marins nantais au XIXème
Leroy XavierLa vie quotidienne des communautés de marins qui vivaient au XIXème dans les villages proches de Nantes commeTrentemoult et Vertou a pu être fidèlement reconstituée à partir de nombreuses sources à la fois privées et publiques. Mais aussi grâce aux recherches menées par plusieurs descendants de ces communautés qui ont réussi au fil des ans à constituer un fonds remarquable par sa richesse dans plusieurs domaines : généalogiques, historiques, biographiques, photographiques, iconographiques. Ces marins ont participé -souvent au péril de leur vie - à l'extraordinaire aventure des Européens du XIXè qui ont façonné durablement le monde dans lequel nous vivons aujourd'hui. Par leurs innovations technologiques, leur dynamisme, leur enthousiasme, leur esprit d'entreprise , leur confiance dans l'homme et dans l'avenir : un état d'esprit "européen" dont Jules Verne, un Nantais, est l'illustrateur le plus emblématique.Impression à la demandeCOMMANDER28,01 € -

Inventaire photographique et généalogique de Trentemoult et Vertou. Photos de familles de Trentemoul
Leroy XavierC'est un inventaire à la fois photographique et généalogique de plusieurs familles de marins nantais issues de Trentemoult, Vertou et Haïti.Impression à la demandeCOMMANDER50,00 € -

Pathologie tumorale rénale. Diagnostic et pronostic anatomopathologique et moléculaire des tumeurs r
Leroy Xavier ; Rioux-Leclercq NathalieLa pathologie tumorale rénale a connu ses dernières années une profonde modification de la prise en charge thérapeutique chirurgicale et oncologique. Le diagnostic des tumeurs rénales s'est également amélioré et complexifié avec la description récente de nombreuses nouvelles entités permettant de mieux approcher le pronostic et le guidage thérapeutique. Cet ouvrage proposé aux pathologistes, urologues, oncologues et radiologues détaille les modalités pratiques d'évaluation macroscopique et microscopique des tumeurs rénales, les nouveaux facteurs pronostiques et le diagnostic précis des différents sous-types tumoraux. Une approche anatomopathologique et génétique est proposée pour les différentes classes tumorales chez l'adulte et l'enfant avec un focus sur les outils immunohistochimiques et cytogénétiques indispensables.Sur commande en 2-4 joursCOMMANDER58,35 € -

Adolf hitler et la folie nazie. La naissance d'un monstre
Leroy Xavier ; Jacquemin ThomasDé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.Impression à la demandeCOMMANDER14,99 €
Du même éditeur
-

LE SUTRA DU LOTUS. Suivi du livre des sens innombrables et du Livre de la contemplation de Sage-Univ
COLLECTIFLe Sûtra du Lotus est sans aucun doute l'un des textes fondamentaux du Mahâyâna. Depuis plus de quinze siècles, dans la version de Kumârajîva, il scandé la pratique des bouddhistes de l'Extrême-Orient et permis à des millions d'entre eux d'approfondir le message du Bouddha. Ce livre canonique connaît actuellement une renaissance impressionnante en Chine, en Corée, voire au Vieêt-Nam. Au Japon, il a joui d'une ferveur ininterrompue : les plus croyants continuent à en réciter des passages chaque jour et des mouvements religieux ne cessent de le diffuser pour en faire la Bible du bouddhisme. Grandiose fresque, le Sûtra du Lotus apparaît comme une mise en scène, à l'échelle cosmique, de la prédication du Bouddha, illustrée de paraboles décrivant les différentes étapes qui mènent à l'Eveil. Au cours des âges, poètes et artistes en ont exploré et transposé les innombrables images. Ses virtualités philosophiques, dont le sens peut paraître aujourd'hui obscur, furent mises en valeur par des commentateurs issus de tous les courants du bouddhisme. Le Sûtra du Lotus, dont l'original sanscrit a été magistralement traduit au XIXe siècle par Eugène Burnouf, fut propagé à travers toute l'Asie dans la version en chinois classique qu'en fit Kumârâjiva au Ve siècle. C'est cette dernière qui est présentée pour la première fois en français, avec ses deux traditionnels sûtra d'accompagnement. Le Livre des sens innombrables et Le Livre de la contemplation du Sage-universel.EpuiséVOIR PRODUIT29,60 € -

Soûtra du Diamant et autres soûtras de la Voie médiane
Carré PatrickSi le Soûtra du Diamant et le Soûtra du C'ur sont célèbres dans l'ensemble du monde himalayen et sino-japonais, faisant l'objet de récitations et de méditations quotidiennes sur le sens de la vacuité universelle dans le bouddhisme tibétain et zen, il n'en est pas de même du Soûtra de la Pousse de Riz, injustement méconnu, et traduit ici pour la première fois en français. Il s'agit pourtant d'un texte clé des débuts du Mahâyâna, qui traite de tous les aspects de la production interdépendante en soulignant l'irréalité fondamentale des éléments qui la constituent. Loin d'être un culte du néant, cette insistance sur la vacuité, propre au Grand Véhicule, fait voler en éclats le cadre étroit de l'être et de la substance, si chers à nos philosophes occidentaux, et débouche sur la mise en ?uvre d'une compassion sans limites.EpuiséVOIR PRODUIT16,85 € -

Grands et petits secrets du monde de l'Art
Granet Danièle ; Lamour CatherineLe monde de l'art fonctionne comme une société secrète mondiale qui agit en plein jour. Le délit d'initiés n'y est pas interdit, mais recommandé. Décréter quels sont les «bons artistes», les «bonnes toiles», les «bons acheteurs», influencer les enchères, faire et défaire les cotes est le domaine réservé d'une centaine de décideurs.La crise financière de 2008 a certes secoué le monde de l'art, mais le système n'est pas près de s'effondrer. L'art est partout: dans la mode, dans la maison, dans la rue. C'est la fièvre de l'art: des amateurs de plus en plus nombreux veulent accéder à leur tour à ce pays des merveilles et s'y sentir aussi chez eux.Pour leur permettre de connaître de l'intérieur ce milieu opaque, et qui voudrait le rester, deux journalistes indépendantes ont mené l'enquête pendant plus de deux ans, de Shanghai à New York, de Berlin à Miami.Danièle Granet a fait toute sa carrière dans la presse écrite (L'Express, Le Figaro, Le Nouvel Économiste, Novapress).Catherine Lamour a commencé sa carrière au Monde. Elle a créé et dirigé le département des documentaires de Canal +.EpuiséVOIR PRODUIT23,45 € -

Dictionnaire des "apparitions" de la Vierge Marie
Laurentin René ; Sbalchiero Patrick ; Etchegaray RBiographie de l'auteur Théologien réputé, historien et journaliste religieux, auteur de nombreuses études d'exégèse et spécialiste des apparitions mariales, l'abbé Laurentin a publié récemment aux Éditions Fayard Découverte du secret de la Salette (avec l'abbé Corteville) et Le Nouveau Diatessaron.Docteur en histoire et journaliste, Patrick Sbalchiero enseigne à l'École cathédrale de Paris. Directeur de la revue Mélanges carmélitains, il est notamment l'auteur d'Enquête parmi les voyants (Éditions de Paris, 2007) et de Jean Paul II et les canonisations (Fayard, 2007). Il a dirigé les publications du Dictionnaire des miracles et de l'extraordinaire chrétiens (Fayard, 2002) et du Dictionnaire des "apparitions" de la Vierge Marie, avec René Laurentin (Fayard, 2007).EpuiséVOIR PRODUIT101,20 €
De la même catégorie
-

Algorithmique et programmation en Java. Cours et exercices corrigés, 5e édition
Granet VincentCet ouvrage est destiné aux étudiants en informatique (IUT, L2, L3 et Ml) et à ceux qui sont en écoles d'ingénieurs. La connaissance de l'algorithmique et de la programmation est l'une des bases du métier et des compétences d'un informaticien. L'objectif de ce livre est de vous faire comprendre et assimiler des méthodes et des outils qui vous permettront de concevoir des programmes valides et fiables. Les 16 premiers chapitres enseignent la programmation impérative en s'appuyant sur une méthodologie objet et le langage java. Les 11 derniers expliquent en détail les structures de données abstraites classiques (listes, graphes, arbres...) et les algorithmes fondamentaux (recherche, tri...). Les notions de cours dont illustrées par 211 exercices dont la plupart sont corrigés.Sur commande en 2-4 joursCOMMANDER41,65 € -

Travaux pratiques InDesign CC. Créez des documents esthétiques, mettez en page textes et images
Krakus OlivierCet ouvrage est un manuel d'apprentissage pratique pour découvrir et maîtriser InDesign, de sa prise en main à la mise en page de documents complexes : découvrez l'interface, les menus et les outils indispensables à travers des supports prints et web ; apprenez les astuces vous permettant d'être efficace sur le logiciel ; créez des documents mêlant textes et images tels qu'un CV, un livre de cuisine ou encore un flyer avec coupon réponse ; appliquez tout ce que vous avez appris en réalisant vous-même des mises en page élaborées et créatives ; maîtrisez le format deux colonnes, l'habillage de texte, les gabarits, les sommaires ou encore la mise en page liquide. En bonus sur www.dunod.com, réservés aux lecteurs de l'ouvrage : les fichiers du livre pour refaire, pas à pas, tous les exercices.EpuiséVOIR PRODUIT22,25 € -

Programmation en Python pour les sciences de la vie
Poulain Pierre ; Fuchs PatrickPython est le langage de programmation le plus répandu dans le monde scientifique. Il est parfaitement adapté pour l’analyse de données en sciences de la vie. Cet ouvrage, didactique et simple d'approche, aborde progressivement la programmation et l'algorithmique. Il présente ensuite des fonctionnalités plus avancées utiles en analyse de données (numpy, pandas, matplotlib, notebooks jupyter), ainsi qu’une introduction à la programmation orientée objet et graphique. L’ouvrage s’appuie sur de nombreux exemples provenant de la biologie, comme la manipulation de séquences nucléiques, l’analyse de structures protéiques, etc. De nombreux exercices d’application, de difficulté croissante, sont proposés et corrigés en détails. L’ensemble des codes sources de l’ouvrage est disponible en ligne.EpuiséVOIR PRODUIT32,45 € -

Tout JavaScript. Maîtrisez les bases de la programmation JavaScript, démarrez les frameworks Node.js
Hondermarck OlivierCe livre s’adresse à tous les développeurs web, qu’ils soient débutants ou avancés.Le JavaScript sert avant tout à rendre les pages web interactives et dynamiques du côté de l’utilisateur, mais il est également de plus en plus souvent utilisé côté serveur. La première partie de ce livre explique les bases et les bonnes pratiques de la programmation en JavaScript en se fondant sur la version ECMAScript 6. La deuxième partie porte sur l’interactivité avec les utilisateurs (interfaces, formulaires, gestion des erreurs, géolocalisation…). La troisième partie permet de s’initier aux aspects les plus avancés de JavaScript tels que Node.js, React ou les Web Workers. Les renvois de type tjs.ovh/nomScript qui sont présents au fil des pages sont des compléments interactifsà ce livre. Ils affichent : Le rendu de l’exécution du script. Un émulateur de la console du navigateur. Le code source complet de l’exemple avec une coloration syntaxique, des commentaires et des liens vers les fiches de la référence JS du site toutjavascript.com.EpuiséVOIR PRODUIT32,45 €
