Architecture des ordinateurs / Philippe Darche

Public ISBD Titre : Architecture des ordinateurs : logique booléenne ; implémentations et technologies Type de document : texte imprimé Auteurs : Philippe Darche, Auteur Editeur : Paris : Vuibert informatique Année de publication : 2004 Collection : Passeport pour l'informatique Importance : 284 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7117-4821-1 Langues : Français Catégories : INFORMATIQUE:004.2.Architecture des ordinateurs Mots-clés : Architecture des ordinateurs  Logique informatique  Structure logique Résumé : Cet ouvrage est consacré à l'implémentation matérielle de la logique booléenne. Après avoir passé en revue les différentes possibilités d'implémentation, une première partie présente les familles classiques électroniques, bipolaires et unipolaires, dont les chefs de file sont respectivement les logiques TTL (transistor transistor logic) et CMOS (complementary metal oxide semiconductor). Les nouvelles familles mixtes BiCMOS (Bipolar CMOS) et basse-tension sont ensuite étudiées. La deuxième partie porte sur les aspects technologiques. Les notions de base des normes graphiques IEEE Std 91-1984 et Std 91a-1991, la manière de lire une feuille de caractéristiques d'un circuit logique et l'aspect " encapsulation " des puces électroniques y sont d'abord abordés. Certains opérateurs comme les tampons électroniques (buffer), le trigger de Schmitt, le translateur de niveau ou les opérateurs câblés sont étudiés. Cette partie a aussi pour objet de mieux cerner les problèmes de la logique rapide (latch-up, métastabilité, éléments parasites, adaptation d'impédance, alimentations électriques et méthodes d'interfaçage). La dernière partie présente la nouvelle offre technologique en matière de bibliothèques d'opérateurs : la logique programmable. Ce composant " idéal " a pris une place prépondérante dans le développement des systèmes logiques et numériques. Les architectures des PLD simples (SPLD), complexes (CPLD) et celle des FPGA, sont présentées, ainsi que la chaîne de développement et les critères de choix. Architecture des ordinateurs : logique booléenne ; implémentations et technologies [texte imprimé] / Philippe Darche, Auteur . - Paris : Éditions Vuibert, 2004 . - 284 p. : ill., couv. ill. en coul. ; 24 cm.. - (Passeport pour l'informatique) . ISBN : 978-2-7117-4821-1 Langues : Français Catégories : INFORMATIQUE:004.2.Architecture des ordinateurs Mots-clés : Architecture des ordinateurs  Logique informatique  Structure logique Résumé : Cet ouvrage est consacré à l'implémentation matérielle de la logique booléenne. Après avoir passé en revue les différentes possibilités d'implémentation, une première partie présente les familles classiques électroniques, bipolaires et unipolaires, dont les chefs de file sont respectivement les logiques TTL (transistor transistor logic) et CMOS (complementary metal oxide semiconductor). Les nouvelles familles mixtes BiCMOS (Bipolar CMOS) et basse-tension sont ensuite étudiées. La deuxième partie porte sur les aspects technologiques. Les notions de base des normes graphiques IEEE Std 91-1984 et Std 91a-1991, la manière de lire une feuille de caractéristiques d'un circuit logique et l'aspect " encapsulation " des puces électroniques y sont d'abord abordés. Certains opérateurs comme les tampons électroniques (buffer), le trigger de Schmitt, le translateur de niveau ou les opérateurs câblés sont étudiés. Cette partie a aussi pour objet de mieux cerner les problèmes de la logique rapide (latch-up, métastabilité, éléments parasites, adaptation d'impédance, alimentations électriques et méthodes d'interfaçage). La dernière partie présente la nouvelle offre technologique en matière de bibliothèques d'opérateurs : la logique programmable. Ce composant " idéal " a pris une place prépondérante dans le développement des systèmes logiques et numériques. Les architectures des PLD simples (SPLD), complexes (CPLD) et celle des FPGA, sont présentées, ainsi que la chaîne de développement et les critères de choix.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
004.2.24-1	004.2.24-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
004.2-20-1	004.2-20-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
004.2-20-2	004.2-20-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

Architecture des ordinateurs / John L. Hennessy

