sode source logiciels
Extraits
Science-fiction
Code source
Cyberartistes, trafiquants de technologie, anciens espions de la guerre froide, leurres et écrans de fumée... Un roman d'espionnage et un thriller poétique sur fond de mondialisation, de manigances et de secrets, " l'un des premiers véritables romans du XXIe siècle " (Washington Post). " Ecrivain visionnaire, William Gibson prend le pouls de notre temps et bâtit, au fil de ses livres, le singulier tableau de notre futur en train de se construire. " Jean-François Thomas, nooSfere " Code source ne se contente pas d'effriter la réalité, il l'éclate littéralement. " Clément Solym, Actualitté
09/2023
Poésie
Ode à la source
Sautillant de jeu de mots en rime espiègle, l'auteur se laisse porter par les fantaisies de son inconscient pour peupler les pages de ce recueil d'images colorées et vibrantes. A travers les mots légers comme des plumes s'esquisse pourtant une véritable quête identitaire et spirituelle, une curiosité de l'autre et du monde qui nous entoure... Un besoin de retour aux sources, un chemin fait en chantant.
12/2022
Philosophie
Contre les logiciens
Sextus Empiricus (IIe-IIIe s. ap J.-C.) est le dernier philosophe sceptique de l'Antiquité et le seul dont l'oeuvre soit en grande partie conservée. Son Contre les dogmatiques prend pour cible la connaissance philosophique. Cet ensemble de traités très argumenté est articulé suivant la distinction, d'époque hellénistique, entre trois parties de la philosophie, la logique, la physique et l'éthique. On donne ici la première traduction française de la première et plus importante partie de cet ouvrage, le Contre les logiciens, qui conteste la possibilité même de connaître. Prenant appui sur la distinction entre "choses apparentes" et "choses cachées", Sextus Empiricus traite en premier lieu du " critère de la vérité " ou des voies d'accès à la connaissance des choses apparentes. Un long développement doxographique qui conduit des philosophes présocratiques aux Stoïciens, aux Epicuriens et aux Académiciens précède l'exposé des arguments qui plaident en faveur de l'inexistence d'un tel critère. Au livre Il, Sextus Empiricus met en question, à propos des choses cachées, le "vrai" lui-même, avant de faire ressortir la faiblesse de l'inférence sémiotique et celle de la démonstration. L'ouvrage porte ainsi à notre connaissance tout à la fois des doctrines dogmatiques-comme la logique stoïcienne-auxquelles nous aurions moins accès sans son témoignage, et une bonne partie de l'argumentaire sceptique déployé depuis la renaissance du pyrrhonisme, à l'époque d'Enésidème, qui serait autrement perdue.
09/2019
Programmation
Code. Le langage caché du matériel et des logiciels de nos ordinateurs
Le must absolu pour savoir comment fonctionne un ordinateur. Edition entièrement révisée d'un classique traduit en français pour la première fois. Nous sommes entourés d'ordinateurs au quotidien, qu'ils soient fixes, portables, sous forme de smartphones, ou qu'ils équipent nos téléviseurs, fours à micro-ondes, voitures, montres, aspirateurs, parmi tant d'autres appareils de haute technologie. Mais vous êtes-vous déjà demandé comment fonctionnaient réellement ces équipements qui nous simplifient la vie (ou la compliquent, selon les cas) ? Charles Petzold a formé une génération entière de lecteurs (spécialistes ou novices) à la magie secrète de nos machines informatiques. Il propose une version entièrement mise à jour de son ouvrage de référence paru il y a plus de 20 ans et encore jamais traduit en français. Abondamment illustré et écrit avec des mots simples, ce livre est la référence absolue pour percer à jour le mystère des ordinateurs. Plongez au coeur de la machine pour découvrir comment une combinaison d'actions très simples entraîne au final une opération d'une grande complexité. Du tic-tac de la montre au bouillonnement incessant d'Internet , ce livre vous révèle l'essence même de la révolution numérique.
11/2023
Multimédia
Les clés du droit des logiciels. Protéger, valoriser, exploiter, Edition 2024
Ce guide de référence consacré à la pratique du droit des logiciels offre une approche pratique et concrète permettant la protection, la valorisation, et la meilleure exploitation des logiciels dans les entreprises, associations et organisations publiques. Il apporte des réponses claires, des conseils stratégiques et de multiples outils (modèles de contrats, et check-lists). Structuration de l'ouvrage : Les bases de la propriété intellectuelle et du logiciel, qu'est-ce qui est protégé (le code, l'idée, l'algorithme), les clauses essentielles des contrats, les contrats les plus fréquents, les bonnes pratiques (dépôt de logiciel).
02/2024
Informatique
Le microprocesseur. Tome 4, Apects logiciels
Depuis 50 ans, le microprocesseur, forme moderne et intégrée de l'unité centrale, n'a cessé d'évoluer en termes d'intégration de fonctions, de puissance de calcul, de baisse de prix et d'économie d'énergie. Il est aujourd'hui présent dans la quasi-totalité des appareils électroniques. Bien connaître ses mécanismes internes et sa programmation est essentiel pour comprendre et maîtriser le fonctionnement d'un ordinateur et les concepts évolués de programmation. Le microprocesseur 4 traite des deux premières générations de microprocesseurs, c'est-à-dire celles qui manipulent les entiers aux formats de 4 et 8 bits. Ce volume analyse les aspects logiciels de ce composant. Il présente le codage d'une instruction, les modes d'adressage et les caractéristiques principales de l'architecture du jeu d'instructions d'un composant générique. Il étudie également les deux manières d'altérer le flot d'exécution avec les concepts de sous-programme et d'interruption. Des exemples puisés dans les technologies actuelles et anciennes illustrent et rendent accessibles les concepts théoriques.
01/2021
Informatique
Le stack. Plateformes, logiciels et souveraineté
Qu'est-ce que le Stack ? Une autre façon de concevoir et d'imaginer cette nouvelle réalité qu'est l'internet. En moins de trois décennies, nos modes de vie et nos rapports de pouvoir ont été bouleversés. Or le réseau des réseaux est encore pensé comme un vaste filet recouvrant la surface de notre planète et nivelant les hiérarchies anciennes. Benjamin H. Bratton propose de prendre le contre-pied de cette vision trompeuse d'un monde devenu plat. Il réintroduit la verticalité des rapports de domination et de souveraineté dans l'immanence des relations en réseaux. Le Stack propose la cartographie verticale d'un "empilement" en six strates, dont les régimes de souveraineté se superposent tout en s'imbriquant les uns dans les autres : Terre, Cloud, Ville, Adresse, Interface, Utilisateur. Le Stack invente ainsi le modèle d'une "méga-structure accidentelle", qui ne relève d'aucune nécessité supérieure, mais qui n'en impose pas moins ses conditions draconiennes à notre XXIe siècle. Ce volume présente la partie programmatique de l'ouvrage américain. Entre logiciels, plateformes, crises écologiques et politiques, notre avenir se programme dans le Stack. Grâce à cet ouvrage essentiel, audacieux, visionnaire et controversé, Benjamin H. Bratton nous aide à le lire et à l'écrire.
04/2019
Géopolitique
Russie, le logiciel impérial
L'offensive de la Fédération de Russie contre l'Ukraine, lancée le 24 février 2022, a surpris, par son ampleur, tous les observateurs du monde russe et post-soviétique. Les analyses de ce conflit sont multiples et contradictoires. Plusieurs grilles de lecture reviennent néanmoins : démocratie (ukrainienne) contre autoritarisme (russe), nation (ukrainienne) contre Empire (russo-soviétique), Europe-Occident (Ukraine) contre Eurasie (Russie), émancipation (ukrainienne) contre oppression coloniale (russo-soviétique), société civile (ukrainienne) contre Etat oppressif (russe)... Or, une question est toujours évacuée ou oubliée, c'est celle de l'Etat. Pour la Russie comme pour tous les pays de son ancien " empire " , la construction de l'Etat et la hantise de son effondrement sont centrales. Cet ouvrage vise à resituer ce conflit dans la longue continuité de l'Etat russe moderne (Empire russe, URSS, Fédération de Russie). Il faut revenir sur la dynamique impériale qui a présidé à sa création et à l'expansion géographique progressive de l'Etat russe depuis le XVe siècle pour analyser et comprendre le présent. Titulaire d'un doctorat et d'une HDR (Habilitation à Diriger les Recherches) en science politique à l'IEP de Paris, Jean-Robert Raviot est professeur de civilisation russe et soviétique à l'Université Paris-Ouest Nanterre La Défense depuis 2000. Au cours des années 1990, il a effectué plusieurs séjours de longue durée en URSS puis en Russie : à l'Institut de l'économie mondiale et des relations internationales de Moscou (IMEMO), à l'Institut de sociologie de la section sibérienne de l'Académie des sciences de Russie à Akademgorodok (région de Novosibirsk) ainsi que des missions plus ponctuelles dans les républiques du Tatarstan (Volga) et du Bachkortostan, ainsi que dans d'autres régions de Russie. Il a dirigé les Collèges universitaires français de Saint-Pétersbourg (1997-1998) puis de Moscou (1998-1999). Il est auteur de plusieurs ouvrages, dont "Démocratie à la russe" (Ellipses) et "Russie, vers une nouvelle guerre froide ? " (Documentation Française)
02/2024
Romans de terroir
Source
Dans ce roman d'anticipation, Christian Laîné nous entraîne tour à tour dans la capitale et dans une montagne qu'il a imaginée en Corrèze, abordant deux thèmes très actuels : les effets de la réforme territoriale dans les zones rurales et l'émergence d'une nouvelle structure sociétale fondée sur le biocentrisme. Nous sommes vers les années 2025. Quentin est un jeune homme qui vit sa vie à cent à l'heure en région parisienne. Agent immobilier dans une "boîte" qui tourne à fond, il court chaque mois après ses objectifs. Néanmoins, son enthousiasme, son talent de fin négociateur et sa capacité de travail font de lui un "winner" . Très amoureux de Melissa, avec laquelle il vit, il se sent bien dans sa peau. Il pense que rien ne pourrait le détourner de cette existence trépidante, jusqu'au jour où un notaire de Brive-la-Gaillarde lui adresse une missive où il lui demande de se rendre dans son étude pour régler une affaire... Quentin est intrigué, il n'a pas de famille dans ce coin-là. Le voyage qu'il va entreprendre dans le Limousin lui réserve de grandes surprises et il ne se doute pas de tout ce qui se cache derrière les vertes collines de Corrèze, de ce qui l'attend au détour d'un virage, de ce qui se bâtit dans les forêts corréziennes. Alors, le choc qu'il va recevoir va fendre son armure de citoyen lambda et va lui ouvrir les yeux sur un monde qu'il ne soupçonnait pas. Christian Laîné, vit en Limousin. Correspondant pour la presse locale, il publie depuis 2010. Toujours soucieux de mettre en valeur la richesse du patrimoine territorial qui l'entoure, il utilise son quotidien comme matière première pour ses romans.
05/2019
Informatique
Tout sur le code. Pour concevoir du logiciel de qualité, 2e édition
Pour concevoir du logiciel de qualité, dans tous les langages Considérée par beaucoup comme l'un des meilleurs ouvrages pratiques de programmation, la première édition de cet ouvrage a aidé les développeurs à mieux écrire leur code depuis plus de dix ans, quel que soit le langage utilisé. Aujourd'hui, ce classique a été entièrement révisé et mis à jour avec des pratiques de pointe et des centaines de nouveaux exemples de code, illustrant l'art et la science de la construction logicielle. Utilisant toutes les connaissances disponibles, Steve McConnell synthétise les techniques les plus efficaces et les principes indispensables à connaître en un guide clair et pragmatique. Quels que soient votre niveau d'expérience, votre environnement de développement ou l'importance de votre projet, cet ouvrage vous donnera toutes les informations nécessaires, vous guidera dans vos réflexions, et vous permettra de construire le meilleur code qui soit. Découvrez les meilleures techniques et les stratégies éprouvées ! Concevoir pour une complexité minimum et une créativité maximum. Récolter les bénéfices du développement collaboratif. Appliquer les techniques de programmation défensive pour réduire, et supprimer, les erreurs. Exploiter sans risque les opportunités de réaménager le code, ou de le faire évoluer. Utiliser des techniques de construction exactement adaptées à votre projet. Déboguer rapidement et, surtout, efficacement. Résoudre les problèmes critiques le plus tôt possible et de la meilleure façon.
02/2005
Policier-Espionnage
Soda Tome 12 : Code Apocalypse
Quand le flic devient un tueur. "Etre policier n'est pas le plus difficile. La peur, le sang, le vitreux d'un regard mort... Je ne pense pas qu'on oublie, non... Mais à ce qu'il paraît, il est possible de s'y habituer". Même en proie à ses états d'âme, Soda, policier new-yorkais trois doigts à la main gauche et une mère cardiaque qui le croit pasteur est un flic terriblement efficace. Lors d'une mission particulièrement sanglante, il abat un jeune homme. Il apparaît que ce dernier était un tueur au service du gouvernement, qui impose alors à Soda de le remplacer pour terminer sa mission fatale... On savait Philippe Tome capable d'humour et de tendresse avec les gags du "Petit Spirou". On a découvert son talent de scénariste dramatique, qui ne se départit jamais de son humour noir, avec "Sur la route de Selma" (avec Berthet) et "Berceuse assassine" (avec Ralph Meyer). Quant à Bruno Gazzotti, chaque album de "Soda" est l'occasion pour lui de prouver la virtuosité et la redoutable efficacité de son trait. Avec ce personnage de flic new-yorkais désabusé, qui fait croire à sa mère qu'il est pasteur ce qui l'oblige à des contorsions vestimentaires deux fois par jour dans l'ascenseur les auteurs ont créé un des héros les plus originaux et les plus forts de ces quinze dernières années. Une série qui fait la part belle à l'action et à l'humour noir.
05/2023
Mathématiques
Logiciel et industrie du futur
En l'espace de quelques années, préparer l'industrie du futur est devenu l'un des enjeux majeurs des entreprises et territoires industrialisés. L'industrie du futur s'intègre dans un contexte général de numérisation de la société et de nombreux gouvernements y voient un facteur possible de relance ou de maintien de la compétitivité et de la rentabilité des industries. L'ouverture à la concurrence a également encouragé différents pays à mettre en place un ensemble de plans stratégiques nationaux et internationaux ces dernières années. Les définitions données à l'industrie du futur sont multiples et divergent parfois d'un pays ou d'une institution à une autre. Cet ouvrage vise à présenter l'analyse et la vision de chercheurs français travaillant dans plusieurs domaines en lien avec l'informatique et le logiciel. Le constat observé est l'absence quasi systématique de débats et de questionnements sur le logiciel et sur son apport dans l'industrie du futur. Il est pourtant primordial de ramener ce problème au centre du discours pour être en mesure de construire une industrie du futur de façon évolutive, maintenable, sécurisée, efficace, etc.
11/2019
Sciences politiques
La politique : changement de logiciel
Faire de la politique locale ou nationale nécessite que l'on change radicalement d'approches. Ce livre permettra de guider pour ce changement de façon de faire de la politique.
09/2023
Système d'information (SI)
Migrer son système d'information vers les logiciels libres. Un défi politique et technique pour les collectivités
Les logiciels libres confèrent le droit d'exécuter, d'étudier, de redistribuer et d'améliorer le code source d'un programme informatique. De ce fait, véritables biens communs numériques, ils ouvrent la voie à un autre modèle informatique au service des citoyens. Pourtant, bien que Linux, le système d'exploitation libre emblématique, existe depuis une trentaine d'années, ils sont encore au mieux méconnus, au pire considérés comme une régression. Il est urgent de dépassionner le débat de querelles entre techniciens pour donner tout son sens politique à une stratégie de migration vers ce modèle. De trop nombreux freins empêchent les communes de se lancer dans cette grande aventure : existence d'un système d'information lié à un monopole propriétaire, manque de connaissances techniques, absence de soutien politique, etc. Suite à une crise sanitaire sans précédent, le «monde d'après» nous incite à reprendre la maîtrise de nos données et logiciels, et de nous affranchir des monopoles propriétaires. Les logiciels libres sont un levier pour effectuer cette transition numérique.
Cette transition est possible et à la portée de chaque commune, à condition d'en faire un projet politique et de planifier une stratégie de migration dans la durée. «La route est longue, mais la voie est libre», ainsi que le proclame l'association Framasoft, une des pionnières du logiciel libre.
12/2020
Poches Littérature internation
La source
Un groupe d'archéologues américains entreprend des fouilles en Israël, à Makor. A chaque niveau, ils mettent au jour des objets évoquant la vie de tous ceux qui ont vécu sur ces terres depuis la nuit des temps. A partir de cet épisode, Michener recrée, d'une manière extraordinairement vivante, avec toute sa maestria de romancier amateur d'histoire, la vie à Makor sous la domination successive des Cananéens, des Hébreux, des égyptiens, des Babyloniens, des Turcs et des Anglais. Et c'est ainsi que sous nos yeux se déroule la passionnante histoire de la Palestine tout entière: Terre promise, Terre sainte. La Source est unanimement considéré comme le chef-d'oeuvre du grand écrivain américain, qui nous livre ici tout à la fois un grand divertissement et une belle leçon d'histoire.
02/2013
Policiers
La Source
1912. Wilfrid Voynich fait l'acquisition dans un collège jésuite d'un mystérieux ouvrage, au texte codé et aux illustrations singulières. Depuis lors, nombre de cryptologues et d'experts ont tenté en vain de déchiffrer le désormais célèbre code Voynich. 2008. Au Vatican, le père Torino, un haut dignitaire jésuite, découvre dans les archives de l'Inquisition les actes d'un obscur procès en hérésie qui s’est déroulé en 1560, celui d'un prêtre ayant accompagné les conquistadors espagnols dans leur conquête de l'Empire inca. Peu avant son exécution, ses geôliers avaient trouvé dans sa cellule un manuscrit écrit dans une langue cryptée. Le manuscrit Voynich ? C'est sur les traces de ce secret, dissimulé en Amazonie, que vont se lancer au péril de leur vie le père Torino et Pete Ross, le mari d'une universitaire qui a peut-être percé à jour le code Voynich. Un thriller érudit et passionnant.
01/2011
Littérature française
La Source
Dans une demeure baroque, inattendue, extravagante, nichée en contre-bas d'un bourg de Franche-Comté, Lottie, solide nonagénaire, vit seule. L'histoire de cette maison, du domaine et de ses fantômes, Lottie va la dévider par le travers pour la narratrice, professeur de sociologie de passage sous couvert d'une enquête universitaire. Mais faut-il la croire sur parole ? Anne-Marie Garat fait entrer mémoire et mensonge dans le plus passionnant des dialogues – donnant naissance au conte ininterrompu dont la littérature nourrit ses puissants sortilèges jusqu'à recomposer la matière même du temps.
08/2015
Littérature française
La Source
Orfèvre en histoires courtes, Hubert Mingarelli condense dans La Source ce qui a fait son succès : une émotion tenue au plus près du silence par des mots simples, des phrases impeccables dans leur pouvoir d'évocation, une délicatesse vis-à-vis de ses personnages et cette façon incroyable qu'il a de faire d'eux nos propres frères. Une nuit qui en aurait contenu mille, presque belle. Et tandis qu'elle avançait et qu'ils se parlaient, George savait que des nuits comme ça, ils n'en auraient plus. Ils avaient l'air de prendre une dernière inspiration, de se remplir d'air une dernière fois avant de s'enfoncer dans l'eau profonde que serait leur monde au réveil.
04/2012
Littérature française
La source
Décidé à fuir le monde des affaires et les femmes de sa vie, Melchior part s'isoler dans un monastère. La beauté et les mystères de ce couvent du XIIe siècle vont bien vite réveiller ses passions, et le conduire à vivre une histoire... d'un autre temps. "Le mois de février s'achevait dans la douceur, quand un phénomène nouveau se produisit. Brusquement la température chuta. Le brouillard masqua le soleil.
09/2018
Fantasy
La source
Tiltil et Yonas ont grandi à Rivebelle, un paisible village de pêcheurs au bord de l'Ardin. Rien ne trouble cette paix, pas même les récits inquiétants de ces voyageurs éméchés, le soir, au comptoir du Bateau Ivre, qui parlent avec des yeux brillants de la cité d'Annandelle aux tours légendaires, de la sombre forteresse de Toll-Ammon, autrefois gardée par les elfes, et des orques, ces créatures de l'ombre qui demeurent, dit-on, au-delà des Calabasses, entre les montagnes et la mer. Tiltil, enfant rêveur et insouciant, partage ses journées entre la rivière et la maison de son père tandis que Yonas, orphelin sombre et sauvage, évite la société des hommes. Rien, semble-t-il, ne les prédisposait à devenir amis, jusqu'au jour où un curieux événement bouleverse la sérénité du village. Au début du printemps, lorsque d'ordinaire la fonte des neiges gonfle la rivière, le niveau de l'Ardin commence a baisser. Les habitants de Rivebelle s'enferment alors dans un mutisme effaré. Pressentant quelque sombre et douloureux secret, ne recevant nulle lumière de leurs aînés, Tiltil et Yonas décident de remonter à la source de l'Ardin. C'est le début d'un voyage qui les entraîne beaucoup plus loin qu'ils ne l'avaient imaginé, voyage fantastique et terrifiant au cours duquel les légendes deviennent réalité et les eaux mourantes de l'Ardin se mêlent aux passions, magnifiques ou ténébreuses, qui s'écoulent du coeur humain.
04/2021
Vie chrétienne
La Source
Ce livre est un recueil de méditations sur la parole. En fait, ces sont des homélies que l'auteur a dû faire, c'est pourquoi le style n'est pas du tout littéraire.
03/2022
Code et compilateur
Clean Code. Coffret Deluxe 4 volumes. Coffret Deluxe 4 volumes
Si un code "sale" peut fonctionner, il peut également remettre en question la pérennité d'une entreprise de développement de logiciels. Véritable manuel du savoir-faire en développement agile, cet ouvrage est un outil indispensable à tout développeur, ingénieur logiciel, chef de projet, responsable d'équipe ou analyste des systèmes dont l'objectif est de produire un meilleur code. Vous n'imaginez pas le temps qu'une architecture logicielle bien soignée dès le départ peut vous faire gagner. Dans la lignée de son best-seller international I, le légendaire Robert C. Martin, dit "Oncle Bob", vous présente les règles universelles de l'architecture logicielle, et comment les appliquer. Fidèle à l'esprit des travaux d'Oncle Bob, ce livre regorge de solutions pragmatiques et claires pour affronter vos vrais défis : ceux que vous devez relever pour mener vos projets au succès. Martin décrit de façon claire ce qu'est Agile : une technique pour aider des petites équipes de développement à réaliser des projets aux conséquences énormes. Ce livre explique concrètement comment réussir à mener un projet en mode Agile, en s'appuyant sur la riche expérience professionnelle de son auteur. Adoptez le développement de logiciels avec un sens de l'honneur, du respect de soi et de l'accomplissement ! Cet ouvrage est entièrement consacré à la professionnalisation du métier de développeur de logiciels. Plus que la technique, il privilégie l'attitude. Le livre regorge de conseils, de l'estimation des délais au codage TDD, du réusinage aux tests.
11/2022
BD tout public
Le cycle de Cyann Tome 1 : La source et la sonde
N'est pas majO qui veut ! Cyann l'est de naissance. Héritière de la plus importante famille de sondeurs, la fille du Seigneur Olsimar se trouve propulsée au sommet de la pyramide sociale. Elle n'a qu'un seul mérite, elle accepte de Nacara une amitié sans complaisance. Plus capricieuse qu'autoritaire, plus séductrice qu'amante, Cyann use de ses pouvoirs comme elle abuse de ses charmes. Son égoïsme parviendrait à la perfection, si le destin ne la guettait ! Les péripéties qui l'attendent, dans les Mondes indépendants et sur les Planètes Sauvages, mettront un peu de plomb dans sa tête de bois et, plus inattendu, un peu d'humanité dans le bel animal.
09/2014
Enseignement secondaire 1er cy
Comprendre la géometrie 6e. Géométrie, grandeurs et mesures. Activités avec instruments et logiciel. Fiches détachables
90 activités variées en 15 chapitres et en 30 fiches. Une progression de la consolidation des acquis à l'initiation aux tâches complexes qui inclut les travaux sur logiciels de géométrie : Différents niveaux de découverte et d'approfondissement ; Une activité logiciel dans chaque chapitre ; Une fiche méthode logiciel.
04/2015
Informatique
Application des techniques formelles au logiciel
Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Eléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Evaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.
07/1997
Histoire de la mode
Les savoir-faire de la mode. Tome 1, Sources
Les textes composant cet ouvrage traitent de divers enjeux liés aux savoir-faire dans le design de mode, en posant pour ce premier tome la question primordiale des sources. Alors que la mode regroupe un vaste ensemble de métiers et d'acteurs, et autant d'histoires singulières, comment penser cet objet d'étude face à la diversité des pratiques qui le composent ?? Plisseurs, tailleurs, brodeurs ou autres modélistes, souvent anonymes, animent les mondes de la mode et leurs cultures techniques. Ce volume aborde les traditions anthropologique et historique existantes en la matière, mais questionne aussi les renouvellements méthodologiques actuels permettant d'appréhender ce champ de recherche dynamique peu exploré. La question des archives, immanquablement confrontée à l'immatérialité du geste, est au centre de cette étude. Comment s'étudient, se conservent et se transmettent ces savoirs techniques qui sont aussi des "? savoirs du corps ? "? ? Les contributions réunies ici soulignent la variété des disciplines qui se rencontrent autour de la notion de savoir-faire. En partant de l'objet, des sources écrites et modes d'emploi qui le documentent, en s'intéressant à un cinéma qui raconte le travail, à la photographie qui en fixe les étapes et en révèle les protagonistes, les auteurs de cet ouvrage, issus du milieu académique ou professionnel, proposent autant d'éclairages et de pistes d'étude originales. De la conservation des archives dans une grande maison de broderie telle que l'Atelier Montex en passant par la captation du geste technique chez un chapelier ou l'inventaire des métiers de mode oubliés c'est, de l'atelier au musée, une approche panoramique qui s'esquisse. Emilie Hammen rassemble ici des voix permettant de mieux comprendre ce qui rassemble ces multiples manières de faire la mode et d'en transmettre les savoir-faire. Cet ouvrage est le résultat des activités menées dans le cadre du séminaire de recherche de la chaire Chanel et le 19M des savoir-faire de la mode à l'Institut français de la mode.
11/2023
Mathématiques
Guide du calcul avec les logiciels libres. XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, MuPAD
Le Guide du Calcul avec les logiciels libres vous propose de maîtriser les bases de plusieurs logiciels gratuits de calcul formel et numérique, et de géométrie dynamique : XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, Octave, Yacas, et également MuPAD (non libre). Ces logiciels sont multiplateformes (Windows, Mac, Linux) et s'installent rapidement. La grande originalité de cet ouvrage est de détailler pas à pas l'utilisation de plusieurs logiciels pour plusieurs types de calcul. Il propose ainsi des applications en mathématiques, en physique et en sciences de l'ingénieur (par exemple : équations différentielles utilisées en physique, traitement du son...). Il vous aidera à savoir utiliser le bon logiciel au bon moment pour résoudre le bon problème. Cet ouvrage s'adresse à toute personne voulant utiliser le calcul en mathématiques à l'aide de logiciels libres : étudiants en mathématiques ou en informatique, professeurs de lycée souhaitant utiliser ces outils dans le cadre de leur cours et jusqu'aux candidats à l'agrégation désirant se préparer à l'épreuve de modélisation. Un index thématique et un index des commandes par logiciel aident le lecteur à trouver rapidement l'information qu'il recherche.
01/2008
Histoire des religions
Code source, Yi Jing. La logique simplifiée d'un livre de sagesse
Et si le Yi Jing était d'une grande simplicité ? Cela expliquerait peut-être qu'il puisse s'adapter à toutes les questions et donner des informations pertinentes pour y répondre. Le Yi Jing permet de mieux comprendre ce qui nous empêche d'avancer et de prendre du recul face à une situation. Il éclaire notre chemin lorsqu'il est trop caillouteux. Au fil des pages la pensée chinoise se révèle étonnement actuelle. Les sages de l'antiquité élaborèrent sous forme de métaphores le code source de ce système incroyablement sophistiqué. A partir de seulement 2 traits, ils ont construit un véritable réseau visuel, mathématique voire géométrique qui ne laisse rien au hasard. Le tout est conçu avec finesse et humour tel un gigantesque programme où tout s'entrecroise et s'emboîte. Mettre en lumière ces multiples liens, en comprendre la logique tout en respectant l'esprit de simplicité d'origine, tel est l'objectif de ce livre.
10/2023
Géographie
Couler de source
Les rivières et les fleuves séparent et relient, ils sont là et pourtant sans fin ils s'en vont. Que se passe-t-il entre le moment où l'eau jaillit et celui où elle finit par se jeter dans la mer ? Quel est le destin des gouttes d'eau ? Des grands fleuves du monde aux plus petits cours d'eau, des chutes les plus impressionnantes aux méandres les plus calmes, Jean-Christophe Bailly fait le récit de ces façonneurs de paysage et propose au lecteur un voyage de géographie passionnée. Il parle de paysage, de territoire, de nature et d'habitants avec érudition, pertinence et poésie. Jean-Christophe Bailly est philosophe et écrivain et enseigne à l'Ecole nationale du paysage de Blois. Il est l'auteur notamment du livre Le parti pris des animaux (Seuil, 2013). Aux éditions Bayard ont paru Le versant animal (2007, nouvelle édition 2018) et plusieurs petites conférences.
05/2018
Littérature française
La source perdue
En 1944, dans un couvent près de Paris, les religieuses élèvent tant bien que mal les enfants qui leur sont confiés, des orphelins, des petits juifs qu'il faut cacher. Elles recueillent aussi leurs consoeurs en déroute et des prêtres en fuite. Joril et Charles, deux petits garçons, se jurent une amitié éternelle, sous les regards sévères du père Sabot, un jeune curé, et de soeur Sainte-Geneviève, une religieuse vive et charmante. On annonce à Joril que son père est mort, mais que sa mère le reprend. Il va se retrouver dans une maison riche, pleine de froideur. L'orphelinat se vide d'ailleurs peu à peu de ses pensionnaires et des éducateurs. Il ne reste plus bientôt que Charles, laissé pour compte. Le père Sabot et soeur Sainte-Geneviève vont regagner avec lui le village où le jeune prêtre avait son église, détruite aujourd'hui. Ils élèveront Charles. Ainsi grandissent les deux anciens amis, sans cesser de penser l'un à l'autre. Mais ils sont devenus l'absent, et il semble que cela soit irrémédiable maintenant que vient le temps des épreuves et des drames. Et s'ils se retrouvaient après ces temps-là, qu'auraient-ils à se dire ? Marie-Josée Neuville, qui a su toucher le coeur d'un immense public par ses chansons, trouve aussi, avec ce roman, le chemin le plus simple pour se faire écouter, pour amuser, pour émouvoir.
06/1979
