Aérodynamique / Franck Richecoeur

Public ISBD Titre : Aérodynamique : Equations générales, écoulements laminaires et turbulents autour d'un profil, couche limite Type de document : texte imprimé Auteurs : Franck Richecoeur (1979-....), Auteur Editeur : Paris : Ellipses Année de publication : 2013 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 1 vol. (232 p.) Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7795-8 Note générale : 978-2-7298-7795-8 Langues : Français (fre) Catégories : Physique Mots-clés : Fluides Mécanique des Aérodynamique Index. décimale : 530 Physique Résumé : Note de contenu : Sommaire P. 3. Avant-propos P. 9. 1 Définitions et équations fondamentales P. 9. 1 Objectifs et notions fondamentales P. 15. 2 Propriétés des fluides P. 17. 3 Propriétés des écoulements P. 23. 4 Outils mathématiques P. 28. 5 Conservation de la masse P. 33. 6 Conservation de quantité de mouvement P. 38. Exercices P. 43. 2 Écoulements potentiels P. 44. 1 Définitions P. 56. 2 Théorème de Bernoulli P. 58. 3 Écoulements potentiels P. 69. 4 Écoulements autour d'un corps arbitraire - Méthode des panneaux P. 75. Exercices P. 75. 3 Écoulement idéal autour d'un profil P. 79. 1 Généralités sur les surfaces portantes P. 81. 2 Géométrie des profils et des surfaces portantes P. 85. 3 Caractéristiques aérodynamiques des surfaces portantes P. 89. 4 Théorème de Kutta-Joukowski P. 92. 5 Circulation et portance P. 96. 6 Théorème de Kelvin P. 98. 7 Circulation autour d'un profil portant P. 100. 8 Profil mince portant P. 112. 9 Méthode des panneaux pour les profils portants P. 116. Exercices P. 121. 4 Écoulement autour d'une aile d'envergure finie P. 121. 1 Description de l'écoulement P. 125. 2 Théorie de la ligne portante P. 132. 3 Calcul des coefficients de portance et de traînée induite P. 137. 4 Méthodes globales de calcul aérodynamique P. 142. 5 Conclusion P. 143. Exercices P. 147. 5 Couche limite laminaire P. 148. 1 Effets de la viscosité d'un fluide P. 155. 2 Concept de couche limite P. 161. 3 Équations de la couche limite laminaire P. 165. 4 Résolutions exactes des équations de la couche limite P. 173. 5 Méthodes intégrales P. 189. Exercices P. 191. 6 Introduction aux couches limites turbulentes P. 192. 1 Notions sur la transition laminaire-turbulent P. 197. 2 Équations de la couche limite turbulente P. 202. 3 Modélisation de la turbulence P. 206. 4 Méthodes intégrales pour la couche limite turbulente P. 213. Exercices P. 221. Annexe P. 221. A Écoulements complexes P. 221. 1 Définition des grandeurs complexes P. 222. 2 Transformée conforme de Joukowski P. 224. 3 Lignes de courant autour d'un profil portant P. 227. 4 Théorème de Blasius Côte titre : Fs/23825-23826 Aérodynamique : Equations générales, écoulements laminaires et turbulents autour d'un profil, couche limite [texte imprimé] / Franck Richecoeur (1979-....), Auteur . - Paris : Ellipses, 2013 . - 1 vol. (232 p.) : ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955) . ISBN : 978-2-7298-7795-8 978-2-7298-7795-8 Langues : Français (fre) Catégories : Physique Mots-clés : Fluides Mécanique des Aérodynamique Index. décimale : 530 Physique Résumé : Note de contenu : Sommaire P. 3. Avant-propos P. 9. 1 Définitions et équations fondamentales P. 9. 1 Objectifs et notions fondamentales P. 15. 2 Propriétés des fluides P. 17. 3 Propriétés des écoulements P. 23. 4 Outils mathématiques P. 28. 5 Conservation de la masse P. 33. 6 Conservation de quantité de mouvement P. 38. Exercices P. 43. 2 Écoulements potentiels P. 44. 1 Définitions P. 56. 2 Théorème de Bernoulli P. 58. 3 Écoulements potentiels P. 69. 4 Écoulements autour d'un corps arbitraire - Méthode des panneaux P. 75. Exercices P. 75. 3 Écoulement idéal autour d'un profil P. 79. 1 Généralités sur les surfaces portantes P. 81. 2 Géométrie des profils et des surfaces portantes P. 85. 3 Caractéristiques aérodynamiques des surfaces portantes P. 89. 4 Théorème de Kutta-Joukowski P. 92. 5 Circulation et portance P. 96. 6 Théorème de Kelvin P. 98. 7 Circulation autour d'un profil portant P. 100. 8 Profil mince portant P. 112. 9 Méthode des panneaux pour les profils portants P. 116. Exercices P. 121. 4 Écoulement autour d'une aile d'envergure finie P. 121. 1 Description de l'écoulement P. 125. 2 Théorie de la ligne portante P. 132. 3 Calcul des coefficients de portance et de traînée induite P. 137. 4 Méthodes globales de calcul aérodynamique P. 142. 5 Conclusion P. 143. Exercices P. 147. 5 Couche limite laminaire P. 148. 1 Effets de la viscosité d'un fluide P. 155. 2 Concept de couche limite P. 161. 3 Équations de la couche limite laminaire P. 165. 4 Résolutions exactes des équations de la couche limite P. 173. 5 Méthodes intégrales P. 189. Exercices P. 191. 6 Introduction aux couches limites turbulentes P. 192. 1 Notions sur la transition laminaire-turbulent P. 197. 2 Équations de la couche limite turbulente P. 202. 3 Modélisation de la turbulence P. 206. 4 Méthodes intégrales pour la couche limite turbulente P. 213. Exercices P. 221. Annexe P. 221. A Écoulements complexes P. 221. 1 Définition des grandeurs complexes P. 222. 2 Transformée conforme de Joukowski P. 224. 3 Lignes de courant autour d'un profil portant P. 227. 4 Théorème de Blasius Côte titre : Fs/23825-23826

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/23825	Fs/23825-23826	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/23826	Fs/23825-23826	livre	Bibliothéque des sciences	Français	Disponible Disponible

