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.682 : Langages de programmation. Métalangages
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.5 Théorie des ensembles
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.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.5 Théorie des ensembles
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.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.682
Faire une suggestion Affiner la rechercheIntroduction à la théorie des langages de programmation / Gilles Dowek
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur ; Jean-Jacques Lévy (19...-....), Auteur Editeur : Palaiseau [France] : Éditions de l'École polytechnique Année de publication : 2006 Importance : 109 p ISBN/ISSN/EAN : 2-7302-1333-3 Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Note de contenu : Table des matières
Les termes et les relations
Le langage PCF
De l'évaluation à l'interprétation
La compilation
Le langage PCF avec des types
L'inférence de types
Les références et les affectations
Les enregistrements et les objets
ISBN 13 : 978-2730213332 Introduction à la théorie des langages de programmation [texte imprimé] / Gilles Dowek, Auteur ; Jean-Jacques Lévy (19...-....), Auteur . - Palaiseau (France) : Éditions de l'École polytechnique, 2006 . - 109 p.
ISBN : 2-7302-1333-3
Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Note de contenu : Table des matières
Les termes et les relations
Le langage PCF
De l'évaluation à l'interprétation
La compilation
Le langage PCF avec des types
L'inférence de types
Les références et les affectations
Les enregistrements et les objets
ISBN 13 : 978-2730213332 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 050040 519.682 DOW Papier Bibliothèque Annexe Mathématiques Disponible En bon état 050041 519.682 DOW Papier Bibliothèque Annexe Mathématiques Disponible En bon état 050042 519.682 DOW Papier Bibliothèque Annexe Mathématiques Disponible En bon état 050043 519.682 DOW Papier Bibliothèque Annexe Mathématiques Disponible En bon état 050044 519.682 DOW Papier Bibliothèque Annexe Mathématiques Disponible En bon état Théorie des langages / Myriam Noureddine
Titre : Théorie des langages Type de document : texte imprimé Auteurs : Myriam Noureddine, Auteur Editeur : Alger : OPU Année de publication : 2004 Importance : 238 p. Format : 22 cm ISBN/ISSN/EAN : 978-9961-00-813-3 Langues : Français (fre) Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé : Ce cours de théorie des langages tire son origine de l'enseignement du module dispensé à l'institut d'informatique de L'USTO dans le cadre de la préparation au diplôme d'ingénieur d'état. Note de contenu :
- Présentation du cours
- Les langues
- Représentation des langues
- Les automates d’états finis
- Les langues réguliers
- Les langues algébriques
- Les automates a pile
- Les langues de type
- Les langues de type
- Introduction a la théorie de la calculabilitéThéorie des langages [texte imprimé] / Myriam Noureddine, Auteur . - Alger : OPU, 2004 . - 238 p. ; 22 cm.
ISBN : 978-9961-00-813-3
Langues : Français (fre)
Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé : Ce cours de théorie des langages tire son origine de l'enseignement du module dispensé à l'institut d'informatique de L'USTO dans le cadre de la préparation au diplôme d'ingénieur d'état. Note de contenu :
- Présentation du cours
- Les langues
- Représentation des langues
- Les automates d’états finis
- Les langues réguliers
- Les langues algébriques
- Les automates a pile
- Les langues de type
- Les langues de type
- Introduction a la théorie de la calculabilitéExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 050296 519.682 NOU Papier Bibliothèque Centrale Informatique Disponible Théorie des langages / Myriam Noureddine
Titre : Théorie des langages Type de document : texte imprimé Auteurs : Myriam Noureddine, Auteur Editeur : Alger : OPU Année de publication : 2005 Importance : 238 p. Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-9961-00-813-3 Langues : Français (fre) Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé :
Ce cours de théorie des langages tire son origine de l'enseignement du module dispensé à l'institut d'informatique de L'USTO dans le cadre de la préparation au diplôme d'ingénieur d'état.Note de contenu :
* Introduction.
* Les langages.
* Représentation des langages.
* Les automates d'état finis.
* Les langages réguliers.
* Les langages algébriques.Théorie des langages [texte imprimé] / Myriam Noureddine, Auteur . - Alger : OPU, 2005 . - 238 p. : ill. ; 22 cm.
ISBN : 978-9961-00-813-3
Langues : Français (fre)
Mots-clés : Langages de programmation Index. décimale : 519.682 Langages de programmation. Métalangages Résumé :
Ce cours de théorie des langages tire son origine de l'enseignement du module dispensé à l'institut d'informatique de L'USTO dans le cadre de la préparation au diplôme d'ingénieur d'état.Note de contenu :
* Introduction.
* Les langages.
* Représentation des langages.
* Les automates d'état finis.
* Les langages réguliers.
* Les langages algébriques.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 051304 519.682 NOU Papier Bibliothèque Annexe Informatique Disponible En bon état 051305 519.682 NOU Papier Bibliothèque Annexe Informatique Disponible En bon état 051306 519.682 NOU Papier Bibliothèque Annexe Informatique Disponible En bon état 051307 519.682 NOU Papier Bibliothèque Annexe Informatique Disponible En bon état 051308 519.682 NOU Papier Bibliothèque Annexe Informatique Disponible En bon état