La Chimie des huiles essentielles / xavier Fernandez

Public ISBD Titre : La Chimie des huiles essentielles : traduction et innovation Type de document : texte imprimé Auteurs : xavier Fernandez, Auteur Editeur : France : Vuibert Année de publication : 2012 Importance : 274 p Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-311-01028-2 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 665 Technologie des huiles, graisses, cires, gaz industriels Résumé : Les huiles essentielles sont aujourd'hui omniprésentes dans des domaines aussi divers que la parfumerie, les cosmétiques, l'agro-alimentaire ou la recherche pharmaceutique. Un état des lieux s'imposait. ? l'initiative de Xavier Fernandez et de Farid Chemat, chimistes, biologistes et biochimistes nous livrent ici un panorama complet de la recherche dans ce secteur et analysent en détail ses différents aspects scientifiques : La Chimie des huiles essentielles : traduction et innovation [texte imprimé] / xavier Fernandez, Auteur . - France : Vuibert, 2012 . - 274 p ; 24 x 17 cm. ISBN : 978-2-311-01028-2 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 665 Technologie des huiles, graisses, cires, gaz industriels Résumé : Les huiles essentielles sont aujourd'hui omniprésentes dans des domaines aussi divers que la parfumerie, les cosmétiques, l'agro-alimentaire ou la recherche pharmaceutique. Un état des lieux s'imposait. ? l'initiative de Xavier Fernandez et de Farid Chemat, chimistes, biologistes et biochimistes nous livrent ici un panorama complet de la recherche dans ce secteur et analysent en détail ses différents aspects scientifiques :

Réservation

Réserver ce document

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16/281853	L/665.004	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
16/281854	L/665.004	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
16/281855	L/665.004	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
16/281856	L/665.004	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
16/281857	L/665.004	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible

Cours et exercices corrigés d'algorithmique / Jacques Julliand

Public ISBD Titre : Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant : licence et master d'informatique Type de document : texte imprimé Auteurs : Jacques Julliand, Auteur Editeur : France : Vuibert Année de publication : 2010 Importance : 264 p Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils ? Atelier B et LEIRIOS Test Generator ? assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Note de contenu : Sommaire Modéliser pour vérifier et développer des programmes Test et vérification de programmes Vérification de programmes par exécution symbolique Un langage de programmation générique La logique des prédicats du premier ordre - le langage de modélisation du premier ordre La logique de Hoare - le système de vérification Quelques éléments de stratégie de vérification de programmes Exemple de découverte d'erreurs à la vérification Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division Développer des programmes corrects par construction à partir de modèles Automatisation de la vérification et de la génération de tests à partir de modèles Modélisation de programmes en B Modéliser en B pour engendrer des tests boîte noire Modéliser des programmes en B pour les vérifier Solutions des exercices Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant : licence et master d'informatique [texte imprimé] / Jacques Julliand, Auteur . - France : Vuibert, 2010 . - 264 p ; 24 x 17 cm. ISBN : 978-2-311-00020-7 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils ? Atelier B et LEIRIOS Test Generator ? assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Note de contenu : Sommaire Modéliser pour vérifier et développer des programmes Test et vérification de programmes Vérification de programmes par exécution symbolique Un langage de programmation générique La logique des prédicats du premier ordre - le langage de modélisation du premier ordre La logique de Hoare - le système de vérification Quelques éléments de stratégie de vérification de programmes Exemple de découverte d'erreurs à la vérification Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division Développer des programmes corrects par construction à partir de modèles Automatisation de la vérification et de la génération de tests à partir de modèles Modélisation de programmes en B Modéliser en B pour engendrer des tests boîte noire Modéliser des programmes en B pour les vérifier Solutions des exercices

Réservation

Réserver ce document

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16/281810	L/004.1308	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
16/281811	L/004.1308	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
16/281812	L/004.1308	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
16/281813	L/004.1308	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
16/281814	L/004.1308	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible

Introduction à l'analyse / Bruno Aebischer