Algorithmes fondamentaux et langage C / Imbert, Jean-Louis

Public ISBD Titre : Algorithmes fondamentaux et langage C : codage, alternatives, boucles, tableaux, modularité Type de document : texte imprimé Auteurs : Imbert, Jean-Louis, Auteur Editeur : Paris : Ellipses Année de publication : 2008 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 1 vol. (308 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-3867-6 Note générale : 978-2-7298-3867-6 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Programmation Langage C codage Index. décimale : 005.1 - Programmation Résumé : L'ouvrage : niveau A (IUT - BTS - 1er cycle) Recouvrant les différents programmes officiels d'IUT et de licences, l'ouvrage apporte aux débutants en programmation, étudiants ou autodidactes, une introduction à l'algorithmique et aux structures de données. Il contient également quelques aspects de génie logiciel et il guide le lecteur dans l'apprentissage du langage C et de la compilation. Son originalité est la définition d'une sémantique opérationnelle claire et simple des différents types d'instructions. Cette sémantique explique la transformation de l'état de la machine induit par chaque instruction. Elle est illustrée par des schémas dits sémantiques qui montrent l'évolution des états de la mémoire au fil des instructions. Tous les algorithmes de base et de nombreux exemples sont illustrés par ces schémas qui permettent de bien comprendre leur fonctionnement. Des exercices corrigés complètent l'exposé pour mieux l'assimiler et permettre au lecteur de se tester. Un second ouvrage du même auteur prolonge la démarche en développant des notions avancées notamment sur les tableaux, le pointeur de langage, la modularité dans les programmes... Note de contenu : Sommaire Informatique générale Notions de codage Introduction à l'algorithmique Les alternatives Boucles et récursivité Le langage C Les types composés Les tableaux Les tableaux : recherche et complexité Les tableaux : tris Annexes A1. Makefile A2. Eclipse et CppDoc Corrigés Côte titre : Fs/12537,Fs/11687-11691,Fs/13026-13027,Fs/4586-4588 Algorithmes fondamentaux et langage C : codage, alternatives, boucles, tableaux, modularité [texte imprimé] / Imbert, Jean-Louis, Auteur . - Paris : Ellipses, 2008 . - 1 vol. (308 p.) : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955) . ISBN : 978-2-7298-3867-6 978-2-7298-3867-6 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Programmation Langage C codage Index. décimale : 005.1 - Programmation Résumé : L'ouvrage : niveau A (IUT - BTS - 1er cycle) Recouvrant les différents programmes officiels d'IUT et de licences, l'ouvrage apporte aux débutants en programmation, étudiants ou autodidactes, une introduction à l'algorithmique et aux structures de données. Il contient également quelques aspects de génie logiciel et il guide le lecteur dans l'apprentissage du langage C et de la compilation. Son originalité est la définition d'une sémantique opérationnelle claire et simple des différents types d'instructions. Cette sémantique explique la transformation de l'état de la machine induit par chaque instruction. Elle est illustrée par des schémas dits sémantiques qui montrent l'évolution des états de la mémoire au fil des instructions. Tous les algorithmes de base et de nombreux exemples sont illustrés par ces schémas qui permettent de bien comprendre leur fonctionnement. Des exercices corrigés complètent l'exposé pour mieux l'assimiler et permettre au lecteur de se tester. Un second ouvrage du même auteur prolonge la démarche en développant des notions avancées notamment sur les tableaux, le pointeur de langage, la modularité dans les programmes... Note de contenu : Sommaire Informatique générale Notions de codage Introduction à l'algorithmique Les alternatives Boucles et récursivité Le langage C Les types composés Les tableaux Les tableaux : recherche et complexité Les tableaux : tris Annexes A1. Makefile A2. Eclipse et CppDoc Corrigés Côte titre : Fs/12537,Fs/11687-11691,Fs/13026-13027,Fs/4586-4588

