Algèbre de Boole / Jean KUNTZMANN

Titre : Algèbre de Boole Type de document : texte imprimé Auteurs : Jean KUNTZMANN Mention d'édition : 2e éd. revue et augmentée Editeur : Dunod Année de publication : 1968 Importance : 361 p. Note générale : Avant-propos Table des matières Bibliographie récente Index alphabétique Catégories : Algèbre Boole, Algèbre de Index. décimale : 511.32 Algèbre des ensembles. Algèbre de Boole Résumé : Notations permanentes Eléments d'algèbre de Boole Formes systématiques Corps des restes - Algèbre de Post Monômes premiers - bases irrédondantes Distances, symétries Etude détaillée de fonctions Equations et questions voisines Réalisation de fonctions booléennes au moyen d'opérateurs donnés

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000396	511.32 KUN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Algèbre de Boole et machines logiques / Jean KUNTZMANN

Titre : Algèbre de Boole et machines logiques Type de document : texte imprimé Auteurs : Jean KUNTZMANN ; P. NASLIN Editeur : Dunod Année de publication : 1966 Importance : 313 p. Note générale : Avant-propos Avertissement Table des matières Catégories : Algèbre Boole, Algèbre de Machines logiques Index. décimale : 511.32 Algèbre des ensembles. Algèbre de Boole Résumé : Circuits combinatoires Théorie des consensus Algorithmes de recherche des bases premières Automatisation du calcul booléen Sur le nombre de fonctions logiques couvrables par le noyau Matrices booléennes Minimisation des fonctions à seuil équipondérées Circuits séquentiels Etude du codage des matrices des phases des systèmes séquentiels asynchrones Une méthode de minimisation du nombre des états internes des réseaux séquentiels incomplètement spécifiés Le problème du codage des états internes et de la décomposition des machines séquentielles synchrones Réalisation de machines séquentielles à l'aide de circuits à mode fondamental et entrées impulsionnelles Les aléas dans les circuits séquentiels commandés par impulsions Couvertures à mémoire finie de matrices d'adresses incomplètes Une méthode de synthèse de circuits séquentiels fiables Analyse de circuits séquentiels à l'aide de graphes Remarques à propos de la réalisation de circuits séquentiels Algorithmes d'apprentissage pour diagrammes de décisions séquentielles

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000431	511.32 KUN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

L'algèbre de Boole et son utilisation / H. FLEGG

Titre : L'algèbre de Boole et son utilisation Type de document : texte imprimé Auteurs : H. FLEGG ; Camille DUBY, Traducteur Editeur : Dunod Année de publication : 1967 Importance : 245 p. Note générale : Préface Avant-propos Table des matières Solutions des exercices Index alphabétique Catégories : Algèbre Boole, Algèbre de Index. décimale : 511.32 Algèbre des ensembles. Algèbre de Boole Résumé : Introduction Nombres binaires L'algèbre des classes Le calcul des propositions Commutateurs et algèbre de commutation Méthodes élémentaires de simplification Représentation géométrique dans un espace à N dimensions Fonctions symétriques Matrices à éléments booléens

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000786	511.32 FLE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Policy Mining: a Bottom-Up Approach for Network Security Management / Safaà HACHANA  

Titre : Policy Mining: a Bottom-Up Approach for Network Security Management Type de document : thèse Auteurs : Safaà HACHANA, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Frédéric CUPPENS, Directeur de thèse ; Nora CUPPENS-BOULAHIA, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Refik MOLVA, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Radu STATE, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Stéphane MORUCCI, Examinateur Importance : 122 p. + suppl. 46 p. Note générale : NNT 2014ESMA0017 Abstract Résumé Contents List of figures List of tables List of algorithms Bibliography List of publications Appendix Langues : Anglais (eng) Catégories : Boole, Algèbre de Coupe-feu (sécurité informatique) Entreprises:Réseaux d'ordinateurs Exploration de données Langages d'interrogation Ordinateurs:Accès:Contrôle Systèmes informatiques:Mesures de sûreté Résumé : INTRODUCTION Contribution Outline of the thesis TOWARD A MODEL BASED APPROACH FOR NETWORK ACCESS CONTROL MANAGEMENT Firewall management approaches in literature Top-down and bottom-up framework for a model driven network security policy management Conclusion and key unhandled issues ROLE MINING Overview of role mining process Preprocessing stage Role mining processing: extracting roles Assessment and enforcement Synthesis and discussion Conclusion and key unhandled issues FIREWALL POLICY MINING Formalization of the approach proposed Policy mining solution Example Conclusion and perspectives MINING A HIGH LEVEL ACCESS CONTROL POLICY IN A ANETWORK WITH MULTIPLE FIREWALLS A bottom-up framework to mine a model based network security policy Integrating abstract entities Integrating abstract rules Example Conclusion and perspectives ROLE SET COMPARISON ANALYSIS Motivation Role set comparison problem Role set comparison solution Conclusion and perspectives SHADOWED ROLES DETECTION Correlation between shadowed roles and role set comparison results Definition of shadowed roles Shadowed roles retection algorithm Conclusion EXPERIMENTAL EVALUATION Platform of test Experiments with role set comparison algorithm Experiments with shadowed roles detection algorithm Experiments with policy minig algorithm Multiple firewalls policy mining experiments Conclusion CONCLUSION AND PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01129078

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010796	TH-14 HAC	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Principes et applications de l'analyse booléenne / Michel CARVALLO

Titre : Principes et applications de l'analyse booléenne Type de document : texte imprimé Auteurs : Michel CARVALLO ; R. FORTET, Préfacier, etc. Mention d'édition : 2e édition Editeur : Gauthier-Villars Année de publication : 1970 Collection : Mathématiques économiques Importance : 152 p. Note générale : Préface Avertissement Table des matières Bibliographie Catégories : Analyse mathématique Boole, Algèbre de Problèmes et exercices Index. décimale : 511.32 Algèbre des ensembles. Algèbre de Boole Résumé : Principes de l'analyse booléenne Algèbre de Boole Applications Problèmes et solutions

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000384	511.32 CAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Techniques booléennes et calculateurs arithmétiques / J. CHINAL

Titre : Techniques booléennes et calculateurs arithmétiques Type de document : texte imprimé Auteurs : J. CHINAL Editeur : Dunod Année de publication : 1967 Collection : Techniques de l'automatisme Importance : 508 p. Note générale : Avant-propos Table des matières Bibliographie Exercices Index Catégories : Boole, Algèbre de Informatique Mathématiques Problèmes et exercices Index. décimale : 511.32 Algèbre des ensembles. Algèbre de Boole Résumé : Notions générales Systèmes de numération, numération binaire Codes Algèbre des contacts Algèbre des classes. Algèbre de la logique Algèbres booléennes Fonctions booléennes Représentations géométriques des fonctions booléennes Applications et exemples Simplification des réseaux combinationnels Notion de réseau séquentiel Réseaux séquentiels. Définitions et représentations Expressions régulières et événements singuliers Simplification des réseaux séquentiels et minimisation des tables de transitions Synthèse des réseaux séquentiels synchrones Compteurs

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000378	511.32 CHI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

---

1 (1 - 6 / 6) Par page : 25 50 100 200