المكتبة المركزية
Détail de l'éditeur
vuibert
localisé à :
paris
|
Documents disponibles chez cet éditeur (38)
Affiner la recherche Interroger des sources externes
Titre : Algèbre linéaire : Réduction des endomorphismes Type de document : texte imprimé Auteurs : Mneimné Rached Mansuy Roger Editeur : paris : vuibert Année de publication : 2012 Importance : 180 p Format : 24 cm Langues : Français (fre) Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Algèbre linéaire : Réduction des endomorphismes [texte imprimé] / Mneimné Rached Mansuy Roger . - paris : vuibert, 2012 . - 180 p ; 24 cm.
Langues : Français (fre)
Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Exemplaires(4)
Code-barres Cote Support Localisation Section Disponibilité 512-20.1 512-20.1 Périodique Bibliothèque principale indéterminé Exclu du prêt 512-20.2 512-20.2 Périodique Bibliothèque principale indéterminé Exclu du prêt 512-20.3 512-20.3 Périodique Bibliothèque principale indéterminé Exclu du prêt 512-20.4 512-20.4 Périodique Bibliothèque principale indéterminé Exclu du prêt
Titre : Algèbre linéaire : Réduction des endomorphismes Type de document : texte imprimé Auteurs : Mneimné Rached Mansuy Roger Editeur : paris : vuibert Année de publication : 2012 Importance : 180 p Format : 24 cm Langues : Français (fre) Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Algèbre linéaire : Réduction des endomorphismes [texte imprimé] / Mneimné Rached Mansuy Roger . - paris : vuibert, 2012 . - 180 p ; 24 cm.
Langues : Français (fre)
Mots-clés : COMMUTATION - DIAGONALISATION - TRIGONALISATION Index. décimale : 512 Résumé : Rédigé à l'attention des étudiants en Licence de mathématiques et des classes préparatoires scientifiques, l'ouvrage est constitué d'un cours complet, de commentaires et développements et de 120 exercices corrigés. Afin d'aborder les différents aspects de la théorie de la réduction, les premiers chapitres détaillent avec soin les objets et concepts de l'algèbre linéaire. Les chapitres suivants présentent aussi bien les critères pratiques que leurs utilisations théoriques, à l'appui de nombreux exemples. Cette approche pédagogique offre également une base solide de révision pour tous les candidats qui se préparent aux concours de l'enseignement En ligne : 512-20.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire
Titre : Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés Type de document : texte imprimé Auteurs : Jacques Julliand ; Pierre Berlioux, Préfacier, etc. Editeur : paris : vuibert Importance : 264 p Format : 24 cm Langues : Français (fre) Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés [texte imprimé] / Jacques Julliand ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, [s.d.] . - 264 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 005-39.1 005-39.1 Périodique Bibliothèque principale indéterminé Exclu du prêt 005-39.2 005-39.2 Périodique Bibliothèque principale indéterminé Exclu du prêt
Titre : Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés Type de document : texte imprimé Auteurs : Jacques Julliand ; Pierre Berlioux, Préfacier, etc. Editeur : paris : vuibert Importance : 264 p Format : 24 cm Langues : Français (fre) Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Algorithmique verifier , tester , et concevoir des programmes en les modélisant : cours et exercices corrigés [texte imprimé] / Jacques Julliand ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, [s.d.] . - 264 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage présent à la base des téchniques de vérification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette méthode pour vérifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire
Titre : Architecture des ordinateurs - Mémoires à semi-conducteurs : principe de fonctionnement et organisation interne des mémoires vives Type de document : texte imprimé Auteurs : Darche Philippe Editeur : paris : vuibert Année de publication : 2012 Importance : 560 p Format : 24 cm Langues : Français (fre) Mots-clés : ORGANISATION GENERALE D'UNE MEMOIRE A SEMI-CONDUCTEURS A ACCES ALEATOIRE - CARACTERISATION D'UNE MEMOIRE A SEMI- CONDUCTEURS A ACCES ALEATOIRE - LES MEMOIRES VIVES STATIQUES - LES MEMOIRES VIVES DYNAMIQUES ASYNCHRONES - LES MEMOIRES VIVES DYNAMIQUES SYNCH Index. décimale : 004 Résumé : La mémorisation est l’une des fonctions les plus importantes d’un ordinateur. Elle est omniprésente. On la retrouve dans la mémoire centrale bien évidemment mais aussi dans le processeur et les interfaces d’entrée-sortie. La mémoire et son environnement, c’est-à-dire son contrôleur et son bus, ont un impact direct sur les performances d’un ordinateur (puissance de calcul, consommation électrique, etc.) et son coût. Il est donc essentiel que l’électronicien et l’informaticien connaissent bien son fonctionnement et les différentes technologies présentes et futures. Cet ouvrage est consacré à l’organisation interne et au fonctionnement des mémoires à semi-conducteurs. Il présente les mémoires vives à accès aléatoire. Les différentes catégories avec leurs organisations internes sont détaillées, en particulier, celles des nouvelles approches synchrones comme la DDRx SDRAM ou celles à communication par paquets comme la Rambus DRAM. Les connaissances sont présentées de la manière la plus exhaustive possible avec des exemples puisés dans les technologies actuelles et anciennes qui illustrent et rendent accessibles les concepts théoriques. Chaque chapitre setermine par des exercices corrigés et par une bibliographie. En ligne : 004-06.1.pdf Architecture des ordinateurs - Mémoires à semi-conducteurs : principe de fonctionnement et organisation interne des mémoires vives [texte imprimé] / Darche Philippe . - paris : vuibert, 2012 . - 560 p ; 24 cm.
Langues : Français (fre)
Mots-clés : ORGANISATION GENERALE D'UNE MEMOIRE A SEMI-CONDUCTEURS A ACCES ALEATOIRE - CARACTERISATION D'UNE MEMOIRE A SEMI- CONDUCTEURS A ACCES ALEATOIRE - LES MEMOIRES VIVES STATIQUES - LES MEMOIRES VIVES DYNAMIQUES ASYNCHRONES - LES MEMOIRES VIVES DYNAMIQUES SYNCH Index. décimale : 004 Résumé : La mémorisation est l’une des fonctions les plus importantes d’un ordinateur. Elle est omniprésente. On la retrouve dans la mémoire centrale bien évidemment mais aussi dans le processeur et les interfaces d’entrée-sortie. La mémoire et son environnement, c’est-à-dire son contrôleur et son bus, ont un impact direct sur les performances d’un ordinateur (puissance de calcul, consommation électrique, etc.) et son coût. Il est donc essentiel que l’électronicien et l’informaticien connaissent bien son fonctionnement et les différentes technologies présentes et futures. Cet ouvrage est consacré à l’organisation interne et au fonctionnement des mémoires à semi-conducteurs. Il présente les mémoires vives à accès aléatoire. Les différentes catégories avec leurs organisations internes sont détaillées, en particulier, celles des nouvelles approches synchrones comme la DDRx SDRAM ou celles à communication par paquets comme la Rambus DRAM. Les connaissances sont présentées de la manière la plus exhaustive possible avec des exemples puisés dans les technologies actuelles et anciennes qui illustrent et rendent accessibles les concepts théoriques. Chaque chapitre setermine par des exercices corrigés et par une bibliographie. En ligne : 004-06.1.pdf Exemplaires(4)
Code-barres Cote Support Localisation Section Disponibilité 004-06.1 004-06.1 Périodique Bibliothèque principale indéterminé Exclu du prêt 004-06.2 004-06.2 Périodique Bibliothèque principale indéterminé Exclu du prêt 004-06.3 004-06.3 Périodique Bibliothèque principale indéterminé Exclu du prêt 004-06.4 004-06.4 Périodique Bibliothèque principale indéterminé Exclu du prêt PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
