BIBLIOTHEQUE MISM
Détail de l'éditeur
Documents disponibles chez cet éditeur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Titre : Compilation des langages de programmation : Ce que fait un compilateur comment le realiser Type de document : texte imprimé Auteurs : Martine Gautier, Auteur Editeur : Ellipses Année de publication : 2006 Collection : TECHNOSUP Importance : 317p Format : 26x17.5 cm ISBN/ISSN/EAN : 978-2-7298-2620-8 Note générale : Sommaire
Langages impératifs
Structures et tableaux
Langages à objets
Réaliser un compilateur
Du texte source à l'arbre abstrait et à la table des symboles
Contrôler l'arbre abstrait
De l'arbre abstrait au texte cibleLangues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : En démystifiant la compilation, l'ouvrage amène le lecteur à comprendre le fonctionnement d'un compilateur, par une pédagogie active utilisant des exemples précis et concrets. Sans être exhaustif, il couvre l'ensemble du processus de compilation des programmes écrits en langages impératifs ou à objets.
La première partie étudie la syntaxe et la sémantique des constructions des langages de programmation usuels, pour répondre à la question : que fait un compilateur ? L'accent y est mis sur la définition de modèles de traduction pour des machines virtuelles Java ou des processeurs classiques.
La deuxième partie suit le développement d'un compilateur en Java pour répondre à la question : comment réaliser un compilateur ? Les bases théoriques sont d'abord rapidement posées. Puis, l'accent est mis sur les problèmes inhérents au développement d'une application d'une telle envergure, en intégrant des design patterns.
Accessible à tout utilisateur aguerri d'un langage évolué (impératif ou à objets), l'ouvrage lui permettra d'utiliser à bon escient les constructions de son langage favori et d'améliorer ses performances en programmation.Compilation des langages de programmation : Ce que fait un compilateur comment le realiser [texte imprimé] / Martine Gautier, Auteur . - [S.l.] : Ellipses, 2006 . - 317p ; 26x17.5 cm. - (TECHNOSUP) .
ISBN : 978-2-7298-2620-8
Sommaire
Langages impératifs
Structures et tableaux
Langages à objets
Réaliser un compilateur
Du texte source à l'arbre abstrait et à la table des symboles
Contrôler l'arbre abstrait
De l'arbre abstrait au texte cible
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Résumé : En démystifiant la compilation, l'ouvrage amène le lecteur à comprendre le fonctionnement d'un compilateur, par une pédagogie active utilisant des exemples précis et concrets. Sans être exhaustif, il couvre l'ensemble du processus de compilation des programmes écrits en langages impératifs ou à objets.
La première partie étudie la syntaxe et la sémantique des constructions des langages de programmation usuels, pour répondre à la question : que fait un compilateur ? L'accent y est mis sur la définition de modèles de traduction pour des machines virtuelles Java ou des processeurs classiques.
La deuxième partie suit le développement d'un compilateur en Java pour répondre à la question : comment réaliser un compilateur ? Les bases théoriques sont d'abord rapidement posées. Puis, l'accent est mis sur les problèmes inhérents au développement d'une application d'une telle envergure, en intégrant des design patterns.
Accessible à tout utilisateur aguerri d'un langage évolué (impératif ou à objets), l'ouvrage lui permettra d'utiliser à bon escient les constructions de son langage favori et d'améliorer ses performances en programmation.Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 08/136563 L/004.1049 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 08/136564 L/004.1049 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/136565 L/004.1049 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/136566 L/004.1049 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/156685 L/004.1049 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
Titre : Composants à semiconducteurs : De la physique du solide aux transistors Type de document : texte imprimé Auteurs : Olivier Bonnaud, Auteur Editeur : Ellipses Année de publication : 2006 Collection : TECHNOSUP Importance : 241p Format : 26x17.5 cm ISBN/ISSN/EAN : 978-2-7298-2804-2 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : composants à semiconducteurs Index. décimale : 530 Physique Résumé : Cours de base à Supélec, l'ouvrage enrichira les connaissances de tout étudiant, ingénieur ou enseignant en EEA, en expliquant clairement les principes et fonctionnement des composants microélectroniques, qui sont les briques constituantes des circuits intégrés et des cartes de tous les systèmes électroniques. Dans une première partie orientée physique du solide, et focalisée sur les matériaux semi-conducteurs, il expose les mécanismes de base de la conduction. Puis, dans une seconde partie orientée dispositifs, il décrit et explique le fonctionnement des principaux composants élémentaires de la microélectronique : diodes, transistors bipolaires, transistors MOS et à effet de champ à jonction... L'approche proposée de démarque des ouvrages classiques, en d&butant par une sensibilisation aux phénomènes physiques avant d'en établir le formalisme. De nombreux exemples, exercices et problèmes corrigés confortent l'aspect pratique de l'ouvrage. Note de contenu : sommaire
Eléments de cristallographie
Electrons dans un cristal
Notions de statistique. Système de particules
Introduction à la physique du semiconducteur
Phénomène de transport
Jonction PN - Diodes à jonction
Le transistor bipolaire
Le transistor à effet de champ à grille isolée. Transistor MOS
Le transistor à effet de champ à jonction : transistor JFET
La diode métal-semiconducteur : diode SchottkyComposants à semiconducteurs : De la physique du solide aux transistors [texte imprimé] / Olivier Bonnaud, Auteur . - [S.l.] : Ellipses, 2006 . - 241p ; 26x17.5 cm. - (TECHNOSUP) .
ISBN : 978-2-7298-2804-2
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : composants à semiconducteurs Index. décimale : 530 Physique Résumé : Cours de base à Supélec, l'ouvrage enrichira les connaissances de tout étudiant, ingénieur ou enseignant en EEA, en expliquant clairement les principes et fonctionnement des composants microélectroniques, qui sont les briques constituantes des circuits intégrés et des cartes de tous les systèmes électroniques. Dans une première partie orientée physique du solide, et focalisée sur les matériaux semi-conducteurs, il expose les mécanismes de base de la conduction. Puis, dans une seconde partie orientée dispositifs, il décrit et explique le fonctionnement des principaux composants élémentaires de la microélectronique : diodes, transistors bipolaires, transistors MOS et à effet de champ à jonction... L'approche proposée de démarque des ouvrages classiques, en d&butant par une sensibilisation aux phénomènes physiques avant d'en établir le formalisme. De nombreux exemples, exercices et problèmes corrigés confortent l'aspect pratique de l'ouvrage. Note de contenu : sommaire
Eléments de cristallographie
Electrons dans un cristal
Notions de statistique. Système de particules
Introduction à la physique du semiconducteur
Phénomène de transport
Jonction PN - Diodes à jonction
Le transistor bipolaire
Le transistor à effet de champ à grille isolée. Transistor MOS
Le transistor à effet de champ à jonction : transistor JFET
La diode métal-semiconducteur : diode SchottkyRéservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité 08/129508 L/530.438 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 08/133808 L/530.438 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/133809 L/530.438 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/133810 L/530.438 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/133811 L/530.438 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/133812 L/530.438 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
Titre : Cours de chimie générale Type de document : texte imprimé Auteurs : Gérard Dupont, Auteur Editeur : Ellipses Année de publication : 1989 Importance : 318 p Format : 24x18 cm ISBN/ISSN/EAN : 978-2-7298-8965-4 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : chimie, chimie générale Index. décimale : 540 Chimie et sciences connexes Note de contenu : Sommaire:
1- Atomes molécules
2- Le milieu cristallin
3- Acides-bases (bronsted)
4- Complexes
5- Dissolution: précipitation de composés peu solubles
6- Oxydo-réduction
7- Cinétique chimiqueCours de chimie générale [texte imprimé] / Gérard Dupont, Auteur . - [S.l.] : Ellipses, 1989 . - 318 p ; 24x18 cm.
ISBN : 978-2-7298-8965-4
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : chimie, chimie générale Index. décimale : 540 Chimie et sciences connexes Note de contenu : Sommaire:
1- Atomes molécules
2- Le milieu cristallin
3- Acides-bases (bronsted)
4- Complexes
5- Dissolution: précipitation de composés peu solubles
6- Oxydo-réduction
7- Cinétique chimiqueExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 98/56340 L/540.453 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt
Titre : Fatigue des structures : endurance, critères de dimensionnement, propagation des fissures, rupture Type de document : texte imprimé Auteurs : Hénaff, Gilbert, Auteur Editeur : Ellipses Année de publication : 2005 Importance : 276p Format : 26x17.5cm ISBN/ISSN/EAN : 978-2-7298-2322-1 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 531 Mécanique classique, mécanique du solide Résumé : Pour prendre en compte la fatigue, cause fréquente de ruine des structures en service, la difficulté est de sélectionner le critère le plus pertinent. Cet ouvrage présente à cet effet les principes et les outils de dimensionnement en fatigue utilisés aujourd'hui. La démarche repose sur l'analyse des relations entre description macroscopique de l'endommagement et processus à l'échelle de la microstructure. Un accent particulier est mis sur les développements récents du dimensionnement en durée de vie sûre sous chargement complexe (multiaxial et/ou d'amplitude variable), ainsi que sur le concept de tolérance aux dommages. Des problèmes d'application couvrant les différentes approches abordées complètent un ouvrage moderne et pédagogique qui s'adresse aux étudiants des écoles d'ingénieurs ou des masters et qui sera utile aux ingénieurs de bureau d'étude. Fatigue des structures : endurance, critères de dimensionnement, propagation des fissures, rupture [texte imprimé] / Hénaff, Gilbert, Auteur . - [S.l.] : Ellipses, 2005 . - 276p ; 26x17.5cm.
ISBN : 978-2-7298-2322-1
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 531 Mécanique classique, mécanique du solide Résumé : Pour prendre en compte la fatigue, cause fréquente de ruine des structures en service, la difficulté est de sélectionner le critère le plus pertinent. Cet ouvrage présente à cet effet les principes et les outils de dimensionnement en fatigue utilisés aujourd'hui. La démarche repose sur l'analyse des relations entre description macroscopique de l'endommagement et processus à l'échelle de la microstructure. Un accent particulier est mis sur les développements récents du dimensionnement en durée de vie sûre sous chargement complexe (multiaxial et/ou d'amplitude variable), ainsi que sur le concept de tolérance aux dommages. Des problèmes d'application couvrant les différentes approches abordées complètent un ouvrage moderne et pédagogique qui s'adresse aux étudiants des écoles d'ingénieurs ou des masters et qui sera utile aux ingénieurs de bureau d'étude. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 14/233912 L/531.574 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 14/233913 L/531.574 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 14/233914 L/531.574 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 14/233915 L/531.574 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 14/233916 L/531.574 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
Titre : Génie logiciel Exercices corrigés en langage Z : les spécifications formellespar l'exemple Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain VAILLY, Auteur Editeur : Ellipses Année de publication : 2004 Collection : TECHNOSUP Importance : 243p Format : 26x18 cm ISBN/ISSN/EAN : 978-2-7298-1942-2 Note générale : Sommaire
Le langage Z
La spécification avec Z
La spécification avec Z : la facturation de commandes
Des compléments pour la modélisation avec ZLangues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations. Il est constitué de plus de 80 exercices corrigés et commentés, regroupes en quatre chapitres : le premier chapitre est consacré à l'apprentissage du langage et de la notation ; le deuxième illustre la spécification avec Z (qu'il s'agisse d'écriture de spécifications, de preuves ou de raffinage) ; le troisième met en évidence l'évolutivité des spécifications Z en reprenant certains exercices et en proposant des variations ; le dernier s'inscrit dans l'application concrète de Z pour le développement du logiciel (en montrant par exemple comment intégrer des modèles E-A-P de Merise avec des spécifications Z) ; Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles. Génie logiciel Exercices corrigés en langage Z : les spécifications formellespar l'exemple [texte imprimé] / Pascal André, Auteur ; Alain VAILLY, Auteur . - [S.l.] : Ellipses, 2004 . - 243p ; 26x18 cm. - (TECHNOSUP) .
ISBN : 978-2-7298-1942-2
Sommaire
Le langage Z
La spécification avec Z
La spécification avec Z : la facturation de commandes
Des compléments pour la modélisation avec Z
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Résumé : Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations. Il est constitué de plus de 80 exercices corrigés et commentés, regroupes en quatre chapitres : le premier chapitre est consacré à l'apprentissage du langage et de la notation ; le deuxième illustre la spécification avec Z (qu'il s'agisse d'écriture de spécifications, de preuves ou de raffinage) ; le troisième met en évidence l'évolutivité des spécifications Z en reprenant certains exercices et en proposant des variations ; le dernier s'inscrit dans l'application concrète de Z pour le développement du logiciel (en montrant par exemple comment intégrer des modèles E-A-P de Merise avec des spécifications Z) ; Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 09/155873 L/004.1143 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155874 L/004.1143 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155875 L/004.1143 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink