Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les recherches... |
Détail de l'éditeur
Éditeur Lavoisier
localisé à Paris
Collections rattachées
- Automatique
- Automatique et productique
- Collection EDF R & D
- Collection Management et informatique
- Études en mécanique des matériaux et des structures
- Génie Civil
- Génie des procédés de l'Ecole de Nancy
- Génie des Procédés de L'Environnement
- L'indispensable en prépas
- Information géographique et aménagement du territoire
- Information numérique
- Mécanique et ingénierie des matériaux
- Mécanique des milieux granulaires appliquée à la géotechnique
- Mechanics of granular materials applied to géotechnics
- Méthodes numériques en mécanique
- Recherche et développement EDF
- Revue des composites et des matériaux avancés
- Revue européenne des éléments finis
- Revue européenne de génie civil
- Revue française de génie
- Revue internationale de génie électrique
- Revue des sciences et technologies de l'information
- Science et ingénierie des matériaux
- Statistique et probabilités appliquées
- Systèmes Automatisés
- Systèmes de formation et d'enseignement
- Systèmes d'information et organisations documentaires
- Traité MIM. Matériaux et métallurgie
- Traité des sciences et techniques de l'information
Documents disponibles chez cet éditeur
Faire une suggestion Affiner la rechercheIngénierie de la spécialisation de programmes, 1. Principes et applications / Renaud Marlet
Titre de série : Ingénierie de la spécialisation de programmes, 1 Titre : Principes et applications Type de document : texte imprimé Auteurs : Renaud Marlet, Auteur Editeur : Paris : Hermès Science Année de publication : 2011 Autre Editeur : Paris : Lavoisier Collection : Logique et programmation Importance : 349 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2101-7 Note générale : Bibliogr. [281]-308. - Index Langues : Français (fre) Mots-clés : Génie logiciel
Logiciels -- DéveloppementIndex. décimale : 004.41 Ingénierie de logiciel Résumé :
La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l’avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l’écriture des programmes et leur maintenance. La spécialisation de programmes, est conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l’adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. À titre illustratif, il décrit aussi l’architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d’effectuer des spécialisations en cours d’exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines.Note de contenu : Au sommaire :
1. Introduction : spécialiser pour adapter
2. Préliminaires sur les langages et les programmes
3. Les grands principes de la spécialisation de programmes
4. Techniques de spécialisation
5. Spécialisation hors ligne
6. Un spécialisateur pour C : Tempo
7. Applications de la spécialisationIngénierie de la spécialisation de programmes, 1. Principes et applications [texte imprimé] / Renaud Marlet, Auteur . - Hermès Science : Paris : Lavoisier, 2011 . - 349 p. : ill. ; 24 cm. - (Logique et programmation) .
ISBN : 978-2-7462-2101-7
Bibliogr. [281]-308. - Index
Langues : Français (fre)
Mots-clés : Génie logiciel
Logiciels -- DéveloppementIndex. décimale : 004.41 Ingénierie de logiciel Résumé :
La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l’avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l’écriture des programmes et leur maintenance. La spécialisation de programmes, est conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l’adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. À titre illustratif, il décrit aussi l’architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d’effectuer des spécialisations en cours d’exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines.Note de contenu : Au sommaire :
1. Introduction : spécialiser pour adapter
2. Préliminaires sur les langages et les programmes
3. Les grands principes de la spécialisation de programmes
4. Techniques de spécialisation
5. Spécialisation hors ligne
6. Un spécialisateur pour C : Tempo
7. Applications de la spécialisationExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 055599 004.41 MAR Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 055600 004.41 MAR Papier Bibliothèque Centrale Informatique Disponible En bon état Les outils de la qualité totale / Patrick Lyonnet
Titre : Les outils de la qualité totale Type de document : texte imprimé Auteurs : Patrick Lyonnet, Auteur ; j.c. ligeron, Préfacier, etc. Mention d'édition : 2e éd. Editeur : Paris : Lavoisier Année de publication : 1991 Importance : 225 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-85206-693-9 Note générale : bibliogra.p.227 Langues : Français (fre) Mots-clés : Mathématiques qualité totale Index. décimale : 519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité Résumé : Les industriels prennent de plus en plus conscience de l'importance de la qualité et de son application à tous les servives de l'entreprise, du marketing au service après-vente. Diverses techniques se sont créées autour de ce théme, afin de "bien faire du premier coup"
...Note de contenu : chapitre 1 généralités
chapitre 2 choix des technologies par la fiabilité
chapitre 3 maitrise du procédé de fabrication
chapitre 4 maitrise de la qualité des entrées/sorties
chapitre 5 analyse des causes
chapitre 6 eléments de mathématiquesLes outils de la qualité totale [texte imprimé] / Patrick Lyonnet, Auteur ; j.c. ligeron, Préfacier, etc. . - 2e éd. . - Paris : Lavoisier, 1991 . - 225 p. : ill. ; 24 cm.
ISBN : 978-2-85206-693-9
bibliogra.p.227
Langues : Français (fre)
Mots-clés : Mathématiques qualité totale Index. décimale : 519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité Résumé : Les industriels prennent de plus en plus conscience de l'importance de la qualité et de son application à tous les servives de l'entreprise, du marketing au service après-vente. Diverses techniques se sont créées autour de ce théme, afin de "bien faire du premier coup"
...Note de contenu : chapitre 1 généralités
chapitre 2 choix des technologies par la fiabilité
chapitre 3 maitrise du procédé de fabrication
chapitre 4 maitrise de la qualité des entrées/sorties
chapitre 5 analyse des causes
chapitre 6 eléments de mathématiquesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 043009 519.873 LYO Papier Bibliothèque Centrale Mathématiques Disponible La mise en forme des matières plastiques / Avenas , P ; Agassant , J. - F.
Titre : La mise en forme des matières plastiques : approche thermomécanique Type de document : texte imprimé Auteurs : Avenas , P ; Agassant , J. - F., Auteur ; Sergent , J . - Ph. Mention d'édition : 2 éd. Editeur : Paris : Lavoisier Année de publication : 1986 Importance : 488 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-85206-332-7 Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Matériaux plastiques
Déformation
Polymères
Matières plastiques -- Traitement thermomécanique
Matières plastiques, TravailIndex. décimale : 678 Industrie basée sur les matériaux macromoléculaires.Industrie des matières plastiques Résumé : l'ouvrage présente les modèles thermomécaniques des principaux procédés de transformation des matières plastiques:extrusion,injection calandrage,étirage,soufflage
Destiné à la fois aux étudiants dans le domaine de mécanique des milieux continus et aux ingénieurs et techniciens concernés par la transformation des matières plastiques ou la conception.Note de contenu : Sommaire :
Partie 1 : Rappels de mécanique des milieux continus
Partie 2 : Thermique et échanges de chaleur dans les procédés
Partie 3 : La mise en pression du polymère fondu
Partie 4 : Mécanique des étirages : fabrication des fibres et films
Partie 5 : La viscoélasticité et son rôle dans les procédésLa mise en forme des matières plastiques : approche thermomécanique [texte imprimé] / Avenas , P ; Agassant , J. - F., Auteur ; Sergent , J . - Ph. . - 2 éd. . - Paris : Lavoisier, 1986 . - 488 p. : ill. ; 24 cm.
ISBN : 978-2-85206-332-7
Bibliogr.
Langues : Français (fre)
Mots-clés : Matériaux plastiques
Déformation
Polymères
Matières plastiques -- Traitement thermomécanique
Matières plastiques, TravailIndex. décimale : 678 Industrie basée sur les matériaux macromoléculaires.Industrie des matières plastiques Résumé : l'ouvrage présente les modèles thermomécaniques des principaux procédés de transformation des matières plastiques:extrusion,injection calandrage,étirage,soufflage
Destiné à la fois aux étudiants dans le domaine de mécanique des milieux continus et aux ingénieurs et techniciens concernés par la transformation des matières plastiques ou la conception.Note de contenu : Sommaire :
Partie 1 : Rappels de mécanique des milieux continus
Partie 2 : Thermique et échanges de chaleur dans les procédés
Partie 3 : La mise en pression du polymère fondu
Partie 4 : Mécanique des étirages : fabrication des fibres et films
Partie 5 : La viscoélasticité et son rôle dans les procédésExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 036343 678 AGA Papier Bibliothèque Centrale Génie Chimique Disponible 036344 678 AGA Papier Bibliothèque Centrale Génie Chimique Disponible 037145 678 AGA Papier Bibliothèque Centrale Génie Chimique Disponible 037146 678 AGA Papier Bibliothèque Centrale Génie Chimique Disponible Analyse et contrôle de l'erreur humaine / Vanderhaegen, Frédéric
Titre : Analyse et contrôle de l'erreur humaine Type de document : texte imprimé Auteurs : Vanderhaegen, Frédéric, Auteur Editeur : Paris : Hermès Science Année de publication : 2003 Autre Editeur : Paris : Lavoisier Importance : 214 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0722-6 Note générale : Bibliogr. p. [197]-209. Index Langues : Français (fre) Mots-clés : Génie industriel -- Fiabilité gestion production -- Contrôle qualité -- Contrôle de dérives Index. décimale : 65.011.7 Résumé : Cet ouvrage propose une approche multicritère et multiréférentielle, ACIH - Analyse des Conséquences de l'Infiabilité Humaine -, pour évaluer les comportements humains erronés, détournés ou imprévus dans les systèmes homme-machine. Pour remédier à ces défaillances, l'ouvrage présente plusieurs algorithmes d'activation de barrières permettant de contrôler l'occurrence ou les conséquences d'événements comme la genèse d'un accident, l'arrêt de la production ou la dégradation des performances humaines. L'ensemble de ces contributions est illustré par plusieurs exemples d'applications industrielles et expérimentales. Il ouvre des perspectives qui s'appuient sur la spécification de systèmes de défense par barrières organisationnelles et sur une extension de la démarche ACIH, en vue de développer une analyse prospective, rétrospective et dynamique de la fiabilité humaine. Cet ouvrage est destiné aux ingénieurs et aux chercheurs soucieux d'intégrer les facteurs humains dans l'étude des systèmes homme-machine. Note de contenu : Sommaire:
1. Degré d'automatisation et erreur humaine
2. Modèles et méthodes d'analyse de l'erreur humaine
3. Défenses externes et internes de l'opérateur humain
4. Analyse des conséquences de l'infiabilité humaine
5. Application à l'analyse de modes
6. Spécification de barrières pour le contrôle de dérives
7. Études de barrières basées sur des outils coopératifs
8. Bilan des études expérimentales SPECTRA, MPV et TRANSPAL
9. Vers une démarche tridimensionnelle d'allocation de fiabilité par barrièresAnalyse et contrôle de l'erreur humaine [texte imprimé] / Vanderhaegen, Frédéric, Auteur . - Paris : Hermès Science : Paris : Lavoisier, 2003 . - 214 p. : ill. ; 24 cm.
ISBN : 978-2-7462-0722-6
Bibliogr. p. [197]-209. Index
Langues : Français (fre)
Mots-clés : Génie industriel -- Fiabilité gestion production -- Contrôle qualité -- Contrôle de dérives Index. décimale : 65.011.7 Résumé : Cet ouvrage propose une approche multicritère et multiréférentielle, ACIH - Analyse des Conséquences de l'Infiabilité Humaine -, pour évaluer les comportements humains erronés, détournés ou imprévus dans les systèmes homme-machine. Pour remédier à ces défaillances, l'ouvrage présente plusieurs algorithmes d'activation de barrières permettant de contrôler l'occurrence ou les conséquences d'événements comme la genèse d'un accident, l'arrêt de la production ou la dégradation des performances humaines. L'ensemble de ces contributions est illustré par plusieurs exemples d'applications industrielles et expérimentales. Il ouvre des perspectives qui s'appuient sur la spécification de systèmes de défense par barrières organisationnelles et sur une extension de la démarche ACIH, en vue de développer une analyse prospective, rétrospective et dynamique de la fiabilité humaine. Cet ouvrage est destiné aux ingénieurs et aux chercheurs soucieux d'intégrer les facteurs humains dans l'étude des systèmes homme-machine. Note de contenu : Sommaire:
1. Degré d'automatisation et erreur humaine
2. Modèles et méthodes d'analyse de l'erreur humaine
3. Défenses externes et internes de l'opérateur humain
4. Analyse des conséquences de l'infiabilité humaine
5. Application à l'analyse de modes
6. Spécification de barrières pour le contrôle de dérives
7. Études de barrières basées sur des outils coopératifs
8. Bilan des études expérimentales SPECTRA, MPV et TRANSPAL
9. Vers une démarche tridimensionnelle d'allocation de fiabilité par barrièresExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 048828 65.011.7 VAN Papier Bibliothèque Centrale Génie Industriel Disponible En bon état Probabilités et processus stochastiques / Yves Caumel
Titre : Probabilités et processus stochastiques Type de document : texte imprimé Auteurs : Yves Caumel, Auteur Mention d'édition : 2e éd Editeur : Paris : Lavoisier Année de publication : 2015 Collection : Statistique et probabilités appliquées Importance : IX, 302 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-4717-8 Note générale : Bibliogr. p. 293-294. - Index Langues : Français (fre) Mots-clés : Processus stochastiques -- Problèmes et exercices
Variables aléatoires -- Problèmes et exercicesIndex. décimale : 519.21 Théorie des probabilités.Processus stochastiques Résumé :
Ce livre propose 150 exercices et problèmes corrigés, des appels à l'intuition et des notices historiques, biographiques ou épistémologiques permettant d'expliquer les contextes dans lesquels se sont développées ces théories. Les six premiers chapitres de ce livre exposent la théorie des probabilités et ses applications tandis que les quatre suivants présentent de façon détaillée la théorie des processus aléatoires classiques constituée par les chaînes de Markov à temps discret, les chaînes de Markov à temps continu et leur application aux files d'attente, les processus de Poisson et de renouvellement, les processus du second ordre et le mouvement brownien.Note de contenu : Au sommaire :
1. Probabilités sur les ensembles finis
2. Variables aléatoires
3. Vecteurs aléatoires
4. Calcul de lois
5. Convergences et limites des suites aléatoires
6. Probabilités, lois et espérances conditionnelles
7. Chaînes de Markov discrètes
8. Processus de Poisson et de renouvellement
9. Chaînes de Markov à temps continu et files d'attente
10. Processus du second ordre
11. ProblèmesProbabilités et processus stochastiques [texte imprimé] / Yves Caumel, Auteur . - 2e éd . - Lavoisier, 2015 . - IX, 302 p. : ill. ; 24 cm. - (Statistique et probabilités appliquées) .
ISBN : 978-2-7462-4717-8
Bibliogr. p. 293-294. - Index
Langues : Français (fre)
Mots-clés : Processus stochastiques -- Problèmes et exercices
Variables aléatoires -- Problèmes et exercicesIndex. décimale : 519.21 Théorie des probabilités.Processus stochastiques Résumé :
Ce livre propose 150 exercices et problèmes corrigés, des appels à l'intuition et des notices historiques, biographiques ou épistémologiques permettant d'expliquer les contextes dans lesquels se sont développées ces théories. Les six premiers chapitres de ce livre exposent la théorie des probabilités et ses applications tandis que les quatre suivants présentent de façon détaillée la théorie des processus aléatoires classiques constituée par les chaînes de Markov à temps discret, les chaînes de Markov à temps continu et leur application aux files d'attente, les processus de Poisson et de renouvellement, les processus du second ordre et le mouvement brownien.Note de contenu : Au sommaire :
1. Probabilités sur les ensembles finis
2. Variables aléatoires
3. Vecteurs aléatoires
4. Calcul de lois
5. Convergences et limites des suites aléatoires
6. Probabilités, lois et espérances conditionnelles
7. Chaînes de Markov discrètes
8. Processus de Poisson et de renouvellement
9. Chaînes de Markov à temps continu et files d'attente
10. Processus du second ordre
11. ProblèmesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 058060 519.21 CAU Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place Les reseaux et l'informatique d'entreprise / Pierre Jaquet
PermalinkExercice et problémes de chimie organique / René Didier
PermalinkIntroduction à la biochimie et à la technologie des aliments. Vol. 1 / Jean-Claude Cheftel
PermalinkIntroduction à la biochimie et à la technologie des aliments. Vol. 2 / Jean-Claude Cheftel
PermalinkManagement des SI / Didier Joliot
PermalinkPratique moderne des probabilités / Jean-Claude Radix
PermalinkManuel qualité pour les systèmes d'information / Charlier , Alphonse
PermalinkOxydation des matériaux métalliques / Annne-Marie Huntz
PermalinkFiabilité mécanique appliquée / Ammar Grous
PermalinkLa fiabilité en exploitation / Jean-Claude Ligeron
Permalink