https://editions.lavoisier.fr/flux/collection-informatique.atom
Éditions Lavoisier : Nouveautés des éditions Lavoisier
2014-05-01T12:00:00+01:00
Éditions Lavoisier
editions@lavoisier.fr
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
Toute la collection Informatique
© 2024 Éditions Lavoisier
https://editions.lavoisier.fr/informatique/ergonomie-des-interfaces-logicielles/leduc/hermes-science-publications/informatique/livre/9782746245518
Ergonomie des interfaces logicielles
2014-05-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/1316521115.jpg" alt="Couverture de l'ouvrage :Ergonomie des interfaces logicielles" /><br /><p style="margin-top: 0">
Seuls 25 % des projets informatiques sont réussis du point de vue des
services attendus et moins de 50 % d’entre eux permettent d’aboutir à ce
qui est initialement prévu. Ces statistiques posent deux questions
fondamentales : la prise en compte des besoins des utilisateurs et la
connaissance des situations réelles de travail. Ces aspects sont au cœur
même des préoccupations des ergonomes. Cet ouvrage est un guide qui
distingue les différentes étapes de la conduite de projets
informatiques. En phase de conception, l’intégration de l’ergonomie dans
la maîtrise du projet est exposée en s’appuyant notamment sur la
Conception Centrée Utilisateur. Lors du développement, les normes et
règles en matière de formalisation des interfaces sont présentées. En
fin de réalisation, les méthodes et les outils d’évaluation des
applications sont analysés.
</p>
https://editions.lavoisier.fr/informatique/dialogue-homme-machine/landragin/hermes-science-publications/informatique/livre/9782746245228
Dialogue homme-machine
2013-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/1316209861.jpg" alt="Couverture de l'ouvrage :Dialogue homme-machine" /><br />Le dialogue entre un homme et une machine n’est pas encore similaire au
dialogue naturel entre deux humains. Des techniques issues de plusieurs
disciplines sont appliquées avec une habileté croissante, pour une
fluidité et un réalisme en progrès. Analyse linguistique, résolution des
références, identification des actes de dialogue, des intentions de
l’utilisateur, décision de la réaction du système et du message à produire
en retour : autant d’étapes de traitement caractérisées chacune par des
théories propres et des ressources spécifiques. Cet ouvrage synthétise les
principaux problèmes posés par chaque étape de <i>conception
d’un système de dialogue homme-machine</i> tout en proposant
plusieurs pistes pour suivre la voie d’un dialogue en langage naturel. Il
se fonde sur les expériences de recherche et les développements récents,
avec des préoccupations recoupant celles des domaines de l’<b>intelligence
artificielle</b>, du <b>traitement automatique des langues</b>, des <b>interfaces
homme-machine</b>, comme les interfaces multimodales ou multimédias.
https://editions.lavoisier.fr/informatique/outils-pour-la-decision-cooperative/hermes-science-publications/informatique/livre/9782746245259
Outils pour la décision coopérative
2013-04-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/1316187087.jpg" alt="Couverture de l'ouvrage :Outils pour la décision coopérative " /><br /><p style="margin-top: 0">
L’essor des technologies de l’information et de la communication a
influencé les processus de décision dans les organisations. Ces
processus ont subi des modifications sur le plan cognitif et
organisationnel et sont désormais passés en mode collaboratif.
</p>
<p style="margin-top: 0">
À travers le paradigme de l’aide à la décision, <i>Outils
pour la décision coopérative</i> fournit une étude de la prise
de décision collaborative et témoigne de la nécessité, pour les
décideurs, de coopérer. Différentes définitions de la coopération ainsi
que de nombreux concepts associés tels que « <i>collaboration</i>
» et « <i>coordination</i> » sont proposés. Plusieurs
expérimentations et modèles permettent également d’expliciter ces
nouveaux modes de prise de décision.
</p>
<p style="margin-top: 0">
Un panorama des systèmes d’aide à la décision et des systèmes
collaboratifs tels que les workflows ou les Group Decision Support
Systems permet une analyse de la transition vers l’informatique
décisionnelle et ses nouveaux outils de prise de décision coopérative.
</p>
https://editions.lavoisier.fr/informatique/besoins-informationnels-et-extraction-d-information/turenne/hermes-science-publications/informatique/livre/9782746245075
Besoins informationnels et extraction d'information
2013-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/1316165035.jpg" alt="Couverture de l'ouvrage :Besoins informationnels et extraction d'information" /><br />Cet ouvrage réconcilie la philosophie, la biologie, la sociologie et les
sciences cognitives grâce à un dénominateur commun, la conscience. Il en
présente un aspect particulier, le concept d’auto-motivation de champ
d’activité en tant que moteur biologique d’un état de conscience, et dont
l’informatique systémique permet de révéler l’existence. Si la conscience
est mal définie, un cadre réduit permet d’en donner une définition plus
précise, observable malgré toute la complexité psychologique, sociale et
technique de l’individu. Ces observations sont de deux natures : une
nature d’activité principale et une nature cognitivo-linguistique,
modulées par des facteurs de contrôle intrinsèques et extrinsèques.
L’argument exposé consiste à présenter un état de conscience relatif à la
notion de besoin informationnel instinctif, donc physiologique, et dont
les traces porteuses sur les supports physiques (revues, abonnements,
etc.) ou numériques (sms, web, etc.), sont analysables par l’extraction de
connaissances.
https://editions.lavoisier.fr/mathematiques/algebre-lineaire-dans-rn/haddadi/hermes-science-publications/informatique/livre/9782746239074
Algèbre linéaire dans Rn
2012-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2656787.jpg" alt="Couverture de l'ouvrage :Algèbre linéaire dans Rn" /><br /><p style="margin-top: 0">
L’<b>algèbre linéaire</b> permet de résoudre les
équations dites linéaires utilisées en mathématiques, en informatique,
en mécanique, en sciences naturelles ou en sciences sociales. Du point
de vue de l’informaticien, la résolution passe par l’ordinateur. Or, ce
dernier ne peut pas tout faire. Il y a des limites d’ordre qualitatives
et quantitatives que la machine ne peut dépasser, et d’autres qu’elle ne
peut franchir que dans un temps excessivement long. Cet ouvrage
théorique et pratique expose tour à tour :
</p>
<p style="margin-top: 0">
– les matrices et leurs opérations ;
</p>
<p style="margin-top: 0">
– l’espace vectoriel Rn ;
</p>
<p style="margin-top: 0">
– l’espace vectoriel Rn muni du produit scalaire ;
</p>
<p style="margin-top: 0">
– les systèmes d’équations linéaires ;
</p>
<p style="margin-top: 0">
– les transformations linéaires, les valeurs et vecteurs propres.
</p>
<p style="margin-top: 0">
Il contient également un chapitre spécifique sur la complexité théorique
des problèmes posés en algèbre linéaire (résolution d’un système
d’équations linéaires, calcul de l’inverse d’une matrice, du
déterminant, du rang, etc.) ainsi qu’une annexe introduisant la théorie
de la complexité.
</p>
<p style="margin-top: 0">
<i><b>Algèbre linéaire</b> <b>dans Rn</b> </i>tire son
originalité de la présentation des grands concepts de l’<b>algèbre
linéaire</b> et ceux de l’algorithmique et de l’informatique
théorique. L’auteur, Salim Haddadi, est professeur en <b>recherche
opérationnelle</b>. Ses recherches portent sur l’optimisation
combinatoire et la théorie de la complexité.
</p>
https://editions.lavoisier.fr/mathematiques/l-unification-des-mathematiques/parrochia/hermes-science-publications/informatique/livre/9782746238381
L'unification des mathématiques
2012-07-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2639528.jpg" alt="Couverture de l'ouvrage :L'unification des mathématiques" /><br />La pensée mathématique offre un panorama impressionnant de recherches dans les multiples directions dessinées par les réorganisations successives que la matière a connues. Cet ouvrage porte un éclairage philosophique et historique sur certains développements qui donne un sens aux transformations subies par la pensée mathématique au cours du temps pour actualiser le portrait déjà ancien de "l'unité des mathématiques". Deux mouvements symétriques d'unification se sont produits en mathématiques. Le premier est l'aboutissement du long chemin qui, depuis les Grecs, a tendu à résoudre l'opposition de la géométrie et de l'arithmétique, puis de la géométrie et de l'algèbre. Le second mode d'unification date de la fin des années 1960. Via la géométrie algébrique, il tend à reconstruire l'ensemble des mathématiques sur la base des correspondances de Langlands, lesquelles résorbent intégralement l'opposition de l'algèbre et de l'analyse, et constituent un fabuleux dictionnaire pour la physique de demain. L'unification des mathématiques introduit le non-mathématicien à ce double mouvement qui inspire, par ailleurs, une nouvelle philosophie.
https://editions.lavoisier.fr/mathematiques/cryptographie-2e-edition/barthelemy/hermes-science-publications/informatique/livre/9782746238169
Cryptographie - 2e édition
2012-05-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2620693.jpg" alt="Couverture de l'ouvrage :Cryptographie - 2e édition" /><br />Quels sont les enjeux de la <strong>cryptographie</strong> moderne ? Quels sont ses objets, son langage ? Quelles sont les solutions actuelles aux problèmes de <strong>confidentialité, d'authentification et d'anonymat ?</strong> Quel degré de confiance peut-on accorder à ces solutions ? <br />Cette <em>seconde édition, enrichie et mise à jour,</em> propose un panorama des outils et procédés de la <strong>cryptographie.</strong><br />Après avoir présenté et analysé les méthodes, cet ouvrage offre une description précise des <strong>techniques mathématiques</strong> indispensables et des principales <strong>primitives cryptographiques.</strong><br />Les fonctionnalités de base comme le chiffrement, la signature ou l'authentification, sont étudiées dans le cadre de la <strong>cryptographie</strong> à clé publique ou secrète. <strong>Cryptographie</strong> analyse également l'interaction entre ces notions ainsi que leurs mises en oeuvre dans des protocoles généraux et dans des applications concrètes. Il s'intéresse aux <strong>attaques</strong> contre les <strong>systèmes cryptographiques</strong> y compris celles par canaux cachés et par injection de fautes. Il aborde le domaine désormais indispensable des preuves de <strong>sécurité.</strong>
https://editions.lavoisier.fr/informatique/programmation-en-langage-d-assemblage-arm-cortex-tm-m3/mahout/hermes-science-publications/informatique/livre/9782746232112
Programmation en langage d'assemblage
2011-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2560284.jpg" alt="Couverture de l'ouvrage :Programmation en langage d'assemblage" /><br />Le <strong>langage d'assemblage</strong> est dédié au coeur du <strong>microprocesseur</strong>
sur lequel il est adossé. Sa programmation est une étape indispensable
pour comprendre le fonctionnement interne d'un <strong>processeur.</strong><br>Ce
livre s'adresse à tous les <strong>programmeurs</strong> qui, pour
des besoins d'optimisation de code ou pour mieux maîtriser la <strong>programmation
en langage structuré,</strong> souhaitent approfondir leurs
connaissances en informatique matérielle.<br>Didactique, cet ouvrage
expose les fondements de la <strong>programmation en langage d'assemblage</strong>
en s'appuyant sur l'étude des <strong>microcontrôleurs à base d'ARM
Cortex TM-M3</strong> dont l'architecture interne est largement détaillée.<br>Particulièrement
adaptés aux technologies embarquées, les <strong>processeurs ARM</strong>
s'imposent largement sur le marché des <strong>microcontrôleurs 32
bits</strong> et notamment celui lié à la <strong>téléphonie
mobile</strong> grâce à leur conception récente et leur architecture
performante.
https://editions.lavoisier.fr/mathematiques/theorie-des-graphes-et-applications-avec-exercices-et-problemes-2-ed-revue-et-augmentee/fournier/hermes-science-publications/informatique/livre/9782746232150
Théorie des graphes et applications avec exercices et problèmes (2° Éd. revue et augmentée)
2011-04-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2535375.jpg" alt="Couverture de l'ouvrage :Théorie des graphes et applications avec exercices et problèmes (2° Éd. revue et augmentée)" /><br /><p style="margin-top: 0">
<b>Théorie des graphes et applications</b> est un ouvrage, à la
fois pédagogique et complet, qui présente une étude des principaux
aspects de la théorie des graphes et de ses applications, en particulier
celles relevant de l'optimisation combinatoire.
</p>
<p style="margin-top: 0">
Il expose ainsi en détail des sujets significatifs associés, tels que le
problème de l'emploi du temps avec les colorations, l'affectation
optimale avec les couplages et le "voyageur de commerce" avec les cycles
hamiltoniens.
</p>
<p style="margin-top: 0">
Dans cette nouvelle édition de <b>Théorie des graphes et
applications</b>, le thème des chemins optimaux - aux nombreuses
applications - est enrichi de nouveaux algorithmes présentés de façon
originale. Chaque chapitre est accompagné d'exercices de niveaux
différents.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Des problèmes généraux sont proposés en fin d'ouvrage. Les algorithmes
randomisés de graphes y sont aussi traités. Deux annexes aident le
lecteur, en particulier pour une introduction au délicat sujet de la
complexité algorithmique.
</p>
https://editions.lavoisier.fr/informatique/les-tests-logiciels/homes/hermes-science-publications/informatique/livre/9782746231559
Les tests logiciels
2011-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2524024.jpg" alt="Couverture de l'ouvrage :Les tests logiciels" /><br /><p style="margin-top: 0">
<b>Le test de logiciel</b> est aujourd'hui une activité industrielle
régie par des processus. Ces processus fondamentaux sont décrits dans le <b>syllabus
(cahier des charges) de niveau fondation du CFTL-ISTQB 2010</b> utilisé
pour la formation des testeurs.
</p>
<p style="margin-top: 0">
Illustré par de nombreux exemples, <b>Les tests logiciels</b>
présente les différents concepts et analyse les phases d'exécution des
processus. Il permet aux candidats testeurs de préparer avec succès<b>
l'examen de certification.
</b> </p>
<p style="margin-top: 0">
Cet ouvrage apporte également des solutions aux professionnels du test
comme les tests basés sur les risques<b> (Risk Based Testing),</b>
la justification du retour sur investissement du test ou sa rentabilité.
Le reporting, les techniques d'estimation de la charge de test et les
standards sont aussi traités, faisant de cet ouvrage une référence pour
les assistants à maîtrise d'ouvrage ou à maîtrise d'œuvre.
</p>
<p style="margin-top: 0">
Il s'adresse aussi aux DSI, aux chefs de projets, aux développeurs
voulant améliorer leur code et aux testeurs souhaitant acquérir la
certification CFTL.
</p>
https://editions.lavoisier.fr/informatique/logique-pour-l-informatique-et-pour-l-intelligence-artificielle/caferra/hermes-science-publications/informatique/livre/9782746226005
Logique pour l'informatique et pour l'intelligence artificielle
2010-12-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2140968.jpg" alt="Couverture de l'ouvrage :Logique pour l'informatique et pour l'intelligence artificielle" /><br /><p style="margin-top: 0">
La logique, qu'elle soit propositionnelle, du premier ordre ou non
classique, joue un rôle capital dans l'informatique et plus
particulièrement dans l'intelligence artificielle.
</p>
<p style="margin-top: 0">
Conçu dans un but d'autoformation, <b>Logique pour l'informatique
et pour l'intelligence artificielle</b> donne les bases conceptuelles et
les techniques nécessaires à la bonne utilisation d'outils tels que les
démonstrateurs automatiques ou assistés. Il analyse les méthodes des
tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les
concepts d'unification et de subsomption. La méthode de traduction est
privilégiée pour les logiques non classiques.
</p>
<p style="margin-top: 0">
Les exemples ont été choisis de façon à guider la conception
d'abstractions pertinentes pour des classes de problèmes. Les
digressions et remarques permettent d'approfondir certains sujets et de
découvrir des liens avec d'autres domaines d'étude. Les nombreux
exercices corrigés apportent un complément indispensable à la bonne
compréhension et à l'assimilation des notions.
</p>
https://editions.lavoisier.fr/mathematiques/courbes-elliptiques-une-presentation-elementaire-pour-la-cryptographie/guillot/hermes-science-publications/informatique/livre/9782746223929
Courbes elliptiques : une présentation élémentaire pour la cryptographie
2010-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2140766.jpg" alt="Couverture de l'ouvrage :Courbes elliptiques : une présentation élémentaire pour la cryptographie" /><br />Cet ouvrage propose une introduction aux <b>courbes elliptiques</b> pour la cryptographie. Il décrit leur utilisation pour la protection de l'information et présente les développements les plus récents, en particulier la cryptographie bilinéaire, rendant des services de sécurité avancés comme le chiffrement avec l'identité. <br />Cette approche didactique de la géométrie algébrique est accessible aux étudiants en mathématiques qui trouveront dans l'ouvrage <b>courbes elliptiques</b> les démonstrations de tous les résultats. Les cryptologues y puiseront les éléments et les algorithmes nécessaires aux réalisations les plus sûres et les plus efficaces de cryptographie elliptique.
https://editions.lavoisier.fr/informatique/le-multimedia-et-la-compression/paris/hermes-science-publications/informatique/livre/9782746222038
Le multimédia et la compression
2009-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2140590.jpg" alt="Couverture de l'ouvrage :Le multimédia et la compression" /><br />Cet ouvrage propose un parcours initiatique au sein des théories et des techniques de compression à l'origine du multimédia actuel et futur. <br>Il présente en premier lieu les transformées de fonctions, elles amènent à considérer une fonction non seulement dans le domaine temporel ou spatial, mais également dans le domaine fréquentiel. <br>La numérisation et la compression des signaux sont ensuite expliquées. Les deux processus de compression, que sont la quantification et la codification, font référence à la théorie de l'information de Claude Shannon qui est aussi décrite. <br>Enfin, ce livre étudie les modèles de compression choisis pour les signaux sonores et visuels. Ces modèles autorisent des pertes d'information lorsque la perception humaine est peu sensible. Ils permettent également de conserver une relative grande précision lorsque cette perception le demande.
https://editions.lavoisier.fr/informatique/bases-de-donnees-relationnelles-concepts-mise-en-oeuvre-et-exercices/chrisment/hermes-science-publications/informatique/livre/9782746220867
Bases de données relationnelles
2008-06-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2140476.jpg" alt="Couverture de l'ouvrage :Bases de données relationnelles" /><br />S'adressant aux étudiants des écoles d'ingénieurs et des filières informatiques, cet ouvrage approfondit les problématiques de mise en oeuvre des bases de données relationnelles et présente une vision détaillée de certaines de leurs fonctionnalités. Illustré de nombreux exercices résolus et variantes pédagogiques permettant la mise en application des concepts développés, il propose une approche originale des principales thématiques liées aux systèmes de gestion de bases de données relationnelles : la modélisation des données avec présentation synthétique du modèle Entité/Relation , l'algèbre relationnelle, le langage SQL et le passage de l'un à l'autre pour tout type de requête , quelques fonctionnalités des BD relationnelles : gestion de contraintes d'intégrité statiques et dynamiques (déclencheurs), intégration de SQL dans le langage PL/SQL (Procedural Language/SQL), spécification de fonctions, procédures et paquetages, utilisation via des langages hôtes , la gestion des accès concurrents et de la sécurité.
https://editions.lavoisier.fr/informatique/programmation-avancee-en-c-avec-exercices-corriges/varrette/hermes-science-publications/informatique/livre/9782746215559
Programmation avancée en C avec exercices corrigés
2007-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139998.jpg" alt="Couverture de l'ouvrage :Programmation avancée en C avec exercices corrigés" /><br />Destiné aux professionnels comme aux étudiants possédant de bonnes bases de programmation dans un langage impératif, Programmation avancée en C décrit le langage C tel qu'il est défini dans la norme C99. L'atout majeur de ce livre est d'associer dans un unique ouvrage : une description du langage C plus précise et plus complète que dans les ouvrages introductifs , des chapitres spécifiques qui couvrent des sujets connexes aussi divers que la programmation modulaire, la traque des bugs, les questions d'optimisation et de sécurité mais aussi l'utilisation de code C avec d'autres langages , une introduction à la programmation système et réseau en environnement POSIX qui décrit les utilisations les plus fréquentes et s'avère indispensable pour profiter pleinement des manuels de ces systèmes , enfin, plus de 75 exercices corrigés qui permettent au lecteur d'assimiler les notions abordées et d'acquérir ainsi une connaissance approfondie de C.
https://editions.lavoisier.fr/informatique/classification-et-commande-par-reseaux-de-neurones/faure/hermes-science-publications/informatique/livre/9782746214439
Classification et commande par réseaux de neurones
2006-10-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139896.jpg" alt="Couverture de l'ouvrage :Classification et commande par réseaux de neurones" /><br />Cet ouvrage étudie les principaux réseaux de neurones artificiels ainsi que leurs méthodes d'apprentissage. Après une présentation historique et biologique des théories et de l'évolution des modèles de réseaux de neurones, ce livre traite de la classification par réseaux mono couches. Le perception multicouche, outil basique tant de la classification que de la commande, est ensuite présenté. Il y côtoie la machine de Boltzmann et introduit l'étude consacrée à l'identification et la commande de procédés dynamiques. Des variantes de l'apprentissage y sont développées. Le rôle particulier du système jacobien à commander est examiné. Une notation originale des poids des connexions est utilisée, facilitant le traitement algébrique des problèmes rencontrés.
https://editions.lavoisier.fr/informatique/logique-s-langages-formels-et-complexite-pour-l-informatique/jussien/hermes-science-publications/informatique/livre/9782746213951
Logique(s), langages formels et complexité pour l'informatique
2006-08-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139849.jpg" alt="Couverture de l'ouvrage :Logique(s), langages formels et complexité pour l'informatique" /><br />Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.
https://editions.lavoisier.fr/informatique/la-complexite-organisee-systemes-adaptatifs-et-champ-organisationnel/cardon/hermes-science-publications/informatique/livre/9782746210301
La complexité organisée : Systèmes adaptatifs et champ organisationnel
2004-12-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139503.jpg" alt="Couverture de l'ouvrage :La complexité organisée : Systèmes adaptatifs et champ organisationnel" /><br />Pour définir la complexité d'un phénomène, il est nécessaire de s'éloigner du simple constat de complication et traiter une question de fond : comment la nature a-t-elle pu engendrer la complexité et l'augmenter systématiquement dans tout le vivant ? L'approche constructiviste revient à concevoir des systèmes complexes artificiels fondés sur des éléments proactifs, des systèmes générateurs de systèmes, comme dans le cas du vivant. On pose l'existence d'un champ organisationnel calculable pour expliquer la complexité, un champ qui structure l'organisation et contraint toute évolution. Ce champ organisationnel est typique des systèmes auto-adaptatifs et conduit à la fois à la représentation fine des phénomènes complexes et à la construction effective de la vie artificielle.
https://editions.lavoisier.fr/mathematiques/calcul-formel-et-manipulations-symboliques/caprasse/hermes-science-publications/informatique/livre/9782866016586
Calcul formel et manipulations symboliques
1997-12-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2215184.jpg" alt="Couverture de l'ouvrage :Calcul formel et manipulations symboliques" /><br />Des logiciels tels que Maple, Mathematica, Reduce... transforment un ordinateur personnel usuel en un assistant mathématicien . Comment dialoguer avec cet assistant ? Que peut-il faire ? Quelles sont ses limitations ? Comment l'exploiter au mieux ? Comment étendre ses possibilités de calcul ? Telles sont, parmi d'autres, les questions auxquelles le livre tente de donner des réponses claires et pratiques. Le premier chapitre vise à donner au lecteur une bonne compréhension du fonctionnement de ces logiciels et de lui permettre de bien les exploiter. Il est invité à considérer les diverses facettes du calcul mathématique depuis le calcul numérique jusqu'à la résolution des équations différentielles. A chaque étape de cette excursion, des exemples, pour la plupart réalisés à l'intérieur du logiciel Reduce mais que l'on peut aussi réaliser dans les autres systèmes, illustrent et concrétisent le propos. Quand c'est utile, les concepts sous-jacents sont expliqués de façon simple. Le second chapitre met en évidence le fait que le calcul mathématique n'est qu'un cas particulier de manipulations de symboles dotés de propriétés. On y explique comment on peut rendre l'ordinateur intelligent et lui faire comprendre des concepts. A cette fin, on décrit les caractéristiques essentielles du langage LISP. Ensuite, on étudie le langage RLISP dans lequel le système Reduce est construit. Cette démarche permet de décrire le système en profondeur et donne au lecteur la possibilité d'acquérir la même puissance de programmation que ceux qui développent le système. Le livre est complété par un index contenant les différentes fonctions considérées ce qui en fait un complément utile aux manuels d'utilisation des logiciels de calcul formel existants.
https://editions.lavoisier.fr/informatique/pratique-de-l-assembleur-i80x86-cours-et-exercices/pissaloux/hermes-science-publications/informatique/livre/9782866014377
Pratique de l'assembleur I80x86
1994-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2214963.jpg" alt="Couverture de l'ouvrage :Pratique de l'assembleur I80x86" /><br />Pratique de l'assembleur I80x86 - cours et exercices fait un lien entre les concepts mathématiques (types de données élémentaires et complexes, problèmes de calculabilité et de décidabilité, ...), et leurs correspondants informatiques. En plus, il propose leur implantation en assembleur I80x86, laquelle peut facilement être reprise en tout autre langage de classe assembleur.