BIBLIOTHEQUE ST
Détail de l'éditeur
|
Documents disponibles chez cet éditeur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Dowek, Gilles, Editeur : Palaiseau : Ecole polytechnique Année de publication : 2006 Importance : 107p Présentation : couv.ill.ind.bib Format : 24x17 cm ISBN/ISSN/EAN : 978-2-7302-1333-2 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique 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 : "Sommaire
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"
Introduction à la théorie des langages de programmation [texte imprimé] / Dowek, Gilles, . - Palaiseau : Ecole polytechnique, 2006 . - 107p : couv.ill.ind.bib ; 24x17 cm.
ISBN : 978-2-7302-1333-2
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique 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 : "Sommaire
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"
Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 13/201654 L/004.1144 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt 13/201655 L/004.1144 Livre Bibliothèque Science et Technologie indéterminé Disponible 13/201656 L/004.1144 Livre Bibliothèque Science et Technologie indéterminé Disponible
Titre : Microhydrodynamique et fluides complexes Type de document : texte imprimé Auteurs : Dominique Barthès-Biesel, Editeur : Palaiseau : Ecole polytechnique Année de publication : 2010 Collection : Mécanique Importance : 287p Présentation : couv.ill.fig.tab.bib.ann.ind Format : 24x17 cm ISBN/ISSN/EAN : 978-2-7302-1572-5 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 532 Mécanique des fluides Résumé :
L'ouvrage porte sur les écoulements complexes rencontrés dans diverses situations industrielles, biophysiques ou naturelles où le comportement visqueux newtonien ou non-newtonien du fluide joue un rôle essentiel. Ces cas se rencontrent quand l'échelle de l'écoulement est petite (lubrification, microfluidique, sus-pensions, milieux poreux) ou quand le fluide lui-même a un comportement complexe du fait du mouvement et de la déformation de sa microstructure (suspensions, émulsions, polymères). L'objectif de l'ouvrage est de présenter les phénomènes particuliers associés aux écoulements à bas nombre de Reynolds (réversibilité et difficulté de mélange) et de décliner leurs conséquences dans divers cas particuliers, comme les écoulements d'enduction, les films de lubrification, la prOffice des publications universitaireslsion des micro-organismes, les écoulements autour de particules solides ou déformables, les effets collectifs dans les suspensions et leurs conséquences sur le comportement global du fluide. Les méthodes de résolution numérique utilisées actuellement sont présentées et illustrées sur quelques exemples. On introduit également des notions sur les écoulements de fluides non-newtoniens. Chaque chapitre est illustré de nombreux exemples et complété d'exercices.
Note de contenu :
"Sommaire
Principes fondamentaux
Écoulements de Stokes
Écoulements de Stokes bi-dimensionnels
Écoulements de lubrification
Écoulements de films à surface libre
Mouvement d'une particule solide
Mouvement de bulles et gouttes
Solutions générales des équations de Stokes
Dynamique des suspensions
Correction O(Re) Ã la solution de Stokes"
Microhydrodynamique et fluides complexes [texte imprimé] / Dominique Barthès-Biesel, . - Palaiseau : Ecole polytechnique, 2010 . - 287p : couv.ill.fig.tab.bib.ann.ind ; 24x17 cm. - (Mécanique) .
ISBN : 978-2-7302-1572-5
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 532 Mécanique des fluides Résumé :
L'ouvrage porte sur les écoulements complexes rencontrés dans diverses situations industrielles, biophysiques ou naturelles où le comportement visqueux newtonien ou non-newtonien du fluide joue un rôle essentiel. Ces cas se rencontrent quand l'échelle de l'écoulement est petite (lubrification, microfluidique, sus-pensions, milieux poreux) ou quand le fluide lui-même a un comportement complexe du fait du mouvement et de la déformation de sa microstructure (suspensions, émulsions, polymères). L'objectif de l'ouvrage est de présenter les phénomènes particuliers associés aux écoulements à bas nombre de Reynolds (réversibilité et difficulté de mélange) et de décliner leurs conséquences dans divers cas particuliers, comme les écoulements d'enduction, les films de lubrification, la prOffice des publications universitaireslsion des micro-organismes, les écoulements autour de particules solides ou déformables, les effets collectifs dans les suspensions et leurs conséquences sur le comportement global du fluide. Les méthodes de résolution numérique utilisées actuellement sont présentées et illustrées sur quelques exemples. On introduit également des notions sur les écoulements de fluides non-newtoniens. Chaque chapitre est illustré de nombreux exemples et complété d'exercices.
Note de contenu :
"Sommaire
Principes fondamentaux
Écoulements de Stokes
Écoulements de Stokes bi-dimensionnels
Écoulements de lubrification
Écoulements de films à surface libre
Mouvement d'une particule solide
Mouvement de bulles et gouttes
Solutions générales des équations de Stokes
Dynamique des suspensions
Correction O(Re) Ã la solution de Stokes"
Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 13/201794 L/532.012 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt 13/201795 L/532.012 Livre Bibliothèque Science et Technologie indéterminé Disponible 13/201796 L/532.012 Livre Bibliothèque Science et Technologie indéterminé Disponible 13/201797 L/532.012 Livre Bibliothèque Science et Technologie indéterminé Disponible