Public ISBD Titre : Architecture des ordinateurs : une approche quantitative Type de document : texte imprimé Auteurs : John L. Hennessy, Auteur ; David A. Patterson, Auteur Mention d'édition : 2e éd. Editeur : Paris : Vuibert informatique Année de publication : 2003 Importance : XXIX-1010 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-84180-022-3 Note générale : MK = Morgan Kaufmann publ.. - Bibliogr. p. 989-1002. Index Langues : Français Langues originales : Anglais Catégories : INFORMATIQUE:004.2.Architecture des ordinateurs Mots-clés : Architecture des ordinateurs Résumé : Cet ouvrage, considéré comme essentiel pour les étudiants et les concepteurs d'ordinateurs depuis plus de dix ans, a été mis à jour afin de refléter l'évolution de l'informatique moderne. Dans cette édition, les auteurs appliquent leur méthode d'analyse quantitative non seulement à la conception d'ordinateurs de bureau haute performance, mais également aux systèmes enfouis et aux serveurs. Leur réflexion est illustrée par des exemples tirés de différents domaines, des produits électroniques grand public (téléphonie mobile, multimédia, etc.) jusqu'aux machines haut de gamme. Hennessy et Patterson mettent l'accent sur les techniques fondamentales de conception de machines réelles et de maximisation de leur ratio coût/performance. Toute personne impliquée dans la réalisation d'ordinateurs bénéficiera de l'expertise offerte dans cette nouvelle édition. De nombreux exemples d'architecture moderne sont exposés : les processeurs Pentium III, Pentium 4 et UItraSPARC III ; l'architecture IA-64 et sa première implémentation, l'Itanium ; la console de jeu Sony PlayStation 2 ; le processeur multimédia TriMedia TM32 ; le cluster du moteur de recherche Google. Des analyses détaillées couvrent des problématiques actuelles : multithreading, parallélisme d'instructions, architectures VLIW, hiérarchie de mémoire, technologies de stockage et réseau. Architecture des ordinateurs : une approche quantitative [texte imprimé] / John L. Hennessy, Auteur ; David A. Patterson, Auteur  . -  2e éd. . - Paris : Vuibert informatique, 2003 . - XXIX-1010 p. : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-84180-022-3 MK = Morgan Kaufmann publ.. - Bibliogr. p. 989-1002. Index Langues : Français Langues originales : Anglais Catégories : INFORMATIQUE:004.2.Architecture des ordinateurs Mots-clés : Architecture des ordinateurs Résumé : Cet ouvrage, considéré comme essentiel pour les étudiants et les concepteurs d'ordinateurs depuis plus de dix ans, a été mis à jour afin de refléter l'évolution de l'informatique moderne. Dans cette édition, les auteurs appliquent leur méthode d'analyse quantitative non seulement à la conception d'ordinateurs de bureau haute performance, mais également aux systèmes enfouis et aux serveurs. Leur réflexion est illustrée par des exemples tirés de différents domaines, des produits électroniques grand public (téléphonie mobile, multimédia, etc.) jusqu'aux machines haut de gamme. Hennessy et Patterson mettent l'accent sur les techniques fondamentales de conception de machines réelles et de maximisation de leur ratio coût/performance. Toute personne impliquée dans la réalisation d'ordinateurs bénéficiera de l'expertise offerte dans cette nouvelle édition. De nombreux exemples d'architecture moderne sont exposés : les processeurs Pentium III, Pentium 4 et UItraSPARC III ; l'architecture IA-64 et sa première implémentation, l'Itanium ; la console de jeu Sony PlayStation 2 ; le processeur multimédia TriMedia TM32 ; le cluster du moteur de recherche Google. Des analyses détaillées couvrent des problématiques actuelles : multithreading, parallélisme d'instructions, architectures VLIW, hiérarchie de mémoire, technologies de stockage et réseau.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
004.2.18-1	004.2.18-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
004.2-15-1	004.2-15-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
004.2-15-2	004.2-15-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

Éléments de théorie des automates / Jacques Sakarovitch

