BIBLIOTHEQUE ST
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 004
Affiner la recherche Interroger des sources externes
Introduction à la théorie des langages de programmation / Dowek, Gilles
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 Introduction au traitement d'images / Diane, lingrand
Titre : Introduction au traitement d'images Type de document : texte imprimé Auteurs : Diane, lingrand, Mention d'édition : 2 éd Editeur : Paris : Vuibert Année de publication : 2008 Importance : 224 p Présentation : couv ill,fig,tab,bib,index Format : 17x24 cm ISBN/ISSN/EAN : 978-2-7117-4866-2 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : Cet ouvrage est une introduction pragmatique au traitement d'images. Il passe en revue les algorithmes classiques de traitement d'images tout en les rapprochant d'applications concrètes. Il vise également à démystifier un certain nombre de techniques récentes dont les fondements théoriques sont complexes mais qui peuvent être abordées de façon simple (notamment les morphomathématiques). On présente d'abord la notion d'image, sa représentation et son stockage numériques. On s'intéresse également à la perception visuelle ainsi qu'à la représentation des couleurs. Les transformations de valeurs de pixels et les transformations géométriques sont ensuite abordées, puis la recherche de primitives (détection de contours et de régions, opérateurs morphomathématiques, contours déformables). Enfin, les principaux algorithmes de compression d'images fixes et animées sont présentés. Chaque notion ou technique est exposée de façon à ce qu'elle soit implémentable et que les résultats soient explicables. Le lecteur peut donc les mettre en pratique, en élaborant au fil du livre une application informatique de traitement d'images (transformations géométriques, détection de primitives, restauration d'image, compression, etc.). Cette nouvelle édition prend en compte les changements les plus récents survenus dans le domaine du traitement d'images (évolutions des algorithmes, normes et standards). Un hors-texte en couleurs présente les principaux résultats des techniques et algorithmes étudiés dans l'ouvrage.
Note de contenu : "Sommaire
Introduction au traitement d'images
Notions de perception visuelle
La couleur
Quantification, échantillonnage et reconstruction
Transformation géométriques 2D
Détection de contours
Opérateurs morphomathématiques
Détection de régions
Contours déformables
Restauration d'images
Compression
Réponses aux questions et exercices"
Introduction au traitement d'images [texte imprimé] / Diane, lingrand, . - 2 éd . - Paris : Vuibert, 2008 . - 224 p : couv ill,fig,tab,bib,index ; 17x24 cm.
ISBN : 978-2-7117-4866-2
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Résumé : Cet ouvrage est une introduction pragmatique au traitement d'images. Il passe en revue les algorithmes classiques de traitement d'images tout en les rapprochant d'applications concrètes. Il vise également à démystifier un certain nombre de techniques récentes dont les fondements théoriques sont complexes mais qui peuvent être abordées de façon simple (notamment les morphomathématiques). On présente d'abord la notion d'image, sa représentation et son stockage numériques. On s'intéresse également à la perception visuelle ainsi qu'à la représentation des couleurs. Les transformations de valeurs de pixels et les transformations géométriques sont ensuite abordées, puis la recherche de primitives (détection de contours et de régions, opérateurs morphomathématiques, contours déformables). Enfin, les principaux algorithmes de compression d'images fixes et animées sont présentés. Chaque notion ou technique est exposée de façon à ce qu'elle soit implémentable et que les résultats soient explicables. Le lecteur peut donc les mettre en pratique, en élaborant au fil du livre une application informatique de traitement d'images (transformations géométriques, détection de primitives, restauration d'image, compression, etc.). Cette nouvelle édition prend en compte les changements les plus récents survenus dans le domaine du traitement d'images (évolutions des algorithmes, normes et standards). Un hors-texte en couleurs présente les principaux résultats des techniques et algorithmes étudiés dans l'ouvrage.
Note de contenu : "Sommaire
Introduction au traitement d'images
Notions de perception visuelle
La couleur
Quantification, échantillonnage et reconstruction
Transformation géométriques 2D
Détection de contours
Opérateurs morphomathématiques
Détection de régions
Contours déformables
Restauration d'images
Compression
Réponses aux questions et exercices"
Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 14/224990 L/004.1057 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt 14/224991 L/004.1057 Livre Bibliothèque Science et Technologie indéterminé Disponible 14/224992 L/004.1057 Livre Bibliothèque Science et Technologie indéterminé Disponible 14/224993 L/004.1057 Livre Bibliothèque Science et Technologie indéterminé Disponible 14/224994 L/004.1057 Livre Bibliothèque Science et Technologie indéterminé Disponible Le langage SystemVerilog / Sébastien Moutault
Titre : Le langage SystemVerilog : Synthèse et vérification des circuits numériques complexes Type de document : texte imprimé Auteurs : Sébastien Moutault, Editeur : Paris : Dunod Année de publication : 2009 Importance : 291p Présentation : couv.il.img.fig.tab.bib.ind Format : 24×17 cm ISBN/ISSN/EAN : 978-2-10-051801-2 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : "SystemVerilog est l'un des langages de description des circuits numériques les plus récents (2005). Il est le premier langage qualifié de HDVL, pour Hardware Description and Verification Language. Il hérite à la fois des capacités de description de modules synthétisables et des facultés d'abstraction des langages objets qui permettent la vérification de systèmes complexes.
Le livre est organisé en quatre parties :
Une première exploration rapide permet de découvrir l'ensemble du langage.
La seconde partie présente la boite à outils dont se serviront les deux parties suivantes.
La troisième partie est consacrée à la construction de modules synthétisables et des tests unitaires qui sont indissociables de la conception de ces modules.
La dernière partie est consacrée à la mise en place d'un banc de vérification fondé sur la programmation objet. Elle amène le lecteur à comprendre les deux librairies de vérification les plus couramment rencontrées : VMM library (Verification Methodology Manual for SystemVerilog) et OVM library (Open Verification Methodology).
Les exemples du livre ont tous été testés en synthèse et/ou en simulation, suivant le cas. Ces exemples sont disponibles en téléchargement sur le site compagnon du livre : www.lelangagesystemverilog.net."
Note de contenu : "Sommaire
 Modélisation, synthèse et vérification : le même langage
 Structures et algorithmes
 Décrire le circuit
 Vers la vérification
"
Le langage SystemVerilog : Synthèse et vérification des circuits numériques complexes [texte imprimé] / Sébastien Moutault, . - Paris : Dunod, 2009 . - 291p : couv.il.img.fig.tab.bib.ind ; 24×17 cm.
ISBN : 978-2-10-051801-2
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Résumé : "SystemVerilog est l'un des langages de description des circuits numériques les plus récents (2005). Il est le premier langage qualifié de HDVL, pour Hardware Description and Verification Language. Il hérite à la fois des capacités de description de modules synthétisables et des facultés d'abstraction des langages objets qui permettent la vérification de systèmes complexes.
Le livre est organisé en quatre parties :
Une première exploration rapide permet de découvrir l'ensemble du langage.
La seconde partie présente la boite à outils dont se serviront les deux parties suivantes.
La troisième partie est consacrée à la construction de modules synthétisables et des tests unitaires qui sont indissociables de la conception de ces modules.
La dernière partie est consacrée à la mise en place d'un banc de vérification fondé sur la programmation objet. Elle amène le lecteur à comprendre les deux librairies de vérification les plus couramment rencontrées : VMM library (Verification Methodology Manual for SystemVerilog) et OVM library (Open Verification Methodology).
Les exemples du livre ont tous été testés en synthèse et/ou en simulation, suivant le cas. Ces exemples sont disponibles en téléchargement sur le site compagnon du livre : www.lelangagesystemverilog.net."
Note de contenu : "Sommaire
 Modélisation, synthèse et vérification : le même langage
 Structures et algorithmes
 Décrire le circuit
 Vers la vérification
"
Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 11/182442 L/004.1237 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt 11/182443 L/004.1237 Livre Bibliothèque Science et Technologie indéterminé Disponible 11/182444 L/004.1237 Livre Bibliothèque Science et Technologie indéterminé Disponible 11/182445 L/004.1237 Livre Bibliothèque Science et Technologie indéterminé Disponible Le multimédia et la compression / Paris, Stéphane
Titre : Le multimédia et la compression Type de document : texte imprimé Auteurs : Paris, Stéphane, Editeur : Paris : Lavoisier Année de publication : 2009 Importance : 208 p Présentation : couv. il. fig. img. tab. indexe Format : 23.5*15.5 cm ISBN/ISSN/EAN : 978-2-7462-2203-8 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : "Cet ouvrage propose un parcours initiatique au sein des théories et des techniques de compression à l'origine du multimédia actuel et futur.
Il présente en premier lieu les transformées de fonctions, elles amènent à considérer une fonction non seulement dans le domaine temporel ou spatial, mais également dans le domaine fréquentiel.
La numérisation et la compression des signaux sont ensuite expliquées. Les deux processus de compression, que sont la quantification et la codification, font référence à la théorie de l'information de Claude Shannon qui est aussi décrite.
Enfin, ce livre étudie les modèles de compression choisis pour les signaux sonores et visuels. Ces modèles autorisent des pertes d'information lorsque la perception humaine est peu sensible. Ils permettent également de conserver une relative grande précision lorsque cette perception le demande.
"
Note de contenu : "Sommaire
Introduction
Les transformées
Quelles transformées ?
La transformée de Fourier
Transformée de Fourier discrète
Les signaux 2D
Transformée en cosinus discrète
Localisation de l'information
Transformée en ondelettes continue
Séries d'ondelettes
L'analyse multirésolution
Un exemple : la transformée de Haar
Numérisation, quantification et codage
Numérisation
Théorie de l'information
Quantification
Codage
Prédictions
Synthèse
Perception
Les espaces de couleurs
Les propriétés de l'audio
Synthèse. Annexes"
Le multimédia et la compression [texte imprimé] / Paris, Stéphane, . - Paris : Lavoisier, 2009 . - 208 p : couv. il. fig. img. tab. indexe ; 23.5*15.5 cm.
ISBN : 978-2-7462-2203-8
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Résumé : "Cet ouvrage propose un parcours initiatique au sein des théories et des techniques de compression à l'origine du multimédia actuel et futur.
Il présente en premier lieu les transformées de fonctions, elles amènent à considérer une fonction non seulement dans le domaine temporel ou spatial, mais également dans le domaine fréquentiel.
La numérisation et la compression des signaux sont ensuite expliquées. Les deux processus de compression, que sont la quantification et la codification, font référence à la théorie de l'information de Claude Shannon qui est aussi décrite.
Enfin, ce livre étudie les modèles de compression choisis pour les signaux sonores et visuels. Ces modèles autorisent des pertes d'information lorsque la perception humaine est peu sensible. Ils permettent également de conserver une relative grande précision lorsque cette perception le demande.
"
Note de contenu : "Sommaire
Introduction
Les transformées
Quelles transformées ?
La transformée de Fourier
Transformée de Fourier discrète
Les signaux 2D
Transformée en cosinus discrète
Localisation de l'information
Transformée en ondelettes continue
Séries d'ondelettes
L'analyse multirésolution
Un exemple : la transformée de Haar
Numérisation, quantification et codage
Numérisation
Théorie de l'information
Quantification
Codage
Prédictions
Synthèse
Perception
Les espaces de couleurs
Les propriétés de l'audio
Synthèse. Annexes"
Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 12/196644 L/004.1166 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt 12/196645 L/004.1166 Livre Bibliothèque Science et Technologie indéterminé Disponible 12/196646 L/004.1166 Livre Bibliothèque Science et Technologie indéterminé Disponible Les outils multimédias du web : / Delengaigne, Xavier
Titre : Les outils multimédias du web : : communiquer efficacement sur le web Type de document : texte imprimé Auteurs : Delengaigne, Xavier, Auteur Mention d'édition : 2 éd Editeur : Paris : CFP Année de publication : 2015 Collection : Xavier Delengaigne, Fabrice Gontier Importance : 126 Présentation : "COUV.ILLI.FIG.IND.ANN.BIB" Format : 16 x23 cm ISBN/ISSN/EAN : 978-2-35307-028-2 Langues : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : "Traiter du texte, du son, de la vidéo, une carte, un diaporama, faire du MindMapping, travailler avec Facebook ou Twitter, sur un ordinateur ou sur un mobile : les auteurs de ce livre recensent les principaux outils multimédias du web. Ils encouragent également les lecteurs à réaliser une veille technologique sur le net pour découvrir de nouveaux services et de nouvelles manières de traiter l'information.
Cet ouvrage très pratique présente les outils et les services web. Il développe de manière pédagogique les étapes à suivre pour leur prise en main. Pour chaque outil, des exemples concrets et des études de cas montrent son utilisation dans des rédactions, par des journalistes de la presse régionale, nationale ou internationale.
Ce livre indispensable s'adresse aux journalistes et aux communicants qui, en phase avec la révolution numérique, veulent s'approprier les outils du web pour recueillir et traiter l'information ou communiquer en utilisant les ressources multimédias.
"
Note de contenu : "Sommaire
Blog et microblogging
Le diaporama multimédia
Mettre en scène l'information
Son, photo et vidéo
L'info à la carte
Le mind mapping, l'outil magique du journaliste multimédia
Annexes (Facebook, ex. d'intégration multimédia, FAQ juridique)"
Les outils multimédias du web : : communiquer efficacement sur le web [texte imprimé] / Delengaigne, Xavier, Auteur . - 2 éd . - [S.l.] : Paris : CFP, 2015 . - 126 : "COUV.ILLI.FIG.IND.ANN.BIB" ; 16 x23 cm. - (Xavier Delengaigne, Fabrice Gontier) .
ISBN : 978-2-35307-028-2
Langues : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Résumé : "Traiter du texte, du son, de la vidéo, une carte, un diaporama, faire du MindMapping, travailler avec Facebook ou Twitter, sur un ordinateur ou sur un mobile : les auteurs de ce livre recensent les principaux outils multimédias du web. Ils encouragent également les lecteurs à réaliser une veille technologique sur le net pour découvrir de nouveaux services et de nouvelles manières de traiter l'information.
Cet ouvrage très pratique présente les outils et les services web. Il développe de manière pédagogique les étapes à suivre pour leur prise en main. Pour chaque outil, des exemples concrets et des études de cas montrent son utilisation dans des rédactions, par des journalistes de la presse régionale, nationale ou internationale.
Ce livre indispensable s'adresse aux journalistes et aux communicants qui, en phase avec la révolution numérique, veulent s'approprier les outils du web pour recueillir et traiter l'information ou communiquer en utilisant les ressources multimédias.
"
Note de contenu : "Sommaire
Blog et microblogging
Le diaporama multimédia
Mettre en scène l'information
Son, photo et vidéo
L'info à la carte
Le mind mapping, l'outil magique du journaliste multimédia
Annexes (Facebook, ex. d'intégration multimédia, FAQ juridique)"
Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 18/299677 L/004.1371 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt 18/299678 L/004.1371 Livre Bibliothèque Science et Technologie indéterminé Disponible 18/299679 L/004.1371 Livre Bibliothèque Science et Technologie indéterminé Disponible 18/299680 L/004.1371 Livre Bibliothèque Science et Technologie indéterminé Disponible 18/299681 L/004.1371 Livre Bibliothèque Science et Technologie indéterminé Disponible Les réseaux / Pujolle, Guy
PermalinkLes réseaux / Dordoigne, José
PermalinkLes réseaux avec Cisco / Legrand, Romain
PermalinkLes Réseaux édition 2011 / Guy Pujolle
PermalinkLes réseaux de neurones / Borne, Pierre
PermalinkLes techniques multi-antennes pour les réseaux sans fil / Guguen, Philippe
PermalinkThéorie et pratique du langage Pascal / Nebut, Jean-Louis
PermalinkTraitement de l'image et de la vidéo / Belaroussi, Rachid
PermalinkUnix & Linux / Jean-Michel Léry
Permalink