Public ISBD Titre : Introduction à l'analyse : cours & exercices corrigés Type de document : texte imprimé Auteurs : Bruno Aebischer, Auteur Editeur : France : Vuibert Année de publication : 2011 Importance : 276 p Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-311-00274-4 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Analyse Index. décimale : 515 Résumé : Rédigé principalement à l'attention de tous les étudiants en première année de Licence, l'ouvrage présente l'ensemble du programme d'analyse avec un cours complet et 216 exercices d'application corrigés. D'un niveau très accessible, il apporte une base solide de révision et d'entraînement aux techniques élémentaires d'analyse, également utile aux élèves de classes préparatoires, d'IUT ou même de BTS. Note de contenu : Sommaire FONCTIONS CONTINUES - FONCTIONS DERIVABLES ETUDES DE FONCTIONS NOUVELLES FONCTIONS DE REFERENCE CALCUL INTEGRAL EQUATIONS DIFFERENTIELLES Introduction à l'analyse : cours & exercices corrigés [texte imprimé] / Bruno Aebischer, Auteur . - France : Vuibert, 2011 . - 276 p ; 24 x 17 cm. ISBN : 978-2-311-00274-4 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Analyse Index. décimale : 515 Résumé : Rédigé principalement à l'attention de tous les étudiants en première année de Licence, l'ouvrage présente l'ensemble du programme d'analyse avec un cours complet et 216 exercices d'application corrigés. D'un niveau très accessible, il apporte une base solide de révision et d'entraînement aux techniques élémentaires d'analyse, également utile aux élèves de classes préparatoires, d'IUT ou même de BTS. Note de contenu : Sommaire FONCTIONS CONTINUES - FONCTIONS DERIVABLES ETUDES DE FONCTIONS NOUVELLES FONCTIONS DE REFERENCE CALCUL INTEGRAL EQUATIONS DIFFERENTIELLES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16/272813	L/515.103	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt

travaux dirigés de physique / J. Faget

Public ISBD Titre : travaux dirigés de physique : Mécanique Type de document : texte imprimé Auteurs : J. Faget, Auteur Editeur : France : Vuibert Année de publication : 1980 Importance : 282p Format : 21x13cm ISBN/ISSN/EAN : 271174132 Langues : Français (fre) Résumé : Cet ouvrage en deux tomes s'adresse aux étudiants de première année de l'enseignement supérieur (premier cycle des universités, I.N.S.A., I.U.T., préparation aux grandes Ecoles). Ce premier tome, Généralités, traite de notions absolument indispensables mais qui à cheval sur les mathématiques et la physique sont trop souvent délaissées. Par exemple : définition et mesure des grandeurs physiques : dimensions, unités, erreurs. La plupart des autres notions traitées relèvent des mathématiques : calcul vectoriel, coordonnées, champ de vecteurs, angle solide, nombres complexes. Le deuxième tome est consacré à la Mécanique et correspond au programme officiel de première année du premier cycle universitaire. On insiste particulièrement sur l'usage du calcul vectoriel, l'importance des repères en physique, le choix des coordonnées, les mouvements dans les champs de forces centrales, les collisions de particules. Ces travaux dirigés de physique ne se contentent pas de proposer de simples exercices juxtaposés. Chaque chapitre débute par des rappels de cours, puis dans une progression logique s'efforce d'aborder les diverses difficultés que peut rencontrer le physicien débutant. travaux dirigés de physique : Mécanique [texte imprimé] / J. Faget, Auteur . - France : Vuibert, 1980 . - 282p ; 21x13cm. ISSN : 271174132 Langues : Français (fre) Résumé : Cet ouvrage en deux tomes s'adresse aux étudiants de première année de l'enseignement supérieur (premier cycle des universités, I.N.S.A., I.U.T., préparation aux grandes Ecoles). Ce premier tome, Généralités, traite de notions absolument indispensables mais qui à cheval sur les mathématiques et la physique sont trop souvent délaissées. Par exemple : définition et mesure des grandeurs physiques : dimensions, unités, erreurs. La plupart des autres notions traitées relèvent des mathématiques : calcul vectoriel, coordonnées, champ de vecteurs, angle solide, nombres complexes. Le deuxième tome est consacré à la Mécanique et correspond au programme officiel de première année du premier cycle universitaire. On insiste particulièrement sur l'usage du calcul vectoriel, l'importance des repères en physique, le choix des coordonnées, les mouvements dans les champs de forces centrales, les collisions de particules. Ces travaux dirigés de physique ne se contentent pas de proposer de simples exercices juxtaposés. Chaque chapitre débute par des rappels de cours, puis dans une progression logique s'efforce d'aborder les diverses difficultés que peut rencontrer le physicien débutant.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
87/2037	L/530.059	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt

---

1 (1 - 4 / 4)