Public ISBD Titre : Éléments de théorie des automates Type de document : texte imprimé Auteurs : Jacques Sakarovitch, Auteur Editeur : Paris : Vuibert informatique Année de publication : 2003 Collection : Les classiques de l'informatique Importance : 816 p Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-7117-4807-5 Langues : Français Mots-clés : Machines séquentielles  Algorithmes  Théorie des  Langages formels Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage. Éléments de théorie des automates [texte imprimé] / Jacques Sakarovitch, Auteur . - Paris : Vuibert informatique, 2003 . - 816 p : ill., couv. ill. en coul. ; 25 cm. - (Les classiques de l'informatique) . ISBN : 978-2-7117-4807-5 Langues : Français Mots-clés : Machines séquentielles  Algorithmes  Théorie des  Langages formels Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
004.1.12-1	004.1.12-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
005.1-65-1	005.1-65-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.1-65-2	005.1-65-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

Ateliers Mathematica / Robert Erra

Public ISBD Titre : Ateliers Mathematica Type de document : texte imprimé Auteurs : Robert Erra, Auteur Editeur : Paris : Vuibert informatique Année de publication : 2003 Importance : 527 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7117-8657-2 Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Mathematica (logiciel) Résumé : Dans l'enseignement supérieur mais aussi dans la recherche en mathématiques et en informatique, nous assistons à un changement majeur et durable dû à l'existence d'environnements de développement tel Mathematica. L'objectif de cet ouvrage n'est pas de prouver que l'on peut faire des mathématiques, de l'algorithmique ou de la programmation avec Mathematica : c'est évident aux yeux des auteurs. Il s'agit plutôt de convaincre les lecteurs que manipuler, visualiser, tester, en un mot expérimenter, permet de mieux percevoir un problème et donc de mieux comprendre ses solutions. Cet ouvrage se propose donc d'utiliser le logiciel de calcul formel Mathematica comme langage et environnement de programmation, dans une optique de résolution de problèmes. Les ateliers concernent des thèmes très variés : algorithmique, paradigmes de programmation, algorithmatique (fractions continues et égyptiennes, exponentiation rapide, etc.), algorithmique numérique, cryptologie classique, théorie algorithmique des nombres et cryptologie asymétrique, développements limités et leurs applications, géométrie des " hérissons mathématiques ", génération et calcul de diagrammes de Feynman, statistiques, filtrage et analyse de Fourier. Chaque atelier contient une présentation des problèmes, une première approche des solutions (avec souvent plusieurs solutions détaillées en Mathematica, disponibles sur le site web compagnon), des variantes et compléments, ainsi que de nombreuses références bibliographiques. Cet ouvrage s'adresse aux étudiants des 1er et 2e cycles universitaires scientifiques, aux étudiants des écoles d'ingénieurs, à ceux préparant le CAPES et l'agrégation de mathématiques, aux enseignants, ainsi qu'à tous les utilisateurs de Mathematica, ingénieurs, chercheurs ou scientifiques Ateliers Mathematica [texte imprimé] / Robert Erra, Auteur . - Paris : Vuibert informatique, 2003 . - 527 p. : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-7117-8657-2 Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Mathematica (logiciel) Résumé : Dans l'enseignement supérieur mais aussi dans la recherche en mathématiques et en informatique, nous assistons à un changement majeur et durable dû à l'existence d'environnements de développement tel Mathematica. L'objectif de cet ouvrage n'est pas de prouver que l'on peut faire des mathématiques, de l'algorithmique ou de la programmation avec Mathematica : c'est évident aux yeux des auteurs. Il s'agit plutôt de convaincre les lecteurs que manipuler, visualiser, tester, en un mot expérimenter, permet de mieux percevoir un problème et donc de mieux comprendre ses solutions. Cet ouvrage se propose donc d'utiliser le logiciel de calcul formel Mathematica comme langage et environnement de programmation, dans une optique de résolution de problèmes. Les ateliers concernent des thèmes très variés : algorithmique, paradigmes de programmation, algorithmatique (fractions continues et égyptiennes, exponentiation rapide, etc.), algorithmique numérique, cryptologie classique, théorie algorithmique des nombres et cryptologie asymétrique, développements limités et leurs applications, géométrie des " hérissons mathématiques ", génération et calcul de diagrammes de Feynman, statistiques, filtrage et analyse de Fourier. Chaque atelier contient une présentation des problèmes, une première approche des solutions (avec souvent plusieurs solutions détaillées en Mathematica, disponibles sur le site web compagnon), des variantes et compléments, ainsi que de nombreuses références bibliographiques. Cet ouvrage s'adresse aux étudiants des 1er et 2e cycles universitaires scientifiques, aux étudiants des écoles d'ingénieurs, à ceux préparant le CAPES et l'agrégation de mathématiques, aux enseignants, ainsi qu'à tous les utilisateurs de Mathematica, ingénieurs, chercheurs ou scientifiques

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.82.03	INF 07.82.03	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
510.2-5/2	510.2-5/2	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Mathématique (TEC)	Disponible
510.2-19-1	510.2-19-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