Exemplaires (11)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/11687	Fs/11687-11691	livre	Bibliothéque des sciences	Français	Disponible Sorti jusqu'au 18/12/2024
Fs/11688	Fs/11687-11691	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11689	Fs/11687-11691	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11690	Fs/11687-11691	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11691	Fs/11687-11691	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12537	Fs/12537	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13026	Fs/13026-13027	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13027	Fs/13026-13027	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4587	Fs/4586-4588	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4588	Fs/4586-4588	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/4586	Fs/4586-4588	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Analyse de Fourier / Patrice Struillou

Public ISBD Titre : Analyse de Fourier : Théorie et applications pour l'ingénieur et le physicien ; cours et exercices corrigés Type de document : texte imprimé Auteurs : Patrice Struillou, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 1 vol. (377 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7254-0 Note générale : 978-2-7298-7254-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Analyse de Fourier Fourier Analyse de Mathématiques de l'ingénieur Physique mathématique Index. décimale : 515.2 Aspects généraux de l'analyse mathématique Résumé : L'ouvrage est une présentation de l'analyse de Fourier adaptée aux besoins des élèves-ingénieurs et des étudiants des Masters de physique ou d'électronique. Il permet de comprendre comment elle est utilisée en physique et en traitement du signal. Le livre traite de la convolution et de la transformation de Fourier, des fonctions orthogonales et des séries de Fourier, ainsi que des fonctions de la variable complexe. Il développe certaines applications, notamment la théorie de l'échantillonnage et une introduction aux ondelettes. Il comporte également, sans formalisme excessif, une présentation très graduelle des distributions allant jusqu'à l'étude de la convolution et de la transformation de Fourier des distributions. Avec un souci de rigueur, mais sans insister sur les concepts les plus abstraits que ne rencontrera probablement pas un élève-ingénieur ou un physicien, l'auteur a choisi de développer les preuves les plus utiles. L'ouvrage est très accessible, le moindre calcul étant détaillé et les difficultés apparaissant progressivement. Les pré-requis sont limités à ceux acquis en premier cycle. Les exercices et problèmes corrigés, classiques ou plus originaux, sont nombreux et variés. Le livre constitue un outil de travail complet pour les étudiants des filières technologiques Note de contenu : Sommaire 1. Intégration 2.Eléments de théorie des distributions 3. Convolution des fonctions 4. Transformation de Fourier des fonctions 5. Convolution et transformation de Fourier des distributions 6. Fonctions orthogonales 7. Séries de Fourier 8. Introduction à la théorie des ondelettes 9. Fonctions de la variable complexe 10. Intégration des fonctions holomorphes 11. Fonctions analytiques en analyse de Fourier Côte titre : Fs/10749-10752,Fs/12784-12787,Fs/13377-13379 Analyse de Fourier : Théorie et applications pour l'ingénieur et le physicien ; cours et exercices corrigés [texte imprimé] / Patrice Struillou, Auteur . - Paris : Ellipses, 2012 . - 1 vol. (377 p.) : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955) . ISBN : 978-2-7298-7254-0 978-2-7298-7254-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Analyse de Fourier Fourier Analyse de Mathématiques de l'ingénieur Physique mathématique Index. décimale : 515.2 Aspects généraux de l'analyse mathématique Résumé : L'ouvrage est une présentation de l'analyse de Fourier adaptée aux besoins des élèves-ingénieurs et des étudiants des Masters de physique ou d'électronique. Il permet de comprendre comment elle est utilisée en physique et en traitement du signal. Le livre traite de la convolution et de la transformation de Fourier, des fonctions orthogonales et des séries de Fourier, ainsi que des fonctions de la variable complexe. Il développe certaines applications, notamment la théorie de l'échantillonnage et une introduction aux ondelettes. Il comporte également, sans formalisme excessif, une présentation très graduelle des distributions allant jusqu'à l'étude de la convolution et de la transformation de Fourier des distributions. Avec un souci de rigueur, mais sans insister sur les concepts les plus abstraits que ne rencontrera probablement pas un élève-ingénieur ou un physicien, l'auteur a choisi de développer les preuves les plus utiles. L'ouvrage est très accessible, le moindre calcul étant détaillé et les difficultés apparaissant progressivement. Les pré-requis sont limités à ceux acquis en premier cycle. Les exercices et problèmes corrigés, classiques ou plus originaux, sont nombreux et variés. Le livre constitue un outil de travail complet pour les étudiants des filières technologiques Note de contenu : Sommaire 1. Intégration 2.Eléments de théorie des distributions 3. Convolution des fonctions 4. Transformation de Fourier des fonctions 5. Convolution et transformation de Fourier des distributions 6. Fonctions orthogonales 7. Séries de Fourier 8. Introduction à la théorie des ondelettes 9. Fonctions de la variable complexe 10. Intégration des fonctions holomorphes 11. Fonctions analytiques en analyse de Fourier Côte titre : Fs/10749-10752,Fs/12784-12787,Fs/13377-13379

