المكتبة المركزية
Détail de l'éditeur
vuibert
localisé à :
paris
|
Documents disponibles chez cet éditeur (41)
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.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 36239 512-20.1 Livre المكتبة المركزية 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, Auteur ; Pierre Berlioux, Préfacier, etc. Editeur : paris : vuibert Année de publication : 2010 Importance : 264 p Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Langues : Français (fre) Mots-clés : Algorithmique programmes programmation modélisation Index. décimale : 005 Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs.
La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé.
L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes.
A la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs.
L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B.
Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B.
L'ensemble est illustré de nombreux exercices corrigés.
Note de contenu : Sommaire:
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercices
En ligne : https://servimg.eyrolles.com/static/media/0207/9782311000207_internet_h1400.jpg Algorithmique : verifier , tester , et concevoir des programmes en les modélisant cours et exercices corrigés [texte imprimé] / Jacques Julliand, Auteur ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, 2010 . - 264 p ; 24 cm.
ISBN : 978-2-311-00020-7
Langues : Français (fre)
Mots-clés : Algorithmique programmes programmation modélisation Index. décimale : 005 Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs.
La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé.
L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes.
A la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs.
L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B.
Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B.
L'ensemble est illustré de nombreux exercices corrigés.
Note de contenu : Sommaire:
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercices
En ligne : https://servimg.eyrolles.com/static/media/0207/9782311000207_internet_h1400.jpg Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 19923 005-39.1 Livre المكتبة المركزية indéterminé Exclu du prêt 19924 005-39.2 Livre المكتبة المركزية indéterminé Disponible
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, Auteur Editeur : paris : vuibert Année de publication : 2012 Importance : 560 p Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00476-2 Langues : Français (fre) Mots-clés : 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.
L'ouvrage est destiné aux étudiants des IUT et BTS (informatique, informatique industrielle et électronique), mais aussi à ceux des 1er et 2e cycles universitaires, aux élèves des écoles d'ingénieurs et aux professionnels de l'informatique et de l'électronique, ainsi qu'aux doctorants pour son volet recherche.
Note de contenu : Sommaire:
la fonction de mémorisation
Organisation générale d'une mémoire à semi-conducteurs à accès aléatoir
Caractérisation d'une mémoire à semi-conducteurs à accès aléatoir
les mémoires vives statiques
les mémoires vives dynamiques asynchrones
les mémoires vives dynamiques synchrones
les mémoires vives dynamiques à communication par paquet.
En ligne : https://static.fnac-static.com/multimedia/PE/Images/FR/NR/5c/fd/34/3472732/1507- [...] Architecture des Ordinateurs : Mémoires à semi-conducteurs: principe de fonctionnement et organisation interne des mémoires vives [texte imprimé] / Darche Philippe, Auteur . - paris : vuibert, 2012 . - 560 p ; 24 cm.
ISBN : 978-2-311-00476-2
Langues : Français (fre)
Mots-clés : 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.
L'ouvrage est destiné aux étudiants des IUT et BTS (informatique, informatique industrielle et électronique), mais aussi à ceux des 1er et 2e cycles universitaires, aux élèves des écoles d'ingénieurs et aux professionnels de l'informatique et de l'électronique, ainsi qu'aux doctorants pour son volet recherche.
Note de contenu : Sommaire:
la fonction de mémorisation
Organisation générale d'une mémoire à semi-conducteurs à accès aléatoir
Caractérisation d'une mémoire à semi-conducteurs à accès aléatoir
les mémoires vives statiques
les mémoires vives dynamiques asynchrones
les mémoires vives dynamiques synchrones
les mémoires vives dynamiques à communication par paquet.
En ligne : https://static.fnac-static.com/multimedia/PE/Images/FR/NR/5c/fd/34/3472732/1507- [...] Réservation
Réserver ce document
Exemplaires(7)
Code-barres Cote Support Localisation Section Disponibilité 36267 004-06.1 Livre المكتبة المركزية indéterminé Exclu du prêt 36268 004-06.2 Livre المكتبة المركزية indéterminé Disponible 36269 004-06.3 Livre المكتبة المركزية indéterminé Disponible 36270 004-06.4 Livre المكتبة المركزية indéterminé Disponible 36271 004-06.5 Livre المكتبة المركزية indéterminé Disponible 36272 004-06.6 Livre المكتبة المركزية indéterminé Disponible 36273 004-06.7 Livre المكتبة المركزية indéterminé Disponible PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