Calculabilité, complexité et approximation / Jean-François Rey

Public ISBD Titre : Calculabilité, complexité et approximation Type de document : texte imprimé Auteurs : Jean-François Rey, Auteur Editeur : Paris : Vuibert informatique Année de publication : 2004 Importance : 1 vol. (XVIII-363 p.) Présentation : fig., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-4808-2 Langues : Français Catégories : MATH:512 Algébre Mots-clés : Complexité de calcul (informatique)  Décidabilité (logique mathématique)  Fonctions calculables Résumé : L'algorithme est au cœur de l'informatique. S'il remonte à la plus haute antiquité, un algorithme désigne aujourd'hui la description d'une suite finie et organisée d'actions qui, appliquée à une donnée, permet d'aboutir de façon certaine à un résultat déterminé, solution d'un problème donné. Quelle est la frontière entre un problème admettant une solution algorithmique et celui n'en possédant pas ? Un algorithme peut-il donner une solution exacte en un temps réaliste ? Peut-on trouver une solution approchée quand les algorithmes exacts sont irréalisables et mesurer ces approximations ? Voilà l'objet de cet ouvrage, qui se présente sous la forme d'un cours avec exercices corrigés et qui synthétise les notions fondamentales nécessaires pour répondre à ces questions. Sont notamment étudiées les notions de décidabilité et de calculabilité, les classes de complexité, y compris les classes probabilistes, les classes d'approximation, avec plusieurs exemples concrets d'algorithme d'approximation. Calculabilité, complexité et approximation [texte imprimé] / Jean-François Rey, Auteur . - Paris : Vuibert informatique, 2004 . - 1 vol. (XVIII-363 p.) : fig., couv. ill. ; 24 cm. ISBN : 978-2-7117-4808-2 Langues : Français Catégories : MATH:512 Algébre Mots-clés : Complexité de calcul (informatique)  Décidabilité (logique mathématique)  Fonctions calculables Résumé : L'algorithme est au cœur de l'informatique. S'il remonte à la plus haute antiquité, un algorithme désigne aujourd'hui la description d'une suite finie et organisée d'actions qui, appliquée à une donnée, permet d'aboutir de façon certaine à un résultat déterminé, solution d'un problème donné. Quelle est la frontière entre un problème admettant une solution algorithmique et celui n'en possédant pas ? Un algorithme peut-il donner une solution exacte en un temps réaliste ? Peut-on trouver une solution approchée quand les algorithmes exacts sont irréalisables et mesurer ces approximations ? Voilà l'objet de cet ouvrage, qui se présente sous la forme d'un cours avec exercices corrigés et qui synthétise les notions fondamentales nécessaires pour répondre à ces questions. Sont notamment étudiées les notions de décidabilité et de calculabilité, les classes de complexité, y compris les classes probabilistes, les classes d'approximation, avec plusieurs exemples concrets d'algorithme d'approximation.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
512.30-1	512.30-1	Livre interne	BIBLIOTHEQUE CENTRALE	Mathématique (bc)	Disponible
512.30-2	512.30-2	Livre interne	BIBLIOTHEQUE CENTRALE	Mathématique (bc)	Disponible
511.3-15-1	511.3-15-1	Livre interne	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-15-2	511.3-15-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-15-3	511.3-15-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

Méta-apprentissage d'expériences / Claude Dussart

Permalink

Cryptographie / Niels Ferguson

Permalink

La saga des jeux vidéo / Daniel Ichbiah

Permalink

Solutions informatiques pour la vidéo / Guy Chesnot

Permalink

Entrepôts de données / Ralph Kimball

Permalink

Sécurité informatique / Gildas Avoine

Permalink

Exploration de données / Daniel T. Larose

Permalink

Architecture des ordinateurs / John L. Hennessy

Permalink

---

page 1/1