Exemplaires (11)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/10749	Fs/10749-10752	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10750	Fs/10749-10752	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10751	Fs/10749-10752	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/10752	Fs/10749-10752	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12784	Fs/12784-12787	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12785	Fs/12784-12787	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12786	Fs/12784-12787	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12787	Fs/12784-12787	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13377	Fs/13377-13379	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13378	Fs/13377-13379	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13379	Fs/13377-13379	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Analyse des signaux analogiques et numériques / Frédéric Cohen-Tenoudji

Public ISBD Titre : Analyse des signaux analogiques et numériques : Théorie du signal : des bases aux application ; cours et exercices corrigés Type de document : texte imprimé Auteurs : Frédéric Cohen-Tenoudji, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 1 vol. (391 p.) Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7536-7 Note générale : 978-2-7298-7536-7 Langues : Français (fre) Catégories : Physique Mots-clés : Traitement du signal : Problèmes et exercices Traitement du signal : Techniques numériques Signal Théorie du (télécommunications) Index. décimale : 621.3 - Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé : Le livre expose l'architecture de la théorie du signal et fournit les outils d'applications. Chaque concept y est introduit et expliqué pas à pas de manière didactique, les outils mathématiques indispensables étant intégrés de façon accessible et intuitive. Les systèmes et signaux analogiques sont d'abord utilisés pour établir les bases de l'analyse du signal. Puis les traitements des signaux numériques sont exposés dans une deuxième partie, en montrant leurs avantages déterminants. La troisième partie est consacrée aux signaux aléatoires, à l'estimation spectrale et à la modélisation paramétrique. Pour le traitement des signaux certains, sont développés les séries et les transformations de Fourier analogiques et numériques, les transformations de Laplace, de Hilbert, en z, les filtrages analogique et numérique. Sont en outre exposés les transformations en ondelettes, l'analyse multirésolution, le filtrage inverse, la déconvolution, le cepstrum complexe et la modélisation paramétrique, Ces méthodes sont ensuite étendues pour le traitement des signaux aléatoires. A l'heure d'Internet et de l'océan d'informations qu'il fournit (souvent excellentes, mais parcellaires), ce livre apporte une compréhension théorique solide. Il permet d'accéder à la maîtrise des applications les plus récentes dans des domaines aussi variés que l'analyse acoustique, la géophysique ou la compression de données. Note de contenu : Sommaire NOTIONS SUR LES SYSTEMES SYSTEMES DU PREMIER ET DU SECOND DEGRE SERIES DE FOURIER LA DISTRIBUTION DE DIRAC TRANSFORMATION DE FOURIER TRANSFORMATION DE FOURIER ET FILTRAGE PAR UN SYSTEME LIT CALCULS DE TRANSFORMEES DE FOURIER ET CONVOLUTIONS REPONSE IMPULSIONNELLE D'UN SYSTEME LIT TRANSFORMATION DE LAPLACE FILTRES ANALOGIQUES Côte titre : Fs/12038-12039,Fs/12605,Fs/13755-13757 Analyse des signaux analogiques et numériques : Théorie du signal : des bases aux application ; cours et exercices corrigés [texte imprimé] / Frédéric Cohen-Tenoudji, Auteur . - Paris : Ellipses, 2012 . - 1 vol. (391 p.) : ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955) . ISBN : 978-2-7298-7536-7 978-2-7298-7536-7 Langues : Français (fre) Catégories : Physique Mots-clés : Traitement du signal : Problèmes et exercices Traitement du signal : Techniques numériques Signal Théorie du (télécommunications) Index. décimale : 621.3 - Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé : Le livre expose l'architecture de la théorie du signal et fournit les outils d'applications. Chaque concept y est introduit et expliqué pas à pas de manière didactique, les outils mathématiques indispensables étant intégrés de façon accessible et intuitive. Les systèmes et signaux analogiques sont d'abord utilisés pour établir les bases de l'analyse du signal. Puis les traitements des signaux numériques sont exposés dans une deuxième partie, en montrant leurs avantages déterminants. La troisième partie est consacrée aux signaux aléatoires, à l'estimation spectrale et à la modélisation paramétrique. Pour le traitement des signaux certains, sont développés les séries et les transformations de Fourier analogiques et numériques, les transformations de Laplace, de Hilbert, en z, les filtrages analogique et numérique. Sont en outre exposés les transformations en ondelettes, l'analyse multirésolution, le filtrage inverse, la déconvolution, le cepstrum complexe et la modélisation paramétrique, Ces méthodes sont ensuite étendues pour le traitement des signaux aléatoires. A l'heure d'Internet et de l'océan d'informations qu'il fournit (souvent excellentes, mais parcellaires), ce livre apporte une compréhension théorique solide. Il permet d'accéder à la maîtrise des applications les plus récentes dans des domaines aussi variés que l'analyse acoustique, la géophysique ou la compression de données. Note de contenu : Sommaire NOTIONS SUR LES SYSTEMES SYSTEMES DU PREMIER ET DU SECOND DEGRE SERIES DE FOURIER LA DISTRIBUTION DE DIRAC TRANSFORMATION DE FOURIER TRANSFORMATION DE FOURIER ET FILTRAGE PAR UN SYSTEME LIT CALCULS DE TRANSFORMEES DE FOURIER ET CONVOLUTIONS REPONSE IMPULSIONNELLE D'UN SYSTEME LIT TRANSFORMATION DE LAPLACE FILTRES ANALOGIQUES Côte titre : Fs/12038-12039,Fs/12605,Fs/13755-13757

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/12038	Fs/12038 -12039	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12039	Fs/12038 -12039	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12605	Fs/12605	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13755	Fs/13755-13757	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13756	Fs/13755-13757	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13757	Fs/13755-13757	livre	Bibliothéque des sciences	Français	Disponible Disponible

