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 au premier écran avec les recherches... |
Détail de l'indexation
519.5 : Théorie des ensembles
519 Analyse combinatoire. Calcul des probabilités, etc.
519.1 Analyse combinatoire. Théorie des graphies
519.14 Changement. Combinatoires des partitions de nombres
519.16 Problèmes algorithmiques de l'analyse combinatoire
519.17 Théorie des graphes
519.2 Probabilités. Statistique mathématique
519.2 (035) Probabilités. Statistique mathématique (Handbook)
519.2 (038) Probabilités. Statistique mathématique
519.2 + 004 Probabilités. Statistique mathématique+Informatique. Science et technologie de l'informatique
519.2 SPI
519.207 6
519.21 Théorie des probabilités.Processus stochastiques
519.21.621.39
519.216 Processus stochastique en général. Théorie de la prédiction. Temps d’arrêt. Martingales
519.217 Processus de Markov
519.217.2 Chaines de Markov. Processus avec un ensemble fini ou dénombrable d'états
519.218 Processus stochastique particuliers
519.218.7
519.22 Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.22(47) Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.226 Théorie de l'inférence et de la décision. Vraisemblance. Théorie bayésienne. Probabilité fiducielle
519.23 Analyse statistique. Méthodes d'inférence
519.233 Méthodes paramétriques
519.233.2 Estimation de paramètres et fonctionnels. Régions de confiance. Tolérance. Limites
519.233.3 Test d'hypothèse. Critères. Discrimination
519.233.5 Analyse de la corrélation. Analyse de régression
519.234
519.237 Méthodes statistiques multivariées
519.242 Plans d'expérience. Plans optimaux
519.246 Statistique de processus stochastiques estimation de processus stochastiques. Test hypothèse. Statistique de processus ponctuelles. Analyses de séries temporelles. Autocorrélation. régression
519.248 Statistique de l’ingénierie. Statistique de la recherche opérationnelle. Théorie des files. Contrôle de qualité. Fiabilité etc
519.25 Manipulation des données statistiques
519.26
519.27 Observation quantitatives , observation portant sur une variable fortuite (phénomènes à attributs qualitatifs , mesurables)
519.28 Paramètres de la statique mathématique. La statique, instrument de recherche de causes et de prévision des évènements futurs
519.282
519.285
519.3
519.34 Procédés directs du calcul des variations (Principe de Dirichlet, procédé de Ritz, etc.)
519.4
519.42 Liaison entre les groupes et les fonctions; théorème de Lagrange.
519.56
519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs.
519.6(035) (Mathématique numérique.Analyse numérique.Programmation.Science des ordinateurs. (Handbook)
519.61 Méthodes numériques de l'algèbre
519.612 Méthodes numériques de résolution de systèmes d'équations linéaires.matrice carrée. Matrice générale.
519.614 Méthodes numériques de calcul des valeurs propres et vecteurs propres des matrices.
519.615 Méthodes numériques de résolution d'équations transcendantes et de systèmes d'équations
519.63 Méthodes numériques pour la résolution d'équations aux dérivées partielles
519.642
519.67 Machines à calculer, méthodes graphiques et autres procédés des mathématiques numériques
519.673 Résolution de problèmes mathématiques par modélisation. Calculatrices analogiques.
519.675 Nomographie. Appareils nomographiques
519.68 Programation informatique
519.682 Langages de programmation. Métalangages
519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques.
519.7 Cybernétique matématique
519.7+621.391 Cybernétique mathématique + Notions générales sur l'ingénierie des Communications électriques.Cybernétique.Théorie de l'information.Théorie des signaux
519.71 Théorie des systèmes de contrôle: aspects mathématiques
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux
519.715 Problèmes d'analyse de la théorie du contrôle.
519.718 Stabilité. Fiabilité. Vérification. Synthèse. Systèmes de correction des erreurs. Tests
519.72 Théorie de l'information: aspects mathématiques.
519.8 Recherche opérationnelle
519.828 5
519.83 Théorie des jeux
519.85 Programmation mathématique
519.852 Programmation linéaire. Méthode du simplexe
519.854 Programmation discrète
519.857
519.863 Modèles d'optimisation
519.872 Théorie des files d'attente. Système de service. Simulation numérique
519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité
519.876 Théorie des grands systèmes
519.876.5 Représentation numérique de systèmes. Simulation
51967
519.1 Analyse combinatoire. Théorie des graphies
519.14 Changement. Combinatoires des partitions de nombres
519.16 Problèmes algorithmiques de l'analyse combinatoire
519.17 Théorie des graphes
519.2 Probabilités. Statistique mathématique
519.2 (035) Probabilités. Statistique mathématique (Handbook)
519.2 (038) Probabilités. Statistique mathématique
519.2 + 004 Probabilités. Statistique mathématique+Informatique. Science et technologie de l'informatique
519.2 SPI
519.207 6
519.21 Théorie des probabilités.Processus stochastiques
519.21.621.39
519.216 Processus stochastique en général. Théorie de la prédiction. Temps d’arrêt. Martingales
519.217 Processus de Markov
519.217.2 Chaines de Markov. Processus avec un ensemble fini ou dénombrable d'états
519.218 Processus stochastique particuliers
519.218.7
519.22 Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.22(47) Théorie statistique. Modèles statistiques. Statistiques mathématiques
519.226 Théorie de l'inférence et de la décision. Vraisemblance. Théorie bayésienne. Probabilité fiducielle
519.23 Analyse statistique. Méthodes d'inférence
519.233 Méthodes paramétriques
519.233.2 Estimation de paramètres et fonctionnels. Régions de confiance. Tolérance. Limites
519.233.3 Test d'hypothèse. Critères. Discrimination
519.233.5 Analyse de la corrélation. Analyse de régression
519.234
519.237 Méthodes statistiques multivariées
519.242 Plans d'expérience. Plans optimaux
519.246 Statistique de processus stochastiques estimation de processus stochastiques. Test hypothèse. Statistique de processus ponctuelles. Analyses de séries temporelles. Autocorrélation. régression
519.248 Statistique de l’ingénierie. Statistique de la recherche opérationnelle. Théorie des files. Contrôle de qualité. Fiabilité etc
519.25 Manipulation des données statistiques
519.26
519.27 Observation quantitatives , observation portant sur une variable fortuite (phénomènes à attributs qualitatifs , mesurables)
519.28 Paramètres de la statique mathématique. La statique, instrument de recherche de causes et de prévision des évènements futurs
519.282
519.285
519.3
519.34 Procédés directs du calcul des variations (Principe de Dirichlet, procédé de Ritz, etc.)
519.4
519.42 Liaison entre les groupes et les fonctions; théorème de Lagrange.
519.56
519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs.
519.6(035) (Mathématique numérique.Analyse numérique.Programmation.Science des ordinateurs. (Handbook)
519.61 Méthodes numériques de l'algèbre
519.612 Méthodes numériques de résolution de systèmes d'équations linéaires.matrice carrée. Matrice générale.
519.614 Méthodes numériques de calcul des valeurs propres et vecteurs propres des matrices.
519.615 Méthodes numériques de résolution d'équations transcendantes et de systèmes d'équations
519.63 Méthodes numériques pour la résolution d'équations aux dérivées partielles
519.642
519.67 Machines à calculer, méthodes graphiques et autres procédés des mathématiques numériques
519.673 Résolution de problèmes mathématiques par modélisation. Calculatrices analogiques.
519.675 Nomographie. Appareils nomographiques
519.68 Programation informatique
519.682 Langages de programmation. Métalangages
519.688 Programme et algorithmes pour la résolution informatique de problèmes spécifiques.
519.7 Cybernétique matématique
519.7+621.391 Cybernétique mathématique + Notions générales sur l'ingénierie des Communications électriques.Cybernétique.Théorie de l'information.Théorie des signaux
519.71 Théorie des systèmes de contrôle: aspects mathématiques
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux
519.715 Problèmes d'analyse de la théorie du contrôle.
519.718 Stabilité. Fiabilité. Vérification. Synthèse. Systèmes de correction des erreurs. Tests
519.72 Théorie de l'information: aspects mathématiques.
519.8 Recherche opérationnelle
519.828 5
519.83 Théorie des jeux
519.85 Programmation mathématique
519.852 Programmation linéaire. Méthode du simplexe
519.854 Programmation discrète
519.857
519.863 Modèles d'optimisation
519.872 Théorie des files d'attente. Système de service. Simulation numérique
519.873 Théorie de la fiabilité et de la réserve. Contrôle de qualité
519.876 Théorie des grands systèmes
519.876.5 Représentation numérique de systèmes. Simulation
51967
Ouvrages de la bibliothèque en indexation 519.5
Faire une suggestion Affiner la rechercheAlgèbre de Boole et machines logiques / Jean Kuntzmann
Titre : Algèbre de Boole et machines logiques Type de document : texte imprimé Auteurs : Jean Kuntzmann (1912-1992), Directeur de publication, rédacteur en chef ; Pierre Naslin (1920-2009), Directeur de publication, rédacteur en chef Editeur : Paris : Dunod Année de publication : 1967 Collection : Bibliothèque de l'automaticien Importance : XVI, 313 p. Présentation : ill. Format : 24 cm Note générale : Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Circuits logiques
Machine séquentielle
Boole, Algèbre de
Machines logiquesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
I. Circuits combinatoires
1. Théorie des consensus
2. Algorithmes de recherche des bases premières
3. Automatisation du canal booléen
4. Sur le nombre de fonctions logiques couvrables par le noyau
5. Matrices booléenne
6. Minimalisation des fonctions à seul équipondérées
II. Circuits séquentiels
7. Etude du codage des matrices des phases des systèmes séquentiels asynchrones
8. Une méthode de codage des variables internes des circuits séquentiels asynchrones
9. Une méthode de minimalisation du nombre des états intenses des réseaux séquentiels incomplètement spécifiés
10. Le problème du codage des états internes et de la décomposition des machines séquentielles synchrones
11. Réalisation de machines séquentielles à l'aide de circuits à mode fondamental et entrée impulsionnelles
12. Les aléas dans les circuits séquentiels commandés par impulsions
13. Couverture à mémoire finie des matrices d'adresses incomplètes
14. Une méthode de synthèse de circuits séquentiels fiables
15. Analyse de circuits séquentiels à l'aide de graphes
16. Remarques à propos de la réalisation de circuits séquentiels
17. Algorithmes d'apprentissage pour diagrammes de décisions séquentiellesAlgèbre de Boole et machines logiques [texte imprimé] / Jean Kuntzmann (1912-1992), Directeur de publication, rédacteur en chef ; Pierre Naslin (1920-2009), Directeur de publication, rédacteur en chef . - Dunod, 1967 . - XVI, 313 p. : ill. ; 24 cm. - (Bibliothèque de l'automaticien) .
Bibliogr. en fin de chapitres. - Index
Langues : Français (fre)
Mots-clés : Circuits logiques
Machine séquentielle
Boole, Algèbre de
Machines logiquesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
I. Circuits combinatoires
1. Théorie des consensus
2. Algorithmes de recherche des bases premières
3. Automatisation du canal booléen
4. Sur le nombre de fonctions logiques couvrables par le noyau
5. Matrices booléenne
6. Minimalisation des fonctions à seul équipondérées
II. Circuits séquentiels
7. Etude du codage des matrices des phases des systèmes séquentiels asynchrones
8. Une méthode de codage des variables internes des circuits séquentiels asynchrones
9. Une méthode de minimalisation du nombre des états intenses des réseaux séquentiels incomplètement spécifiés
10. Le problème du codage des états internes et de la décomposition des machines séquentielles synchrones
11. Réalisation de machines séquentielles à l'aide de circuits à mode fondamental et entrée impulsionnelles
12. Les aléas dans les circuits séquentiels commandés par impulsions
13. Couverture à mémoire finie des matrices d'adresses incomplètes
14. Une méthode de synthèse de circuits séquentiels fiables
15. Analyse de circuits séquentiels à l'aide de graphes
16. Remarques à propos de la réalisation de circuits séquentiels
17. Algorithmes d'apprentissage pour diagrammes de décisions séquentiellesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 010741 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place 010743 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010739 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010738 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010742 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010740 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 008254 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 005454 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place 033368 519.5 ALG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 033369 519.5 ALG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 033367 519.5 ALG Papier Bibliothèque Centrale Mathématiques Disponible En bon état Exercices de calcul booléens avec leurs solutions / Maurice (1900-....) Denis-Papin
Titre : Exercices de calcul booléens avec leurs solutions Type de document : texte imprimé Auteurs : Maurice (1900-....) Denis-Papin, Auteur Editeur : Paris : Eyrolles Année de publication : 1966 Importance : 290 p Format : 24 cm Langues : Français (fre) Mots-clés : Mathématiques ' calcul booléens Index. décimale : 519.5 Théorie des ensembles Exercices de calcul booléens avec leurs solutions [texte imprimé] / Maurice (1900-....) Denis-Papin, Auteur . - Paris : Eyrolles, 1966 . - 290 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Mathématiques ' calcul booléens Index. décimale : 519.5 Théorie des ensembles Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 010.664 519.5 DEN Papier Bibliothèque Centrale Mathématiques Disponible Finite-state models for logical machines / Hennie,C
Titre : Finite-state models for logical machines Type de document : texte imprimé Auteurs : Hennie,C, Auteur Editeur : New York : Wiley Année de publication : 1968 Importance : 466 p Format : 24 xcm Langues : Anglais (eng) Mots-clés : Mathématiques élément finit machines graphique Index. décimale : 519.5 Théorie des ensembles Finite-state models for logical machines [texte imprimé] / Hennie,C, Auteur . - New York : Wiley, 1968 . - 466 p ; 24 xcm.
Langues : Anglais (eng)
Mots-clés : Mathématiques élément finit machines graphique Index. décimale : 519.5 Théorie des ensembles Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 008783 519.5 HEN Papier Bibliothèque Centrale Mathématiques Disponible 008782 519.5 HEN Papier Bibliothèque Centrale Mathématiques Disponible Groupes finis de symétrie et recherche de solutions de l'équation de Schrödinger / Louis Mariot
Titre : Groupes finis de symétrie et recherche de solutions de l'équation de Schrödinger Type de document : texte imprimé Auteurs : Louis Mariot, Auteur Editeur : Paris : Dunod Année de publication : 1959 Collection : Monographies Dunod num. 8 Importance : VIII, 106 p. Présentation : ill. Format : 17 cm Note générale : Bibliogr. p. [105]-106 Langues : Français (fre) Mots-clés : Cristallographie
Schrödinger, Équation de
Groupes finis
Groupes, Théorie desIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire :
1. Éléments de la théorie des groupes.
2. Représentation d'un groupe.
3. Les groupes spatiaux.
4. Méthode d'approximation variationnelles en mécanique quantique.
5. Théorie des groupes et équation de Schrödinger.
6. Méthode d'approximation par ondes planes orthogonales.
7. Méthode de factorisation d'un déterminant séculaire...Groupes finis de symétrie et recherche de solutions de l'équation de Schrödinger [texte imprimé] / Louis Mariot, Auteur . - Dunod, 1959 . - VIII, 106 p. : ill. ; 17 cm. - (Monographies Dunod; 8) .
Bibliogr. p. [105]-106
Langues : Français (fre)
Mots-clés : Cristallographie
Schrödinger, Équation de
Groupes finis
Groupes, Théorie desIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire :
1. Éléments de la théorie des groupes.
2. Représentation d'un groupe.
3. Les groupes spatiaux.
4. Méthode d'approximation variationnelles en mécanique quantique.
5. Théorie des groupes et équation de Schrödinger.
6. Méthode d'approximation par ondes planes orthogonales.
7. Méthode de factorisation d'un déterminant séculaire...Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 002394 519.5 MAR Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place 006859 519.5 MAR Papier Bibliothèque Annexe Mathématiques Disponible En bon état Initiation à la théorie des ensembles / J. Breuer
Titre : Initiation à la théorie des ensembles Type de document : texte imprimé Auteurs : J. Breuer, Auteur ; A. Gloden, Traducteur Editeur : Paris : Dunod Année de publication : 1964 Importance : VI,121 p. Présentation : ill. Format : 19 cm Note générale : Trad. de Einführung in die Mengenlehre. - Notes bibliogr. - Index Langues : Français (fre) Langues originales : Allemand (ger) Mots-clés : Set theory
Théorie des ensemblesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire :
1. Ensembles finis.
2. Ensembles infinis.
3. Ensembles ordonnés.
4. Ensembles de points.Initiation à la théorie des ensembles [texte imprimé] / J. Breuer, Auteur ; A. Gloden, Traducteur . - Paris : Dunod, 1964 . - VI,121 p. : ill. ; 19 cm.
Trad. de Einführung in die Mengenlehre. - Notes bibliogr. - Index
Langues : Français (fre) Langues originales : Allemand (ger)
Mots-clés : Set theory
Théorie des ensemblesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire :
1. Ensembles finis.
2. Ensembles infinis.
3. Ensembles ordonnés.
4. Ensembles de points.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 003184 519.5 BRE Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place Introduction à l'algébre de boole et aux dispositifs logiques / Gerhard E. Hoernes
PermalinkIntroduction mathématique à la linguistique structurale / Solomon (1925-2016) Marcus
PermalinkIntroduction à la théorie des ensembles / Paul Richard Halmos
PermalinkTechniques booléennes et calculateurs arithmétiques / Jean Chinal
PermalinkTheory and problems of set theory and related topics / Seymour Lipschutz
PermalinkTheory and problems of set theory and related topics / Seymour Lipschutz
PermalinkEléments de mathématique, Fascicule 17, livre 1. Théorie des ensembles / Nicolas Bourbaki
PermalinkEléments de mathématique, Fascicule 22, livre 1. Théorie des ensembles / Nicolas Bourbaki
PermalinkThéorie des groupes en physique classique et quantique, Tome 1. Structures mathématiques et fondements quantiques / Théo Kahan
PermalinkThéorie des groupes en physique classique et quantique, Tome 1, fascicule 1. Structures mathématiques et fondements quantiques / Théo Kahan
Permalink