decalog logiciels
Extraits
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
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
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
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
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
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
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
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
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
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
Internet
Les communs numériques. Logiciels libres, Wikipédia, le web, la science ouverte
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
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
Enseignement secondaire 1er cy
Comprendre la géométrie 5e. Programme 2005 Travaux dirigés
8 fiches logiciel Cabri Géomètre et Géoplan encartées entre les pages 32 et 33, pour initier progressivement les élèves à l'utilisation des logiciels de géométrie en salle informatique. L'organisation de chaque fiche correspond à l'organisation de la séance : Activité : L'énoncé de l'activité à réaliser sur le logiciel, qui commence toujours par une figure à reproduire avec son programme de construction ; les outils du logiciel : Chacun des " outils " nécessaires à la construction, décrit par des captures d'écran, pour aider l'élève à travailler en autonomie ; Ecrire : Des questions à propos de la compréhension et de la construction de la figure ainsi que des propriétés mises en jeu, pour garder une trace écrite de l'activité.
05/2006
Enseignement secondaire 1er cy
Mathématiques 6e. Programme 2008
Tu trouveras dans ton manuel interactif : des méthodes animées et des définitions sonores pour comprendre, un logiciel d'entraînement pour le calcul mental, des parcours d'exercices corrigés et des exercices sur logiciels pour t'entraîner. Et aussi : les repères avec des rappels de connaissances et de méthodes de l'école primaire et beaucoup d'autres ressources pour t'aider à apprendre.
05/2009
Sciences et inventions
Ouste, les dragons !. Un livre sur les dragons, les chevaliers et les tests de logiciels
Apprenez les tests de logiciels de manière amusante en lisant des histoires de dragons et de chevaliers. Le livre convient à des enfants seuls ou accompagnés d'un adulte. Il convient aussi aux écoles et constitue un bon point de départ pour tous ceux qui veulent savoir ce qu'est le test de logiciel. Le livre raconte les aventures de deux enfants, Laura et Tom, qui rencontrent des dragons dérangeant les villages et les châteaux des environs. Ils découvrent différentes espèces de dragons et apprennent à les vaincre avec l'aide de chevaliers. C'est ainsi qu'ils deviennent des experts en dragons exceptionnellement qualifiés. Les histoires initient le lecteur aux termes et aux concepts des technologie de l'information et des test logiciels ; sous forme de paraboles, pour faciliter la compréhension et l'apprentissage. Ainsi, les dragons représentent les défauts dans le logiciel, les chevaliers sont les testeurs et les développeurs. Dans ce livre, Kari Kakkonen combine, d'une manière nouvelle et fascinante, sa passion pour la fantaisie et les tests de logiciels, créant ainsi une expérience agréable pour ses lecteurs. Le livre convient aux lecteurs de 10-99 ans, bien qu'il soit écrit avant tout pour les enfants. J'aime beaucoup l'idée de combiner tests et dragons pour expliquer les concepts des tests de logiciels. Cela fonctionne très bien et donne aux nouveaux testeurs un aperçu de la profondeur des tests. Les histoires conviennent également aux enfants et les incitent à réfléchir à la manière de tester les applications qu'ils utilisent. Janet Gregory, DragonFire Inc, co-auteur de trois livres sur les tests agiles.
02/2023
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
Menuiserie et charpentes
Construction de structures bois : barres et assemblages. Tirer le meilleur parti d'une suite logicielle
Lorsque l'on conçoit aujourd'hui un bâtiment, qu'il soit en métal, en béton ou en bois, on emploie un logiciel pour calculer comment dimensionner sa structure en vue de garantir sa fiabilité dans le respects des normes appliquées à la construction, notamment les Eurocodes (la réglementation n'est constituée de normes françaises que pour moins de 10%). Ce nouveau manuel auquel le spécialiste de l'ossature bois a travaillé permet d'optimiser le recours à l'un des deux logiciels français de calcul des structures bois, MD Bât pour réaliser les assemblabes des pièces de la struucture. L'emploi d'un logiciel de calcul exigeant des concepteurs qu'ils maîtrisent d'abord les principies de la construction et sachent faire les calculs par eux-mêmes améliore la rentabilité du travail et garantit l'exactitude des résultats sans pour autant dispenser les ingénieurs d'en contrôlerla pertinence à l'apui de leur savoir faire et de leur expérience. Ce manuel technique permet donc de comprendre ce que fait le logiciel, sans toutefois balayer tout ce qu'il permet de caluler . En permettant notamment d'identifier d'éventuels résultats trompeurs, l'ouvrage contribue à l'objectif des constructeurs : ne pas mettre en danger la vie des usagers du futur bâtiment. Pareille demarche s'applique tout auusi aux autres logiciels, ce sont ici les copies d'écran qui correspondenr en particulier à MD Bât (version 5. 6). Ce que l'on ne pourra calculer qu'à l'aide du logiciel, ce sont les effets que peuvent produire sur la structure d'un bâtiments les actions qui portent sur les extrémités des barres (poteaux et poutres). L'auteur illustre la méthode de calcul des assemblages par des cas d'études.
01/2022
Littérature française
Etude et mise en place d'une solution open source de Cloud Computing. Etude et mise en place d'une solution open source de Cloud Computing au seind'une entreprise privée
Le Cloud Computing est un environnement logiciel puissant et flexible qui délègue la gestion du matériel, et qu'on paie selon la consommation. La migration des applications d'entreprise sur cet environnement ne cesse de s'accentuer. Une grande partie de cesapplications est offerte sous forme de services Web, qui standardisent l'accès aux logiciels métier via Internet. Le but de cet étude est de mettre en place une solution Cloud Computing privé pour une entreprise en lui créant une infrastructure en tant que service.
01/2022
Autres certifications
Pratique des tests logiciels. Améliorer la qualité par les tests, Gérer une campagne de tests, Préparer la certification ISTQB, 4e édition
Cet ouvrage s'adresse aux développeurs, concepteurs et intégrateurs de logiciels ainsi qu'aux chefs de projets et aux architectes. Il sera très utile à tous ceux qui préparent les certifications au métier de testeur. Concevoir du premier coup et sans aucune erreur un logiciel qui comporte plusieurs millions de lignes de code et plusieurs centaines de composants est évidemment impossible. La nécessité de faire des tests au cours des différentes phases de conception parait évidente et pourtant, dans la pratique, les tests sont souvent négligés et relégués au second plan. L'objectif de cet ouvrage est triple : donner les bases et les bonnes pratiques pour concevoir et mener à bien les tests nécessaires et efficaces tout au long du cycle de vie du logiciel ; fournir un référentiel en termes de méthodes et de vocabulaire ; préparer la certification ISTQB du métier de testeur.
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
Droit informatique
Guide juridique du numérique. Contrats, propriété intellectuelle, données personnelles, e-commerce, logiciels, blockchain, NFT...
Ce guide à l'usage des professionnels de l'informatique et du numérique propose une présentation pratique et pédagogique du droit des activités numériques. Grâce à de nombreux exemples, mises en situation et conseils, ce guide vise à accompagner les professionnels des secteurs de l'informatique, du numérique ou des nouvelles technologies. A ce titre, il traite la majorité des problématiques juridiques rencontrées dans ces domaines notamment la négociation et l'exécution des contrats du numérique, la propriété intellectuelle, la protection des données personnelles, la conception et la distribution de logiciels, les contrats de services informatiques, la cybersécurité, la création d'un site internet ou d'une application, le commerce électronique, les applications de la technologie blockchain, etc. Cet ouvrage permet également d'appréhender facilement le cadre juridique de nouvelles technologies telles que l'intelligence artificielle, la blockchain, les smartcontracts, les actifs numériques, les NFTs ou les métavers. Connaître les bases juridiques de la propriété intellectuelle et des données personnelles, apprendre à négocier des contrats de services ou de licences, pratiquer le commerce électronique, ce guide deviendra un indispensable soutien pour dans vos activités professionnelles.
02/2023
Technologies
Contrat de travail en informatique (Guide juridique)
Ce guide pratique a été conçu afin d'apporter les réponses aux questions que se posent nécessairement les entreprises et les informaticiens à l'occasion de la rédaction du contrat de travail. Ces interrogations sont les suivantes : pourquoi rédiger un contrat de travail ? Quelles sont les clauses à prévoir ? Quelle est la convention collective qui s'applique ? Comment protéger le patrimoine de son entreprise ? A qui appartiennent les logiciels créés par les salariés ? Quelles sont les responsabilités de chacun en cas de contrefaçon de logiciel ? Quelles sont les implications d'une rémunération à la commission ?
09/1993
Informatique
Photoshop pour les utilisateurs de lightroom. 2e édition
53 exercices pour travailler efficacement avec Photoshop quand on est utilisateur de Lightroom Plus ciblé que Photoshop, Lightroom est devenu le premier logiciel de traitement d'images des photographes mais il ne permet pas tous les types de retouches. Quand et comment faut-il passer dans Photoshop lorsqu'on a choisi Lightroom comme logiciel de traitement de photos ? Pour quelles corrections spécifiques ? Comment ne pas s'y perdre quand on n'a pas l'habitude de l'utiliser ? En 53 exercices complètement revisités et toujours illustrés et détaillés pas à pas, cette 2e édition présente l'essentiel des techniques de travail dans Photoshop que les photographes qui privilégient Lightroom doivent maîtriser pour parachever leurs images. Comme à son habitude, Scott Kelby livre tout au long de l'ouvrage de nombreuses astuces concrètes qui seront précieuses pour le photographe qui veut optimiser la façon dont il articule ses retouches entre les deux logiciels phares d'Adobe, et gagner en efficacité.
06/2019
Office
Office 2021 : Word, Excel, PowerPoint, Outlook. Fonctions de base
Ce livre vous présente les fonctions de base des principaux logiciels de la suite Microsoft® Office : le traitement de texte Word, le tableur Excel, le logiciel de présentations animées PowerPoint et le logiciel de messagerie Outlook. Il a été rédigé avec la version 2021 d'Office. Il vous présente les fonctions de base du traitement de texte Word 2021 permettant de créer un document, de le mettre en page et de l'imprimer. Avec Excel 2021, vous apprendrez à créer des tableaux de calculs et des graphiques et à les mettre en forme. PowerPoint vous permettra de réaliser des diaporamas avec divers effets d'animation. Le chapitre sur Outlook vous explique comment envoyer des messages et comment gérer les messages que vous recevez. Les deux derniers chapitres traitent des fonctions communes à ces trois applications : création, ouverture et enregistrement de fichiers sur votre ordinateur ou sur l'espace de stockage en ligne OneDrive, mise en valeur du texte, gestion des images et des objets graphiques.
06/2022
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
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
Informatique
Revit 2020. Conception de bâtiment
La collection Atrium est destinée à tout utilisateur de logiciels de CAO/DAO (AutoCAD. TopSolid, solidWorks. 3dsmax...). Ce livre sur Revit 2020 est destiné à tous ceux qui désirent exploiter au mieux l'un des logiciels de conception 3D le plus avancé du moment. Toutes les fonctions sont abordées, de la modélisation simple de bâtiment au développement de macros, en passant par la conception de familles complexes. Chaque commande est détaillée et chaque concept expliqué. Pierre angulaire du processus BIM, Revit est un logiciel aussi puissant que complexe qui permet de créer la géométrie du bâtiment et de produire sa documentation, mais aussi de simuler son comportement futur (thermique, résistance des matériaux...). Le livre commence par la description des composants principaux de l'interface et des concepts sur lesquels le logiciel est construit ; les différents outils de modélisation des murs, portes, fenêtres, sols, toits, éléments de structure, éléments MEP... sont ensuite expliqués. Les chapitres suivants abordent les outils de modification et d'annotation puis le principe des familles et des paramètres qui sont des composants essentiels de Revit. Les outils servant à produire la documentation sont ensuite présentés nomenclatures, feuilles mais aussi rendu d'images réaliste et visite virtuelle. Le travail en équipe, l'échange de données avec d'autres systèmes de CAO et la conception de sites sont également au programme. Pour finir, l'ouvrage vous explique comment personnaliser Revit et vous serez initié à l'utilisation de Dynamo, l'environnement de développement visuel ainsi qu'au développement de macros qui vous permettront d'obtenir une productivité maximale.
09/2019