Analyse syntaxique et traduction / Ali Aït el- Hadj

Public ISBD Titre : Analyse syntaxique et traduction : Outils et techniques ; Cours et exercices résolus Type de document : texte imprimé Auteurs : Ali Aït el- Hadj, Auteur Editeur : Paris : Ellipses Année de publication : 2015 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 1 vol. (348 p.) Présentation : ill., couv. ill. en coul. Format : 26 cm ISBN/ISSN/EAN : 978-2-340-00555-6 Note générale : 978-2-340-00555-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Langages de programmation : Syntaxe Compilation (informatique) Langages formels Machines séquentielles, Théorie des Expressions rationnelles Index. décimale : 005.4 Programmation informatique et des systèmes Résumé : L'ouvrage couvre l'essentiel des connaissances théoriques et pratiques indispensables pour comprendre ce qu'il y a derrière les compilateurs et les traducteurs. Les trois premiers chapitres sont entièrement consacrés aux techniques et outils issus de la théorie des langages, avec successivement : un rappel nécessaire pour entrer dans l'ambiance des langages formels, une sensibilisation à l'intérêt des automates finis et des expressions régulières, une présentation des grammaires à contexte libre et des automates à pile, ainsi que leurs variantes : les graphes syntaxiques et les réseaux d'automates. Tous les autres chapitres sont ensuite dédiés aux techniques d'analyse et de traduction avec successivement : une introduction à la compilation, l'analyse lexicale, phase initiale de tout système traducteur, l'analyse syntaxique qui est la deuxième phase de compilation, la phase finale du processus de compilation. Fruit de plusieurs années d'enseignement des modules de compilation et de théorie des langages le livre est facile à lire. De nombreux exemples illustratifs sont présentés pour clarifier et compléter les définitions des nouveaux concepts introduits. Enfin des exercices d'application sont proposés avec leurs corrigés. Note de contenu : Sommaire P. 1. Avant-propos P. 3. Chapitre 1 Rappels sur les langages formels P. 3. 1 Définitions préliminaires P. 5. 2 Langages et grammaires P. 18. 3 Transformations des grammaires hors contexte P. 27. 4 Exercices P. 33. Chapitre 2 Langages réguliers P. 33. 1 Grammaire régulière P. 34. 2 Automates d'états finis P. 49. 3 Expressions régulières P. 51. 4 Automates finis, grammaires et expressions régulières P. 60. 5 Exercices P. 77. Chapitre 3 Grammaires hors contexte et automates à pile P. 77. 1 Grammaires de type 2 et leurs différentes notations P. 83. 2 Automate à pile P. 95. 3 Automate à pile étendu P. 100. 4 Automate à pile fondé sur un réseau d'automates finis P. 109. 5 Transducteur à pile P. 114. 6 Exercices P. 124. Chapitre 4 Introduction à la compilation P. 124. 1 Introduction P. 126. 2 Variantes de compilateurs P. 128. 3 Contexte du compilateur P. 138. 4 Regroupement des différentes phases d'un compilateur P. 139. 5 Compilation et interprétation, quelles différences ? P. 143. 6 Outils d'aide à la construction de compilateurs P. 144. 7 Notions fondamentales d'analyse et de traduction P. 156. Chapitre 5 Analyse lexicale P. 156. 1 Introduction P. 159. 2 Différents modes de travail d'un analyseur lexical P. 160. 3 Unités lexicales, modèles et lexèmes P. 161. 4 Classes de lexèmes P. 167. 5 Technique de bufferisation P. 169. 6 Modèles de spécification P. 172. 7 Reconnaissance des entités lexicales P. 192. 8 Génération automatique d'analyseurs lexicaux P. 208. 9 Table des symboles P. 221. 10 Traitement des erreurs lexicales P. 223. Chapitre 6 Analyse syntaxique P. 223. 1 Introduction P. 226. 2 Eléments théoriques de base P. 241. 3 Quelques méthodes d'analyse syntaxique déterministe P. 276. 4 Traitement des erreurs syntaxiques P. 284. 5 Table des symboles vue par l'analyse syntaxique P. 286. 6 Exercice récapitulatif P. 289. Chapitre 7 Traduction P. 289. 1 Introduction P. 290. 2 Formes intermédiaires P. 324. 3 Génération de code machine cible P. 335. Conclusion P. 336. Bibliographie P. 337. Table des figures P. 341. Liste des tableaux P. 344. Index   Côte titre : Fs/16251-16255 Analyse syntaxique et traduction : Outils et techniques ; Cours et exercices résolus [texte imprimé] / Ali Aït el- Hadj, Auteur . - Paris : Ellipses, 2015 . - 1 vol. (348 p.) : ill., couv. ill. en coul. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955) . ISBN : 978-2-340-00555-6 978-2-340-00555-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Langages de programmation : Syntaxe Compilation (informatique) Langages formels Machines séquentielles, Théorie des Expressions rationnelles Index. décimale : 005.4 Programmation informatique et des systèmes Résumé : L'ouvrage couvre l'essentiel des connaissances théoriques et pratiques indispensables pour comprendre ce qu'il y a derrière les compilateurs et les traducteurs. Les trois premiers chapitres sont entièrement consacrés aux techniques et outils issus de la théorie des langages, avec successivement : un rappel nécessaire pour entrer dans l'ambiance des langages formels, une sensibilisation à l'intérêt des automates finis et des expressions régulières, une présentation des grammaires à contexte libre et des automates à pile, ainsi que leurs variantes : les graphes syntaxiques et les réseaux d'automates. Tous les autres chapitres sont ensuite dédiés aux techniques d'analyse et de traduction avec successivement : une introduction à la compilation, l'analyse lexicale, phase initiale de tout système traducteur, l'analyse syntaxique qui est la deuxième phase de compilation, la phase finale du processus de compilation. Fruit de plusieurs années d'enseignement des modules de compilation et de théorie des langages le livre est facile à lire. De nombreux exemples illustratifs sont présentés pour clarifier et compléter les définitions des nouveaux concepts introduits. Enfin des exercices d'application sont proposés avec leurs corrigés. Note de contenu : Sommaire P. 1. Avant-propos P. 3. Chapitre 1 Rappels sur les langages formels P. 3. 1 Définitions préliminaires P. 5. 2 Langages et grammaires P. 18. 3 Transformations des grammaires hors contexte P. 27. 4 Exercices P. 33. Chapitre 2 Langages réguliers P. 33. 1 Grammaire régulière P. 34. 2 Automates d'états finis P. 49. 3 Expressions régulières P. 51. 4 Automates finis, grammaires et expressions régulières P. 60. 5 Exercices P. 77. Chapitre 3 Grammaires hors contexte et automates à pile P. 77. 1 Grammaires de type 2 et leurs différentes notations P. 83. 2 Automate à pile P. 95. 3 Automate à pile étendu P. 100. 4 Automate à pile fondé sur un réseau d'automates finis P. 109. 5 Transducteur à pile P. 114. 6 Exercices P. 124. Chapitre 4 Introduction à la compilation P. 124. 1 Introduction P. 126. 2 Variantes de compilateurs P. 128. 3 Contexte du compilateur P. 138. 4 Regroupement des différentes phases d'un compilateur P. 139. 5 Compilation et interprétation, quelles différences ? P. 143. 6 Outils d'aide à la construction de compilateurs P. 144. 7 Notions fondamentales d'analyse et de traduction P. 156. Chapitre 5 Analyse lexicale P. 156. 1 Introduction P. 159. 2 Différents modes de travail d'un analyseur lexical P. 160. 3 Unités lexicales, modèles et lexèmes P. 161. 4 Classes de lexèmes P. 167. 5 Technique de bufferisation P. 169. 6 Modèles de spécification P. 172. 7 Reconnaissance des entités lexicales P. 192. 8 Génération automatique d'analyseurs lexicaux P. 208. 9 Table des symboles P. 221. 10 Traitement des erreurs lexicales P. 223. Chapitre 6 Analyse syntaxique P. 223. 1 Introduction P. 226. 2 Eléments théoriques de base P. 241. 3 Quelques méthodes d'analyse syntaxique déterministe P. 276. 4 Traitement des erreurs syntaxiques P. 284. 5 Table des symboles vue par l'analyse syntaxique P. 286. 6 Exercice récapitulatif P. 289. Chapitre 7 Traduction P. 289. 1 Introduction P. 290. 2 Formes intermédiaires P. 324. 3 Génération de code machine cible P. 335. Conclusion P. 336. Bibliographie P. 337. Table des figures P. 341. Liste des tableaux P. 344. Index   Côte titre : Fs/16251-16255

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/16251	Fs/16251-16255	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16252	Fs/16251-16255	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16253	Fs/16251-16255	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16254	Fs/16251-16255	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16255	Fs/16251-16255	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Analyse et traitement du signal / Gaillard, Paul

Permalink

Annales BTS Chimiste. Chimie Organique / Ludovic Lebart

Permalink

Approximation numérique avec MATLAB / Jonas Koko

Permalink

Assimiler la chimie organique / Lassalle, Alain

Permalink

Astronautique. Mécanique spatiale / Bovet, Lauren

Permalink

Bases de données NoSQL et big data / Philippe Lacomme

Permalink

Bien commencer en chimie / Castel, Olivier

Permalink

Chimie. Les équilibres en solution / Jean-Maxime Nigretto

Permalink

Chimie organique / Daniel Sparfel

Permalink

Chimie organique / Daniel Sparfel

Permalink

---

1 2 3 4 5 (1 - 15 / 71) Par page : 25 50 Tout afficher