Détail d'une collection
Documents disponibles dans la collection (5)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
texte imprimé
René Lalauze, Directeur de publication | Paris : Hermes science publications | Recherche. Technologie. Application | DL 2012, cop. 2012Capteurs chimiques, biocapteurs et biopuces constitue un état de l'art en matière de détection d'espèces gazeuses, ioniques et biologiques. Il présente les aspects fondamentaux et technologiques des différents types de capteurs. Les matériaux se[...]
texte imprimé
Jean-Louis Boulanger, Directeur de publication | Paris : Hermes science publications | Recherche. Technologie. Application | DL 2012, cop. 2012Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.Différent[...]
texte imprimé
Dominique Bonneau, Auteur ; Aurelian Fatu, Auteur ; Dominique Souchet, Auteur | Paris : Hermes science publications | Recherche. Technologie. Application | impr. 2011, cop. 2011Les paliers hydrodynamiques permettent aux différentes pièces des dispositifs mécaniques de se mouvoir facilement tout en assurant une fiabilité qui écarte tout risque de rupture ou d’usure prématurée. Lorsque les conditions de fonctionnement so[...]
texte imprimé
Dominique Bonneau, Auteur ; Aurelian Fatu, Auteur ; Dominique Souchet, Auteur | Paris : Hermes science publications | Recherche. Technologie. Application | impr. 2011, cop. 2011Les paliers hydrodynamique permettent aux différentes pièces des dispositifs mécaniques de se mouvoir facilement tout en assurant une fiabilité qui écarte tout risque de rupture ou d'usure prématurée. lorsque les conditions de fonctionnement son[...]
texte imprimé
Jean-Louis Boulanger, Directeur de publication | Paris : Hermes science publications | Recherche. Technologie. Application | impr. 2011, cop. 2011Cet ouvrage présent des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modelés de spécification et/ou de conception et servent également à l'analyse statique de code, à la démonstration du r[...]
Accueil
