Le microprocesseur. Tome 4, Apects logiciels
Extraits
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 microprocesseur. Tome 3, Aspects matériels
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 3 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 matériels de ce composant. Après les définitions élémentaires et un historique, il détaille l'interface externe et la constitution interne du microprocesseur. Il présente également les différentes générations industrielles et certaines familles particulières, comme le microcontrôleur, il s'intéresse ensuite à la feuille de caractéristiques. Des exemples puisés dans les technologies actuelles et anciennes illustrent et rendent accessibles les concepts théoriques.
01/2021
Informatique
Le microprocesseur. Tome 5, Aspects logiciels et matériels du développement, du débogage et du test
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 5 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 présente les aspects matériels et logiciels de la chaîne de développement d'un système numérique à base d'un microprocesseur. Il décrit également les architectures des premiers micro-ordinateurs pour une remise en perspective historique. Des exemples puisés dans les technologies actuelles et anciennes illustrent et rendent accessibles les concepts théoriques.
01/2021
Informatique
Le microprocesseur. Tome 2, Communication dans un système numérique
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 2 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 est consacré à la notion de bus, système d'interconnexion privilégié dans les systèmes numériques. Il étudie leurs caractéristiques essentielles, leurs protocoles de communication, d'arbitrage d'accès et de transaction, leurs interfaçages et les aspects électriques. Il offre une classification et une analyse des principaux bus. Des exemples puisés dans les technologies actuelles et anciennes illustrent et rendent accessibles les concepts théoriques.
01/2021
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
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
Informatique
Le microprocesseur. Tome 1, Fonctions de calcul et de mémorisation, modèles de calcul et architecture des ordinateurs
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 1 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 présente la fonction de calcul, rappelle celle de mémorisation et précise les, notions de modèle de calcul et d'architecture des ordinateurs. 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
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
Informatique
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.
04/2019
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
Critique littéraire
Les logiciels de gestion de planning de service pour les bibliothèques
La tenue de plannings de service public est une tâche de gestion quotidienne des bibliothèques mais peu de logiciels disponibles aujourd'hui sur le marché sont réellement adaptés à cette tâche. Les solutions présentées dans cet ouvrage répondent spécifiquement aux besoins de gestion des plannings de service en bibliothèque et aux besoins de gestion du travail "posté" de manière générale. Elles permettent de vérifier que, chaque jour de la semaine, chaque poste de travail est occupé pour répondre aux objectifs de service public. L'étude réalisée par Marc Maisonneuve et Philippe Lenepveu vise à préciser le domaine d'emploi des logiciels Bcal, Credo-Planning et Planning Biblio, en fournissant pour chacun une vision synthétique de leur couverture fonctionnelle, de leurs principes de fonctionnement et de leur articulation avec les autres logiciels de la bibliothèque. Les bibliothécaires trouveront également dans cet ouvrage un ensemble de recommandations et de conseils leur permettant d'éclairer leur choix.
03/2019
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
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
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
Internet
Vive les communs numériques ! Logiciels libres, Wikipédia, le Web, la science ouverte, etc.
Depuis toujours, les humains ont su gérer collectivement des ressources, les partager. On parle alors de communs : des ressources partagées, gérées et entretenues par une communauté qui établit leurs règles d'utilisation. Les communs trouvent dans le numérique une puissance incroyable, avec de superbes réussites comme les logiciels libres, Wikipédia, le Web, la science ouverte et de nombreuses autres. Pourquoi le numérique est-il si bien adapté aux communs ? D'abord, parce qu'un bien numérique est a priori non rival : sa consommation par un individu ne retire rien aux autres individus. Et puis parce que le numérique favorise des partages massifs de données, d'informations, de connaissances. Toutefois, en dépit de leurs brillantes réussites, les modèles économiques des communs numériques sont parfois fragiles, leur gouvernante délicate, et la coexistence avec le monde du privé ne va pas sans frictions. Richement illustré par de nombreux exemples, ce livre explique ce que sont les communs numériques, analyse leur viabilité économique et imagine leur futur.
02/2024
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
Science-fiction
World of Warcraft Tome : Thrall, le crépuscule des aspects
Aux premiers jours d'Azeroth, les nobles titans chargèrent les cinq grands Vols draconiques de veiller sur le monde naissant. Chacun des chefs des Vols reçut une partie des fabuleux pouvoirs cosmiques des titans. Ensemble, les majestueux Aspects draconiques entreprirent de lutter contre les forces qui menaçaient la sécurité de... Il y a plus de dix mille ans, par sa trahison, Aile de mort, l'Aspect draconique noir devenu fou, brisa la force et l'unité des Vols draconiques. Le Cataclysme, sa dernière attaque, a plongé Azeroth dans la tourmente. Au Maelström, au coeur de l'instabilité qui frappe ce monde, Thrall, l'ancien chef de guerre de la Horde, et d'autres chamans accomplis s'efforcent d'empêcher une dislocation des terres après l'assaut d'Aile de mort. Incapable de se concentrer sur son travail, Thrall entreprend une mission qui lui est confiée par Ysera, le mystérieux Aspect draconique vert. Son humble tâche se transforme vite en un voyage à travers les terres d'Azeroth et dans les voies temporelles de l'histoire, qui le conduit à rencontrer les anciens Vols draconiques. Divisés par la méfiance et les querelles, ces dragons constituent des proies faciles pour les serviteurs d'Aile de mort, qui disposent d'une nouvelle arme épouvantable... un cauchemar vivant conçu pour exterminer les gardiens ailés d'Azeroth. Plus inquiétant encore, Ysera a rêvé d'un éventuel avenir sombre et terrifiant : l'Heure du crépuscule. Avant que cette vision apocalyptique ne se réalise, Thrall devra se défaire de ses doutes, découvrir son rôle dans le monde et aider les Vols draconiques d'Azeroth.
11/2018
Code et compilateur
Artisanat logiciel propre. Disciplines, normes et éthique
Clean Craftsmanship commence là où Coder proprement s'arrête. Ce guide technique, pragmatique et éthique des disciplines fondamentales de l'artisanat logiciel aborde les normes, en montrant comment les attentes envers les développeurs diffèrent souvent de la réalité. Oncle Bob propose une charte éthique de la profession de programmeur, en décrivant les promesses fondamentales que tous les développeurs devraient faire à leurs collègues, à leurs utilisateurs et, surtout, à eux-mêmes et fournir un code qui renforce la confiance au lieu de la miner. N'oublions pas que la survie des logiciels dépend de la confiance entre les utilisateurs et les sociétés. R.C. Martin, l'auteur de Coder proprement, rassemble tous les éléments nécessaires pour fournir un code robuste et efficace : un guide technique à travers différents types de tests, à appliquer par petites touches, pour vérifier la qualité de son code tout au long de son développement les normes de productivité, de qualité et de courage à respecter pour fournir le code le plus adapté à l'usage des commanditaires et des utilisateurs l'éthique à mettre en place pour éviter les dommages, être intègre et travailler en équipe afin de travailler dans les meilleures conditions et s'accomplir grâce dans son métier. Clean Craftsmanship est le dernier opus de R.C. Martin. Il complète la série en réunissant ses différents chevaux de bataille : la discipline à mettre en place dans le développement du code, la prise de conscience des contraintes de la réalité, et l'éthique vis-à-vis de soi et des autres.
12/2022
Electronique
L'électronique pour les nuls
Un livre indispensable pour maîtriser tous les aspects de l'électronique moderne Ce livre de près de 800 pages va vous faire plonger au coeur des circuits, résistances et autres réducteurs d'une manière claire et pédagogique. Au programme : Comprendre et mesurer l'électricité Travailler avec les composants de base Maîtriser les circuits intégrés Le courant alternatif Radio et infrarouge L'électronique numérique Programmer et intégrer un microprocesseur basique
10/2021
Régionalisme
ASPECTS DE LA LITTERATURE SAVOYARDE
Y a-t-il une littérature savoyarde ? Telle est la question à laquelle s'efforce de répondre, sans prétendre à l'exhaustivité, le professeur Louis Terreaux dans le présent numéro de L'Histoire en Savoie. Au long des pages, des visages, des œuvres se dévoilent qui dessinent un itinéraire à travers les siècles et l'histoire de la province de Savoie.
03/1995
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
Réseaux informatiques
Votre réseau d’entreprise avec les logiciels libres. Théorie, installation, Web 4.0, surveillance et cryptographie
Cet ouvrage traite de la mise en place d'un réseau d'entreprise avec les logiciels libres en assurant la sécurité et la sûreté de fonctionnement. Les éléments essentiels d'un (petit) réseau d'entreprises sont présentés en se concentrant sur la mise en place initiale et la correction des problèmes. Ce livre insiste sur la nécessité, pour l'administrateur, de maîtriser tous les éléments. La première partie présente les concepts et les commandes utiles pour gérer de manière fiable et sécurisée un réseau d'entreprise ; la seconde, l'installation des ordinateurs, la mise en place du partage de fichiers, de la base de compte et des sauvegardes. Ensuite, les applications web sont présentées avec l'exemple d'un wiki et d'un nuage (NextCloud) personnels. Enfin, la quatrième partie insiste sur la sécurité avec la supervision, la sécurisation des connexions distantes et le chiffrement des disques.
02/2021
Informatique
Optimisation discrète. De la modélisation à la résolution par des logiciels de programmation mathématique
Cet ouvrage s'adresse aux scientifiques et décideurs à la recherche de méthodes efficaces pour résoudre des problèmes complexes d'optimisation discrète. Il s'adresse également aux étudiants de master, aux élèves ingénieurs et aux enseignants de mathématiques appliquées et d'informatique. De très nombreux problèmes d'optimisation relèvent de l'optimisation discrète. Dans ces problèmes, les variables de décision ne peuvent pas prendre des valeurs réelles quelconques et cette restriction les rend particulièrement difficiles. Le but de cet ouvrage est de montrer comment modéliser un vaste ensemble de problèmes difficiles de la recherche opérationnelle et des sciences de l'ingénieur pour les résoudre à l'aide de solveurs de programmes mathématiques tels que COIN-OR, CPLEX, OSL ou Xpress-MP. Les nombreuses règles générales qui sont présentées et les exemples associés aideront le lecteur à construire les bonnes formulations de problèmes d'optimisation discrète, qu'ils soient linéaires ou non linéaires. La phase cruciale de pré-traitement fait l'objet d'un chapitre à part entière. 25 problèmes, choisis dans différents domaines d'application, sont traités selon cette approche. Les temps de résolution par un solveur, sur un ordinateur personnel, sont indiqués.
04/2007
Ethnologie
Aspects du mythe
La fonction du mythe est de donner une signification au monde et à l'existence humaine. Grâce au mythe, le monde se laisse saisir en tant que cosmos parfaitement intelligible.
Mircea Eliade retrace l'histoire des grands mythes des peuples primitifs jusqu'au monde moderne en passant par les grandes civilisations du passé. Son livre constitue à la fois un exposé historique, rempli d'exemples, et une synthèse philosophique du problème examiné.
05/2002
Linguistique
Typologie des aspects
L'aspect est une catégorie universelle dont la grammaticalisation est prototypiquement présentée par les langues slaves. Cependant, les langues non slaves encodent également l'information aspectuelle, grammaticalement et/ou lexicalement. La question se pose de savoir si la typologie des langues influence la typologie des aspects et s'il existe plusieurs types aspectifs. Les textes réunis dans ce volume tentent de répondre à ces questions en explorant l'aspect dans les langues slaves et l'aspect dans d'autres langues (européennes, australiennes, asiatiques). L'objectif de ce recueil est double : 1) faire connaître aux lecteurs français des travaux d'aspectologues slavistes de renommée mondiale dont plusieurs font partie de la Commission Aspectologique du Comité International des Slavistes ; leurs articles ont été traduits vers le français ; 2) confronter les recherches des slavistes avec celles des aspectologues français travaillant sur d'autres types de langues.
04/2022
Informatique
Choisir l'agilité. Du développement logiciel à la gouvernance
Les méthodes agiles recouvrent un ensemble de pratiques qui peuvent s’appliquer à divers types de projets, mais se limitent plutôt actuellement aux projets de développement en informatique. Les méthodes agiles (essentiellement Scrum et XP abréviation de eXtreme Programming) se veulent plus pragmatiques que les méthodes traditionnelles. Elles impliquent au maximum le demandeur (client) et permettent une grande réactivité à ses demandes. L’idée maîtresse de ce livre est de pouvoir guider les organisations dans leur transition vers des méthodes agiles. Les avantages attendus sont la qualité du mogiciel produit, le “time to market”, l’engagement des équipes et l’amélioration de leur productivité.
09/2011
Electricité générale
Microcontrôleur PIC18 Théorie et Applications. Cours et exercices corrigés
Le microcontrôleur PIC18, possède des caractéristiques assez intéressantes : large éventail des périphériques, facilité d'utilisation, logiciel de développement à faible coût avec des versions gratuites, en plus de la disponibilité de documentation sur le Web. Tous ces atouts, ont fait des microcontrôleurs PIC, l'un des choix le plus appropriés à l'enseignement des microprocesseurs/ microcontrôleurs et l'un des composants essentiels des systèmes embarqués. La famille PIC18, qui représente une version améliorée des PIC16, offre une large gamme d'interfaces pour répondre aux besoins des différentes applications embarquées. Cet ouvrage est destiné aux étudiants de licence, ingénieurs et concepteurs et tous ceux qui sont passionnés par les systèmes embarqués à base des microcontrôleurs.
03/2021
Informatique
Géométrie dans l'espace et impression 3D. Apprendre à utiliser GeoGebra 3D et OpenSCAD pour imaginer et réaliser ses propres objets
Ce livre a pour but d'initier le lecteur à l'impression 3D par la modélisation de solides géométriques remarquables. Vous apprendrez dans cet ouvrage à utiliser les logiciels gratuits suivants : - GeoGebra, logiciel de géométrie dynamique qui fonctionne à la souris et par saisie de commandes ; - OpenSCAD, logiciel de modélisation paramétrique qui utilise un langage de programmation simple ; - Cura, logiciel d'impression 3D utilisé par plus d'un million d'utilisateurs dans le monde. Aucune connaissance préalable n'est nécessaire. Les chapitres s'enchaînent de manière progressive et permettent d'utiliser de façon complémentaire GeoGebra et OpenSCAD. Tout au long des trois parties de ce livre, le lecteur apprendra à utiliser de façon experte ces logiciels. Cet ouvrage offre une manière simple de réaliser un grand nombre de projets d'impressions 3D. Il comprend de nombreux exercices et projets variés. Près d'une centaine de solides géométriques sont présentés. Comme pour les autres ouvrages de la collection Créations numériques, tous les exercices sont corrigés en ligne et l'intégralité des ressources est téléchargeable. Que vous soyez élève ou étudiant, enseignant, maker en FabLab, expert en fabrication additive en entreprise ou simplement un lecteur curieux, ce livre vous plongera dans la modélisation pour l'impression 3D, une technologie révolutionnaire à l'avenir très prometteur.
03/2023
