Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Systèmes temps réel. Vol. 1. Techniques de description et de vérification
Éditeur(s) : Lavoisier-Hermès
Analyse des principaux formalismes et des outils logiciels associés qui offrent des solutions pour spécifier un système temps réel et vérifier, avant le déploiement du système, le respect des propriétés attendues. ©Electre 2025
119,00 €
Chargement...
Outils de mise en oeuvre industrielle des techniques formelles
Éditeur(s) : Lavoisier-HermèsLavoisier
Des exemples d'utilisation des techniques formelles (méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE) et des techniques de vérification associées, accompagnés d'un point sur leurs avantages et leurs inconvénients. ©Electre 2025
110,00 €
Chargement...
Architectures logicielles : principes, techniques et outils
Éditeur(s) : Lavoisier-Hermès
Présentation et principes des architectures logicielles et de leur contribution dans les systèmes complexes et distribués. Leurs principales caractéristiques résident dans leur pouvoir de gérer les abstractions et les niveaux d'expressivité d'un système, et dans leur...
135,00 €
Chargement...
Les cartes à puce
Éditeur(s) : Lavoisier-Hermès
Présentation des fondamentaux de la carte à puce et ses domaines d'applications, des systèmes d'exploitation embarqués, de la manière de programmer les cartes dans le langage Java Card, des techniques mises en oeuvre pour garantir leur sécurité face aux attaques phys...
89,00 €
Chargement...
Les documents écrits : de la numérisation à l'indexation par le contenu
Éditeur(s) : Lavoisier-Hermès
Etat de la recherche sur le concept Tiff to XML, c'est-à-dire de l'image du document à son contenu interprété et structuré dans un format informatique. Les auteurs abordent les documents manuscrits, structurés (magazines, ouvrages, fiches...) et graphiques (cartes, p...
115,00 €
Chargement...
Analyse et conception de l'IHM : interaction homme-machine pour les SI 1
Éditeur(s) : Lavoisier-Hermès
Traite du développement du logiciel, des apports de l'ergonomie aux conceptions de systèmes d'information, de l'analyse des tâches et de la modélisation des tâches dans la conception des systèmes d'information, de la modélisation des tâches dans la conception et l'é...
69,00 €
Chargement...
Techniques industrielles de modélisation formelle pour le transport
Éditeur(s) : Lavoisier-HermèsLavoisier
Présentation d'exemples concrets de mise en oeuvre des techniques formelles (simulation, model checking, preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande ligne. Les techniques formelles servent à l...
99,00 €
Chargement...
Optimisation approchée en recherche opérationnelle : recherches locales, réseaux neuronaux et satisfaction de contraintes
Éditeur(s) : Lavoisier-Hermès
Détermine la meilleure solution admissible existante à un problème à l'aide des métaheuristiques (ou heuristiques générales de recherche locale), dans les domaines de la gestion de production, des télécommunications et de la logistique. Ces méthodes sont des approche...
90,00 €
Chargement...
Systèmes temps réel. Vol. 2. Ordonnancement, réseaux et qualité de service
Éditeur(s) : Lavoisier-Hermès
Analyse des mécanismes éxécutifs permettant l'obtention d'une qualité de service temps réel. Etude du problème du choix, de la configuration et de l'implémentation des stratégies d'ordonnancement de tâches. Le point sur les réseaux et protocoles de communication temp...
119,00 €
Chargement...
Interaction homme-machine dans les transports : personnalisation, assistance et informations du voyageur
Éditeur(s) : Lavoisier-Hermès
Une synthèse de résultats, de travaux en cours ou de perspectives dans le domaine des systèmes interactifs d'information ou d'assistance destinés aux usagers des transports désirant préparer un déplacement ou souhaitant s'informer lors du trajet lui-même. Les approch...
83,00 €
Chargement...
Mise en oeuvre de la méthode B
Éditeur(s) : Lavoisier-Hermès
Présentation d'un modèle, la méthode B, pour analyser et vérifier le comportement d'un logiciel. Cette méthode formelle s'appuie sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production auto...
120,00 €
Chargement...
La qualité et la gouvernance des données au service de la performance des entreprises
Éditeur(s) : Lavoisier-Hermès
Contributions présentant un panorama du domaine aussi bien dans le secteur de la recherche que sur le plan opérationnel avec des études de cas et des retours d'expérience détaillés. ©Electre 2025
110,00 €
Chargement...
Utilisations industrielles des techniques formelles : interprétation abstraite
Éditeur(s) : Lavoisier-Hermès
L'ouvrage présente des cas concrets d'utilisations industrielles des techniques formelles basées sur l'analyse statique comme l'interprétation abstraite. Avec des exemples détaillés d'utilisation des outils Astrée, Caveat, CodePeer, Framac ou Polyspace. ©Electre 2025
112,00 €
Chargement...
Ontologies et modélisation par SMA en SHS
Éditeur(s) : Lavoisier-HermèsLavoisier
Point sur la modélisation à base d'agents (ABM) pour les sciences de l'homme et de la société en vue de la simulation par système multi-agents (SMA). La modélisation par SMA fait appel à différentes fonctions qui peuvent se traduire par la mise en présence de plusieu...
160,00 €
Chargement...