University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Chimie : 1re année PCSI Type de document : texte imprimé Auteurs : Grécias, Pierre Editeur : Paris : Lavoisier Année de publication : 2009 Collection : "Référence prépas Importance : 1 vol. (902 p.) Présentation : ill., fig., couv. en coul. Format : 27 cm ISBN/ISSN/EAN : 978-2-7430-1129-1 Langues : Français (fre) Catégories : Chimie Mots-clés : chimie physique: Problèmes et exercices
Chimie organique: Problèmes et exercicesIndex. décimale : 541.076 - Exercices et problèmes de chimie physique Note de contenu :
Sommaire
Première période:
- Architecture de la matière (1re partie).
- Configurations électroniques des atomes.
- Classification périodique des éléments.
- Structure électronique des molécules.
- Cinétique chimique.
- Introduction à la réaction chimique.
- Vitesse de réaction - Facteurs cinétiques.
- Étude expérimentale de la cinétique.
- Cinétique formelle des réactions composées.
- Mécanismes réactionnels.
- Chimie organique (1re partie).
- Formules des composés organiques.
- Stéréoisomérie de configuration.
- Conformations.
- Introduction à réactivité et synthèse organique.
- La Double liaison carbone/carbone.
- Les Organomagnésiens mixtes.
Seconde période:
- Architecture de la matière (2de partie).
- Modèle quantique de l'atome.
- Théorie des orbitales moléculaires.
- Interactions de faible énergie.
- Structure cristalline - Cristaux métalliques.
- Cristaux ioniques, covalents et moléculaires.
- Chimie organique (2de partie).
- La Liaison carbone / halogène.
- La Liaison carbone / azote.
- La Liaison carbone / oxygène.
- Thermodynamique chimique:
- Le Premier principe : grandeurs du système ou de réaction.
- Tabulation des grandeurs de réactions standard.
- Solutions aqueuses.
- L'Eau solvant - Loi de l'équilibre chimique.
- Couple acide/base en solution aqueuse.
- PH des solutions aqueuses : méthode R.P.
- Courbes de titrage acido-basique - TP-cours.
- Équilibres de complexation.
- Équilibres de précipitation.
- L'Oxydoréduction : piles électrochimiques.
- Les Equilibres d'oxydoréduction.
Côte titre : Fs/10523-10526 Chimie : 1re année PCSI [texte imprimé] / Grécias, Pierre . - Paris : Lavoisier, 2009 . - 1 vol. (902 p.) : ill., fig., couv. en coul. ; 27 cm. - ("Référence prépas) .
ISBN : 978-2-7430-1129-1
Langues : Français (fre)
Catégories : Chimie Mots-clés : chimie physique: Problèmes et exercices
Chimie organique: Problèmes et exercicesIndex. décimale : 541.076 - Exercices et problèmes de chimie physique Note de contenu :
Sommaire
Première période:
- Architecture de la matière (1re partie).
- Configurations électroniques des atomes.
- Classification périodique des éléments.
- Structure électronique des molécules.
- Cinétique chimique.
- Introduction à la réaction chimique.
- Vitesse de réaction - Facteurs cinétiques.
- Étude expérimentale de la cinétique.
- Cinétique formelle des réactions composées.
- Mécanismes réactionnels.
- Chimie organique (1re partie).
- Formules des composés organiques.
- Stéréoisomérie de configuration.
- Conformations.
- Introduction à réactivité et synthèse organique.
- La Double liaison carbone/carbone.
- Les Organomagnésiens mixtes.
Seconde période:
- Architecture de la matière (2de partie).
- Modèle quantique de l'atome.
- Théorie des orbitales moléculaires.
- Interactions de faible énergie.
- Structure cristalline - Cristaux métalliques.
- Cristaux ioniques, covalents et moléculaires.
- Chimie organique (2de partie).
- La Liaison carbone / halogène.
- La Liaison carbone / azote.
- La Liaison carbone / oxygène.
- Thermodynamique chimique:
- Le Premier principe : grandeurs du système ou de réaction.
- Tabulation des grandeurs de réactions standard.
- Solutions aqueuses.
- L'Eau solvant - Loi de l'équilibre chimique.
- Couple acide/base en solution aqueuse.
- PH des solutions aqueuses : méthode R.P.
- Courbes de titrage acido-basique - TP-cours.
- Équilibres de complexation.
- Équilibres de précipitation.
- L'Oxydoréduction : piles électrochimiques.
- Les Equilibres d'oxydoréduction.
Côte titre : Fs/10523-10526 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/10523 Fs/10523-10526 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10524 Fs/10523-10526 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10525 Fs/10523-10526 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10526 Fs/10523-10526 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Clés pour la sécurité des SI Type de document : texte imprimé Auteurs : Thierry Harle ; Irène Durand Editeur : Paris : Lavoisier Année de publication : 2004 Collection : Management et informatique/Manson,Nicolas Importance : 1 vol. (296 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0882-7 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Résumé :
Exposés aux menaces informatiques, soumis à des contraintes réglementaires, les systèmes d'information ont des enjeux de sécurité d'ordre stratégique. Les décisions de sécurité appartiennent aux responsables des systèmes , le devoir de conseil appartient aux experts. Les décisions supposent une compréhension partagée des besoins et des solutions de protection. Les responsables et les experts ont à connaître ces notions pour parvenir à un dialogue efficace.
Cet ouvrage répond de façon claire et synthétique à cet objectif. Il s'adresse aux chefs d'entreprise ou d'organisation ainsi qu'aux responsables de systèmes d'information qui perçoivent la sécurité comme difficile à exprimer, coûteuse, contraignante ou d'utilité incertaine.
Il intéressera également les experts qui désirent élargir leur connaissance de la sécurité. Il est bien sûr ouvert à toute personne qui souhaite découvrir ce domaine vaste et passionnant, avant de l'approfondir sur des points particuliers.Note de contenu :
Sommaire
I. Les objectifs de la sécurité
Les menaces et les risques
Les besoins
Les objectifs de sécurité
II. Les techniques de la sécurité
Les fonctions de sécurité pour les utilisateurs
Les fonctions de protection du système
Les fonctions de supervision et de contrôle
La cryptographie
Le tour d'horizon des produits de sécurité
Les normes et les principaux standards techniques de sécurité
La sécurité dans les environnements sensibles
La sécurité organisationnelle
III. La maîtrise de la sécurité
Le panorama des méthodes de maîtrise de la sécurité
L'appréciation de la sécuritéCôte titre : Fs/9677-9680 Clés pour la sécurité des SI [texte imprimé] / Thierry Harle ; Irène Durand . - Paris : Lavoisier, 2004 . - 1 vol. (296 p.) ; 24 cm. - (Management et informatique/Manson,Nicolas) .
ISBN : 978-2-7462-0882-7
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Résumé :
Exposés aux menaces informatiques, soumis à des contraintes réglementaires, les systèmes d'information ont des enjeux de sécurité d'ordre stratégique. Les décisions de sécurité appartiennent aux responsables des systèmes , le devoir de conseil appartient aux experts. Les décisions supposent une compréhension partagée des besoins et des solutions de protection. Les responsables et les experts ont à connaître ces notions pour parvenir à un dialogue efficace.
Cet ouvrage répond de façon claire et synthétique à cet objectif. Il s'adresse aux chefs d'entreprise ou d'organisation ainsi qu'aux responsables de systèmes d'information qui perçoivent la sécurité comme difficile à exprimer, coûteuse, contraignante ou d'utilité incertaine.
Il intéressera également les experts qui désirent élargir leur connaissance de la sécurité. Il est bien sûr ouvert à toute personne qui souhaite découvrir ce domaine vaste et passionnant, avant de l'approfondir sur des points particuliers.Note de contenu :
Sommaire
I. Les objectifs de la sécurité
Les menaces et les risques
Les besoins
Les objectifs de sécurité
II. Les techniques de la sécurité
Les fonctions de sécurité pour les utilisateurs
Les fonctions de protection du système
Les fonctions de supervision et de contrôle
La cryptographie
Le tour d'horizon des produits de sécurité
Les normes et les principaux standards techniques de sécurité
La sécurité dans les environnements sensibles
La sécurité organisationnelle
III. La maîtrise de la sécurité
Le panorama des méthodes de maîtrise de la sécurité
L'appréciation de la sécuritéCôte titre : Fs/9677-9680 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/9677 Fs/9677-9680 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9678 Fs/9677-9680 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9679 Fs/9677-9680 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9680 Fs/9677-9680 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Compression et codage des images et vidéos : Information,Commande, Communication Type de document : texte imprimé Auteurs : Michel Barlaud ; Claude Labit Editeur : Paris : Lavoisier Année de publication : 2002 Collection : Traitement du signal et de l'image/Castanité,Francis Importance : 1 vol (319 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0328-0 Note générale : 978-2-7462-0328-0 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Informatique
Compression d'images
Codage
Compression vidéo
Traitement d'images:Techniques numériquesIndex. décimale : 004 - Informatique Résumé :
Cet ouvrage rassemble l'ensemble des connaissances méthodologiques et algorithmiques usuellement employées en matière de compression d'images numériques, en particulier dans le cadre des normes établies (telles que JPEG, MPEG1 et 2) ou en cours de finalisation (JPEG2000). Il fait ainsi le bilan des outils de décorrélation spatiale, temporelle et fréquentielle de signaux spatio-temporels d'images vidéo, des outils de quantification efficaces de l'information numérique permettant une compression plus forte mais au prix de pertes en qualité dont la criticité est aussi à jauger avec des critères d'évaluation adaptés, d'outils enfin de codage de l'information conduisant aux représentations binaires effectives des signaux d'images compressés. Ce livre traite donc à la fois de schémas de compression d'images fixes et de séquences d'images avec une volonté marquée de description exhaustive des outils normalisés et de ceux plus novateurs qui constitueront peut-être les maillons algorithmiques des schémas ou normes de compression du futur (MPEG-4 et suivant.Note de contenu :
Sommaire
Éléments de théorie de l'information et de communication
Christine Guillemot, Stéphane Pateux (IRISA-INRIA, Rennes).
Quantification
Marc Antonini (CNRS, Université de Nice-Sophia Antipolis), Vincent Ricordel (SIS, Université de Toulon et du Var). Transformée en ondelettes pour la compression d'images
Michel Barlaud, Marc Antonini (CNRS, Université de Nice-Sophia Antipolis).
Standards de compression d'images fixes
Jean-Paul Guillois (ENST, Paris), Maryline Charrier (Canon Research Centre France, Cesson-Sévigné), Catherine Lambert (CNES, Toulouse), Bruno Paucard (Tak'Asic, Guyancourt).
Modèles de représentation d'images vidéo et compression -Jenny Benois-Pineau (LABRI, Université Bordeaux 1), Stéphane Pateux (IRISA-INRIA, Rennes), Dominique Barba (École polytechnique de l'université de Nantes).
Les normes de compression vidéo -Henri Nicolas, Christine Guillemot (IRISA-INRIA, Rennes).
Codage par transformation fractale
Franck Davoine (Heudiasyc, Université de technologie de Compiègne), Jean-Marc Chassery (ENSIEG, Grenoble), Atilla Baskurt (Université Claude Bernard, Lyon), Jean-Luc Dugelay (Institut Eurécom, Nice-Sophia Antipolis).
Modèles psychovisuels de représentation d'images -Abdel-Hakim Saadane, Dominique Barba (Ecole polytechnique de l'université de Nantes)
Compression sans perte -Rémy Prost (INSA, Lyon)
Conclusion -Dominique Barba (École polytechnique de l'université de Nantes), Claude Labit (IRISA-INRIA, Rennes). Bibliographies.
Index.Côte titre : Fs/10649-10650,Fs/13090-13092 Compression et codage des images et vidéos : Information,Commande, Communication [texte imprimé] / Michel Barlaud ; Claude Labit . - Paris : Lavoisier, 2002 . - 1 vol (319 p.) : ill. ; 24 cm. - (Traitement du signal et de l'image/Castanité,Francis) .
ISBN : 978-2-7462-0328-0
978-2-7462-0328-0
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Compression d'images
Codage
Compression vidéo
Traitement d'images:Techniques numériquesIndex. décimale : 004 - Informatique Résumé :
Cet ouvrage rassemble l'ensemble des connaissances méthodologiques et algorithmiques usuellement employées en matière de compression d'images numériques, en particulier dans le cadre des normes établies (telles que JPEG, MPEG1 et 2) ou en cours de finalisation (JPEG2000). Il fait ainsi le bilan des outils de décorrélation spatiale, temporelle et fréquentielle de signaux spatio-temporels d'images vidéo, des outils de quantification efficaces de l'information numérique permettant une compression plus forte mais au prix de pertes en qualité dont la criticité est aussi à jauger avec des critères d'évaluation adaptés, d'outils enfin de codage de l'information conduisant aux représentations binaires effectives des signaux d'images compressés. Ce livre traite donc à la fois de schémas de compression d'images fixes et de séquences d'images avec une volonté marquée de description exhaustive des outils normalisés et de ceux plus novateurs qui constitueront peut-être les maillons algorithmiques des schémas ou normes de compression du futur (MPEG-4 et suivant.Note de contenu :
Sommaire
Éléments de théorie de l'information et de communication
Christine Guillemot, Stéphane Pateux (IRISA-INRIA, Rennes).
Quantification
Marc Antonini (CNRS, Université de Nice-Sophia Antipolis), Vincent Ricordel (SIS, Université de Toulon et du Var). Transformée en ondelettes pour la compression d'images
Michel Barlaud, Marc Antonini (CNRS, Université de Nice-Sophia Antipolis).
Standards de compression d'images fixes
Jean-Paul Guillois (ENST, Paris), Maryline Charrier (Canon Research Centre France, Cesson-Sévigné), Catherine Lambert (CNES, Toulouse), Bruno Paucard (Tak'Asic, Guyancourt).
Modèles de représentation d'images vidéo et compression -Jenny Benois-Pineau (LABRI, Université Bordeaux 1), Stéphane Pateux (IRISA-INRIA, Rennes), Dominique Barba (École polytechnique de l'université de Nantes).
Les normes de compression vidéo -Henri Nicolas, Christine Guillemot (IRISA-INRIA, Rennes).
Codage par transformation fractale
Franck Davoine (Heudiasyc, Université de technologie de Compiègne), Jean-Marc Chassery (ENSIEG, Grenoble), Atilla Baskurt (Université Claude Bernard, Lyon), Jean-Luc Dugelay (Institut Eurécom, Nice-Sophia Antipolis).
Modèles psychovisuels de représentation d'images -Abdel-Hakim Saadane, Dominique Barba (Ecole polytechnique de l'université de Nantes)
Compression sans perte -Rémy Prost (INSA, Lyon)
Conclusion -Dominique Barba (École polytechnique de l'université de Nantes), Claude Labit (IRISA-INRIA, Rennes). Bibliographies.
Index.Côte titre : Fs/10649-10650,Fs/13090-13092 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/10649 Fs/10649-10650 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10650 Fs/10649-10650 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13091 Fs/13090-13092 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13090 Fs/13090-13092 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13092 Fs/13090-13092 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Concepts et méthodes pour l'aide à la décision V.3:Analyse multicritère Type de document : texte imprimé Auteurs : Donis Bouyssou ; Didier Dubois ; Marc Pirlot Editeur : Paris : Lavoisier Année de publication : 2006 Collection : Informatique et Système d'information Importance : 1 vol. (324 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1291-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Ce traité passe en revue les principaux résultats et méthodes qui permettent au lecteur d'aborder l'aide à la décision dans sa vision la plus large, par-delà les frontières des diverses disciplines qui y ont contribué. Chaque chapitre fait le point sur l'état de l'art d'une approche particulière en matière de modélisation, de représentation ou de résolution de problèmes de décision. Ce traité est structuré en trois volumes. Le premier volume décrit les outils mathématiques pour l'aide à la décision et les méthodes modernes pour la représentation concise et la résolution de ces problèmes dans leurs aspects combinatoires. Le second volume parcourt les différents modèles de la décision dans l'incertain, et le troisième fait le point sur la décision multicritère.Note de contenu :
Sommaire
Chapitre 1. Théorie de l'utilité multiattribut
Chapitre 2. Mesurage conjoint et modèles relationnels de préférence
Chapitre 3. Fonctions d'agrégation pour la décision
Chapitre 4. Évaluation subjective
Chapitre 5. Théorie du choix sociale et aide multicritère à la décision
Chapitre 6. Médianes métriques et latticiellesCôte titre : Fs/8899-8902 Concepts et méthodes pour l'aide à la décision V.3:Analyse multicritère [texte imprimé] / Donis Bouyssou ; Didier Dubois ; Marc Pirlot . - Paris : Lavoisier, 2006 . - 1 vol. (324 p.) ; 24 cm. - (Informatique et Système d'information) .
ISBN : 978-2-7462-1291-6
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Ce traité passe en revue les principaux résultats et méthodes qui permettent au lecteur d'aborder l'aide à la décision dans sa vision la plus large, par-delà les frontières des diverses disciplines qui y ont contribué. Chaque chapitre fait le point sur l'état de l'art d'une approche particulière en matière de modélisation, de représentation ou de résolution de problèmes de décision. Ce traité est structuré en trois volumes. Le premier volume décrit les outils mathématiques pour l'aide à la décision et les méthodes modernes pour la représentation concise et la résolution de ces problèmes dans leurs aspects combinatoires. Le second volume parcourt les différents modèles de la décision dans l'incertain, et le troisième fait le point sur la décision multicritère.Note de contenu :
Sommaire
Chapitre 1. Théorie de l'utilité multiattribut
Chapitre 2. Mesurage conjoint et modèles relationnels de préférence
Chapitre 3. Fonctions d'agrégation pour la décision
Chapitre 4. Évaluation subjective
Chapitre 5. Théorie du choix sociale et aide multicritère à la décision
Chapitre 6. Médianes métriques et latticiellesCôte titre : Fs/8899-8902 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/8899 Fs/8899-8902 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8900 Fs/8899-8902 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8901 Fs/8899-8902 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8902 Fs/8899-8902 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Contrôle des applications temps-réel:Modèles temporises et hybrides Type de document : texte imprimé Auteurs : Franck Cassez Editeur : Paris : Lavoisier Année de publication : 2006 Collection : Technique et science informatique,V.25-n 3/2006 Importance : 1 vol. (398 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1483-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Le domaine de la synthèse de contrôleur et de l'ordonnancement de processus temps-réel a récemment bénéficié d'avancées théoriques et d'outils pratiques issus du domaine de la vérification de systèmes temporises : les techniques de model checking et les outils associés (KRONOS, UPPAAL, TINA, CMC, HYTECH, etc.) permettent de modéliser précisément des processus temps-réel avec des informations de temps quantitatives (temps continu). Des vérifications impliquant des informations temporelles quantitatives (par exemple, "le traitement de l'alarme aura lieu moins de 10 secondes après son apparition") peuvent être faites sur des modèles comme les automates temporisés ou hybrides ou encore les extensions temporisés des réseaux de Pétri.
Contrôle des applications temps-réel regroupe des articles sur la théorie et l'application de modèles de type automates temporises ou hybrides, des extensions temporelles de réseaux de Pétri ou des algèbres de processus temporises pour les problèmes liés à la synthèse de contrôleur et à l'ordonnancement.Note de contenu :
Sommaire
Contrôle de systèmes symboliques, discrets ou hybrides
Systèmes multi-agents adaptatifs avec contraintes temps-réel. De la spécification formelle à la vérification et à la génération de code
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif
Impact de choix d'implantation sur les performances d'une application de contrôle-commandeCôte titre : Fs/9215-9218 Contrôle des applications temps-réel:Modèles temporises et hybrides [texte imprimé] / Franck Cassez . - Paris : Lavoisier, 2006 . - 1 vol. (398 p.) ; 24 cm. - (Technique et science informatique,V.25-n 3/2006) .
ISSN : 978-2-7462-1483-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Le domaine de la synthèse de contrôleur et de l'ordonnancement de processus temps-réel a récemment bénéficié d'avancées théoriques et d'outils pratiques issus du domaine de la vérification de systèmes temporises : les techniques de model checking et les outils associés (KRONOS, UPPAAL, TINA, CMC, HYTECH, etc.) permettent de modéliser précisément des processus temps-réel avec des informations de temps quantitatives (temps continu). Des vérifications impliquant des informations temporelles quantitatives (par exemple, "le traitement de l'alarme aura lieu moins de 10 secondes après son apparition") peuvent être faites sur des modèles comme les automates temporisés ou hybrides ou encore les extensions temporisés des réseaux de Pétri.
Contrôle des applications temps-réel regroupe des articles sur la théorie et l'application de modèles de type automates temporises ou hybrides, des extensions temporelles de réseaux de Pétri ou des algèbres de processus temporises pour les problèmes liés à la synthèse de contrôleur et à l'ordonnancement.Note de contenu :
Sommaire
Contrôle de systèmes symboliques, discrets ou hybrides
Systèmes multi-agents adaptatifs avec contraintes temps-réel. De la spécification formelle à la vérification et à la génération de code
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif
Impact de choix d'implantation sur les performances d'une application de contrôle-commandeCôte titre : Fs/9215-9218 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/9215 Fs/9215-9218 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9216 Fs/9215-9218 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9217 Fs/9215-9218 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9218 Fs/9215-9218 livre Bibliothéque des sciences Français Disponible
DisponiblePermalinkDessalement de l'eau de mer et des eaux saumâtres:Et autres procédés non conventionnels d'approvisionnement en eau douce / Alain Maurel
PermalinkPermalinkPermalinkPermalinkPermalinkPermalink
Permalink
PermalinkPermalink
