الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'arbres'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Arbres de défaillances / Nikolaos Limnios
Titre : Arbres de défaillances Type de document : texte imprimé Auteurs : Nikolaos Limnios, Auteur Mention d'édition : 2e éd. revue et augmentée Editeur : Paris : Hermès science publications Année de publication : impr. 2005 Importance : 1 vol. (221 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1067-7 Note générale : Bibliogr. p. 205-218. Index Langues : Français (fre) Mots-clés : Arbres défaillances Index. décimale : 006 Résumé : Les arbres de défaillances constituent une technique majeure en sûreté de fonctionnement. Ils sont utilisés en tant qu'outil principal dans la plupart des études de sécurité des systèmes ainsi que dans les études de fiabilité et de disponibilité. L'auteur présente tout d'abord la méthode de base de mise en oeuvre des arbres de défaillance, la construction, l'analyse algébrique, l'évaluation probabiliste et l'étude d'influence. Sont ensuite présentées les différentes extensions concernant les arbres de défaillances non cohérents, à délais, multi performants, etc. Les algorithmes classiques permettant le traitement des arbres de défaillances ainsi que les algorithmes plus récents récursifs et les techniques de troncature des ensembles minimaux qui permettent le traitement de grands arbres sont clairement développés. Cette seconde édition présente les algorithmes récents de traitement des arbres de défaillances basés sur les Diagrammes de Décision Binaires (DDB). Ces algorithmes sont de loin les plus rapides. Arbres de défaillances [texte imprimé] / Nikolaos Limnios, Auteur . - 2e éd. revue et augmentée . - Paris : Hermès science publications, impr. 2005 . - 1 vol. (221 p.) : ill. ; 24 cm.
ISBN : 978-2-7462-1067-7
Bibliogr. p. 205-218. Index
Langues : Français (fre)
Mots-clés : Arbres défaillances Index. décimale : 006 Résumé : Les arbres de défaillances constituent une technique majeure en sûreté de fonctionnement. Ils sont utilisés en tant qu'outil principal dans la plupart des études de sécurité des systèmes ainsi que dans les études de fiabilité et de disponibilité. L'auteur présente tout d'abord la méthode de base de mise en oeuvre des arbres de défaillance, la construction, l'analyse algébrique, l'évaluation probabiliste et l'étude d'influence. Sont ensuite présentées les différentes extensions concernant les arbres de défaillances non cohérents, à délais, multi performants, etc. Les algorithmes classiques permettant le traitement des arbres de défaillances ainsi que les algorithmes plus récents récursifs et les techniques de troncature des ensembles minimaux qui permettent le traitement de grands arbres sont clairement développés. Cette seconde édition présente les algorithmes récents de traitement des arbres de défaillances basés sur les Diagrammes de Décision Binaires (DDB). Ces algorithmes sont de loin les plus rapides. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02478 006-179.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Arbres tables algorithmes / Jacques Guyot
Titre : Arbres tables algorithmes Type de document : texte imprimé Auteurs : Jacques Guyot, Auteur ; Vial Christian, Auteur Editeur : Paris : Eyrolles Année de publication : 1992 Importance : 284 p. Présentation : ill Format : 23 x 16 cm. Langues : Français (fre) Mots-clés : Arbres tables algorithmes Index. décimale : 004 Arbres tables algorithmes [texte imprimé] / Jacques Guyot, Auteur ; Vial Christian, Auteur . - Paris : Eyrolles, 1992 . - 284 p. : ill ; 23 x 16 cm.
Langues : Français (fre)
Mots-clés : Arbres tables algorithmes Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (9)
Code-barres Cote Support Localisation Section Disponibilité fsei00264 004-83.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00263 004-83.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00266 004-83.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00265 004-83.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00267 004-83.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00261 004-83.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00268 004-83.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00262 004-83.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00260 004-83.9 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Les arbres et les représentations des proximités / Jean-Pierre Barthelemy
Titre : Les arbres et les représentations des proximités Type de document : texte imprimé Auteurs : Jean-Pierre Barthelemy ; Alain Guénoche Editeur : Paris : Masson Année de publication : 1988 Importance : xvi, 239 p. - Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-225-81266-8 Langues : Français (fre) Mots-clés : proximités arbres représentations Index. décimale : 004 Résumé : Les arbres et les représentations des proximités [texte imprimé] / Jean-Pierre Barthelemy ; Alain Guénoche . - Paris : Masson, 1988 . - xvi, 239 p. - ; 24 x 16 cm.
ISBN : 978-2-225-81266-8
Langues : Français (fre)
Mots-clés : proximités arbres représentations Index. décimale : 004 Résumé : Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00252 004-78.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Infrastructure d'annuaire / Jean-François Apréa
Titre : Infrastructure d'annuaire : conception sous Windows Server ; forêts, arbres et domaines active directory, LDAP, maintenance active directory Type de document : texte imprimé Auteurs : Jean-François Apréa, Auteur Editeur : Saint-Herblain : Éd. ENI Année de publication : cop. 2011 Collection : Ressources informatiques (Nantes), ISSN 1627-8224 Importance : 1 vol. (546 p.) Présentation : ill., couv. ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7460-6419-5 Note générale : LDAP = Lightweight directory access protocol
IndexLangues : Français (fre) Mots-clés : Infrastructure d'annuaire Windows Server forêts arbres domaines active LDAP maintenance active Index. décimale : 006 Résumé : Ce livre est destiné aux administrateurs et architectes Active Directory. Il permet de maîtriser l'architecture des services d'annuaire Active Directory de manière progressive avec, en évidence, les principes, les limites et bonnes pratiques à respecter. Vous pourrez ainsi acquérir les concepts et règles pour planifier, implémenter et dépanner une infrastructure de services d'annuaire Active Directory. Notez que cet ouvrage met l'accent sur Windows Server 2008 R2 et Windows Server 2008 mais considère aussi l'environnement Windows Server 2003. Les premiers chapitres décrivent avec précision les concepts des services d'annuaire Active Directory et les grands principes du protocole LDAP. Vous étudierez la structure des forêts et des domaines, la localisation des services Active Directory ainsi que la définition de la structure logique et physique, la gestion des rôles et fonctionnalités des serveurs fonctionnant sous Windows Server 2008 R2, ainsi que les opérations de maintenance sur les bases de données Active Directory. Infrastructure d'annuaire : conception sous Windows Server ; forêts, arbres et domaines active directory, LDAP, maintenance active directory [texte imprimé] / Jean-François Apréa, Auteur . - Saint-Herblain : Éd. ENI, cop. 2011 . - 1 vol. (546 p.) : ill., couv. ill. ; 22 cm. - (Ressources informatiques (Nantes), ISSN 1627-8224) .
ISBN : 978-2-7460-6419-5
LDAP = Lightweight directory access protocol
Index
Langues : Français (fre)
Mots-clés : Infrastructure d'annuaire Windows Server forêts arbres domaines active LDAP maintenance active Index. décimale : 006 Résumé : Ce livre est destiné aux administrateurs et architectes Active Directory. Il permet de maîtriser l'architecture des services d'annuaire Active Directory de manière progressive avec, en évidence, les principes, les limites et bonnes pratiques à respecter. Vous pourrez ainsi acquérir les concepts et règles pour planifier, implémenter et dépanner une infrastructure de services d'annuaire Active Directory. Notez que cet ouvrage met l'accent sur Windows Server 2008 R2 et Windows Server 2008 mais considère aussi l'environnement Windows Server 2003. Les premiers chapitres décrivent avec précision les concepts des services d'annuaire Active Directory et les grands principes du protocole LDAP. Vous étudierez la structure des forêts et des domaines, la localisation des services Active Directory ainsi que la définition de la structure logique et physique, la gestion des rôles et fonctionnalités des serveurs fonctionnant sous Windows Server 2008 R2, ainsi que les opérations de maintenance sur les bases de données Active Directory. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei10687 006-315.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10688 006-315.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10689 006-315.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Théorie des ensembles / J. L. Krivine
Titre : Théorie des ensembles Type de document : texte imprimé Auteurs : J. L. Krivine Mention d'édition : 2e éd. Editeur : Paris : Cassini Année de publication : 2007 Importance : 271 p. Format : 22 x 15 cm. ISBN/ISSN/EAN : 978-2-84225-096-6 Langues : Français (fre) Mots-clés : Axiomes de Zermelo-Fraenkel Ordinaux cardinaux L'axiome de fondation Le schéma de réflexion L'ensemble des formules Ensembles Extensions génériques Chaînes antichaînes Algèbres Arbres Index. décimale : 512 Résumé : Née il y a un siècle de l'esprit de Cantor, la théorie des ensembles fascine toujours les mathématiciens. En leur offrant un cadre axiomatique universel, elle témoigne de l'unité profonde des mathématiques. Ce livre expose les bases d'une théorie qui est devenue un vaste domaine de recherches, aux applications variées. Une présentation des axiomes usuels de la théorie des ensembles de Zermelo-Fraenkel (ZF), ainsi que des notions fondamentales d'ordinal et de cardinal, amène naturellement à la question essentielle : quels axiomes raisonnables peut-on ajouter à la théorie ZF sans la rendre contradictoire ? C'est le problème de la consistance relative. Dans la première partie, on résout ce problème pour l'axiome du choix et l'hypothèse du continu, suivant la méthode des modèles intérieurs. On y trouvera également une preuve inédite et particulièrement élégante du second théorème d'incomplétude de Gödel. La seconde partie est consacrée à la méthode du forcing et à ses applications ; entre autres le célèbre résultat de Cohen sur l'indépendance de l'hypothèse du continu, et le théorème de Solovay sur la non-contradiction de l'axiome : " Tout ensemble de réels est mesurable ". Complété par une importante série d'exercices avec des indications détaillées, cet ouvrage s'adresse aussi bien aux étudiants de master et de doctorat qu'aux enseignants et chercheurs en mathématiques, ainsi qu'à tous ceux qu'intéresse la philosophie des mathématiques. Théorie des ensembles [texte imprimé] / J. L. Krivine . - 2e éd. . - Paris : Cassini, 2007 . - 271 p. ; 22 x 15 cm.
ISBN : 978-2-84225-096-6
Langues : Français (fre)
Mots-clés : Axiomes de Zermelo-Fraenkel Ordinaux cardinaux L'axiome de fondation Le schéma de réflexion L'ensemble des formules Ensembles Extensions génériques Chaînes antichaînes Algèbres Arbres Index. décimale : 512 Résumé : Née il y a un siècle de l'esprit de Cantor, la théorie des ensembles fascine toujours les mathématiciens. En leur offrant un cadre axiomatique universel, elle témoigne de l'unité profonde des mathématiques. Ce livre expose les bases d'une théorie qui est devenue un vaste domaine de recherches, aux applications variées. Une présentation des axiomes usuels de la théorie des ensembles de Zermelo-Fraenkel (ZF), ainsi que des notions fondamentales d'ordinal et de cardinal, amène naturellement à la question essentielle : quels axiomes raisonnables peut-on ajouter à la théorie ZF sans la rendre contradictoire ? C'est le problème de la consistance relative. Dans la première partie, on résout ce problème pour l'axiome du choix et l'hypothèse du continu, suivant la méthode des modèles intérieurs. On y trouvera également une preuve inédite et particulièrement élégante du second théorème d'incomplétude de Gödel. La seconde partie est consacrée à la méthode du forcing et à ses applications ; entre autres le célèbre résultat de Cohen sur l'indépendance de l'hypothèse du continu, et le théorème de Solovay sur la non-contradiction de l'axiome : " Tout ensemble de réels est mesurable ". Complété par une importante série d'exercices avec des indications détaillées, cet ouvrage s'adresse aussi bien aux étudiants de master et de doctorat qu'aux enseignants et chercheurs en mathématiques, ainsi qu'à tous ceux qu'intéresse la philosophie des mathématiques. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei03211 512-63.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei03212 512-63.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible