Détail de l'indexation
004.2 Ouvrages de la bibliothèque en indexation 004 (9)
Affiner la recherche Interroger des sources externes
Titre : ALGORITHMIQUE Type de document : texte imprimé Auteurs : cormen thomas, Auteur Editeur : [S.l.] : DUNOD Année de publication : 2010 Importance : 1188p Format : 25-17CM ISBN/ISSN/EAN : 978-2-10-054526-1 Note générale : Tri et rangs
Structures de données
Techniques avancées de conception et d'analyse
Structures de données avancées
Algorithmes pour les graphes
Morceaux choisisLangues : Français (fre) Catégories : INFORMATIQUE Index. décimale : 004 Résumé : Cet ouvrage s'est imposé comme une référence mondiale pour l'enseignement de l'algorithmique. Exhaustif et facile d'accès, c'est un outil de travail complet et indispensable pour les étudiants. Cette 3e édition est entièrement révisée et mise à jour, avec deux nouveaux chapitres.
L'éventail des algorithmes étudiés va des plus classiques, comme les algorithmes de tri et les fonctions de hachage, aux plus récents, comme ceux de la cryptographie, permettant ainsi de passer progressivement des notions élémentaires aux thèmes les plus pointus.
Les algorithmes sont rédigés en français et dans un pseudo-code proche des langages Pascal, C et Java. Ils sont analysés en profondeur et complétés par des preuves mathématiques. De nombreux exemples, figures, études de cas et exercices de difficulté graduée complètent les explications. Au total, ce sont les énoncés de 957 exercices et 158 problèmes qui sont proposés, dont certains sont nouveaux dans cette 3e édition. Les solutions de 80 d'entre eux sont accessibles en ligne sur le site www.dunod.comEn ligne : Tri et rangs Structures de données Techniques avancées de conception et d'anal [...] ALGORITHMIQUE [texte imprimé] / cormen thomas, Auteur . - [S.l.] : DUNOD, 2010 . - 1188p ; 25-17CM.
ISBN : 978-2-10-054526-1
Tri et rangs
Structures de données
Techniques avancées de conception et d'analyse
Structures de données avancées
Algorithmes pour les graphes
Morceaux choisis
Langues : Français (fre)
Catégories : INFORMATIQUE Index. décimale : 004 Résumé : Cet ouvrage s'est imposé comme une référence mondiale pour l'enseignement de l'algorithmique. Exhaustif et facile d'accès, c'est un outil de travail complet et indispensable pour les étudiants. Cette 3e édition est entièrement révisée et mise à jour, avec deux nouveaux chapitres.
L'éventail des algorithmes étudiés va des plus classiques, comme les algorithmes de tri et les fonctions de hachage, aux plus récents, comme ceux de la cryptographie, permettant ainsi de passer progressivement des notions élémentaires aux thèmes les plus pointus.
Les algorithmes sont rédigés en français et dans un pseudo-code proche des langages Pascal, C et Java. Ils sont analysés en profondeur et complétés par des preuves mathématiques. De nombreux exemples, figures, études de cas et exercices de difficulté graduée complètent les explications. Au total, ce sont les énoncés de 957 exercices et 158 problèmes qui sont proposés, dont certains sont nouveaux dans cette 3e édition. Les solutions de 80 d'entre eux sont accessibles en ligne sur le site www.dunod.comEn ligne : Tri et rangs Structures de données Techniques avancées de conception et d'anal [...] Réservation
Réserver ce document
Exemplaires(7)
Code-barres Cote Support Localisation Section Disponibilité ST2526 ST/004-05-7 Livre Bibliothèque FST Documentaires Disponible ST1475 ST/004-05.1 Livre Bibliothèque FST Documentaires Disponible ST1478 ST/004-05.4 Livre Bibliothèque FST Documentaires Disponible ST2524 ST/004-05.5 Livre Bibliothèque FST Documentaires Disponible ST2525 ST/004-05.6 Livre Bibliothèque FST Documentaires Disponible ST1476 ST/044-05.2 Livre Bibliothèque FST Documentaires Disponible ST1477 ST/044-05.3 Livre Bibliothèque FST Documentaires Disponible
Titre : Algorithmique et structures de domees2 cours et exercices aves solutions Type de document : texte imprimé Auteurs : Belhadj Mourad, Auteur Editeur : O.P.U Année de publication : 2023 Importance : 147p Format : 24-19CM ISBN/ISSN/EAN : 978-9961-0-2327-3 Langues : Français (fre) Catégories : INFORMATIQUE Index. décimale : 004 Algorithmique et structures de domees2 cours et exercices aves solutions [texte imprimé] / Belhadj Mourad, Auteur . - O.P.U, 2023 . - 147p ; 24-19CM.
ISBN : 978-9961-0-2327-3
Langues : Français (fre)
Catégories : INFORMATIQUE Index. décimale : 004 Réservation
Réserver ce document
Exemplaires(6)
Code-barres Cote Support Localisation Section Disponibilité ST3683 ST/004-10.1 Livre Bibliothèque FST Documentaires Disponible ST3684 ST/004-10.2 Livre Bibliothèque FST Documentaires Disponible ST3685 ST/004-10.3 Livre Bibliothèque FST Documentaires Disponible ST3686 ST/004-10.4 Livre Bibliothèque FST Documentaires Disponible ST3687 ST/004-10.5 Livre Bibliothèque FST Documentaires Disponible ST57327 ST/004-10.6 Livre Bibliothèque FST Documentaires Disponible
Titre : COURS ET EXERCICES CORRRIGES D' ALCORITHMIQUE Type de document : texte imprimé Auteurs : JULLIAND JACQUES, Auteur Année de publication : 2010 Importance : 264P Format : 26-19cm ISBN/ISSN/EAN : 978-2-311-00020-7 Langues : Français (fre) Catégories : INFORMATIQUE Index. décimale : 004 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#/SPEC#, 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.
À la base des techniques de vérification, la logique de Hoare est au cœur 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.
« Jacques Julliand nous offre ici un ouvrage précieux qui traite de manière très pédagogique différents aspects des méthodes rigoureuses de construction de programmes »
Pierre Berlioux
Replier la descriptionEn ligne : https://www.deboecksuperieur.com/sites/default/files/styles/couverture_grande/pu [...] COURS ET EXERCICES CORRRIGES D' ALCORITHMIQUE [texte imprimé] / JULLIAND JACQUES, Auteur . - 2010 . - 264P ; 26-19cm.
ISBN : 978-2-311-00020-7
Langues : Français (fre)
Catégories : INFORMATIQUE Index. décimale : 004 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#/SPEC#, 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.
À la base des techniques de vérification, la logique de Hoare est au cœur 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.
« Jacques Julliand nous offre ici un ouvrage précieux qui traite de manière très pédagogique différents aspects des méthodes rigoureuses de construction de programmes »
Pierre Berlioux
Replier la descriptionEn ligne : https://www.deboecksuperieur.com/sites/default/files/styles/couverture_grande/pu [...] Réservation
Réserver ce document
Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité ST2530 ST/004-07.1 Livre Bibliothèque FST Documentaires Disponible ST2531 ST/004-07.2 Livre Bibliothèque FST Documentaires Disponible ST2532 ST/004-07.3 Livre Bibliothèque FST Documentaires Disponible
Titre : Gestion des risques en securite de l' information Type de document : texte imprimé Auteurs : LUPFER ANNE, Auteur Editeur : EYROLLES Année de publication : 2009 Importance : 229P Format : 25-17CM ISBN/ISSN/EAN : 978-2-212-12593-1 Note générale : Comment évaluer le risque pour les SI d'entreprise ? Quels risques doit-on accepter de prendre ? La gestion des risques en sécurité de l'information, recommandée par de nombreux référentiels comme la norme ISO 27001, est en train de devenir une obligation pour les responsables de la sécurité de l'information (RSSI), les directeurs des systèmes d'information (DSI), et bien d'autres acteurs de l'entreprise.
Après les démarches locales, comme Ebios et Mehari en France, la norme ISO 27005, première méthode de gestion des risques structurée et normalisée, est appelée à s'imposer à l'échelle planétaire. Facilement accessible, elle propose une approche continue (au quotidien, dans la durée), systématique, pragmatique et adaptée à la réalité complexe des entreprises actuelles. S'appuyant, tout comme la norme, sur des scénarios d'incidents réels, ce guide de mise en oeuvre ISO 27005 dévoile l'essence des années d'expérience et de savoir-faire de l'auteur, et constituera une aide précieuse pour la certification ISO 27005 Risk Manager.
Si ce livre est un complément indispensable à la compréhension de la norme ISO 27005, le texte original de la norme reste disponible auprès des organismes de normalisation.Langues : Français (fre) Catégories : INFORMATIQUE Index. décimale : 004 Résumé : Comment évaluer le risque pour les SI d'entreprise ? Quels risques doit-on accepter de prendre ? La gestion des risques en sécurité de l'information, recommandée par de nombreux référentiels comme la norme ISO 27001, est en train de devenir une obligation pour les responsables de la sécurité de l'information (RSSI), les directeurs des systèmes d'information (DSI), et bien d'autres acteurs de l'entreprise.
Après les démarches locales, comme Ebios et Mehari en France, la norme ISO 27005, première méthode de gestion des risques structurée et normalisée, est appelée à s'imposer à l'échelle planétaire. Facilement accessible, elle propose une approche continue (au quotidien, dans la durée), systématique, pragmatique et adaptée à la réalité complexe des entreprises actuelles. S'appuyant, tout comme la norme, sur des scénarios d'incidents réels, ce guide de mise en oeuvre ISO 27005 dévoile l'essence des années d'expérience et de savoir-faire de l'auteur, et constituera une aide précieuse pour la certification ISO 27005 Risk Manager.
Si ce livre est un complément indispensable à la compréhension de la norme ISO 27005, le texte original de la norme reste disponible auprès des organismes de normalisation.En ligne : https://servimg.eyrolles.com/static/media/5931/9782212125931_internet_w290.jpg Gestion des risques en securite de l' information [texte imprimé] / LUPFER ANNE, Auteur . - EYROLLES, 2009 . - 229P ; 25-17CM.
ISBN : 978-2-212-12593-1
Comment évaluer le risque pour les SI d'entreprise ? Quels risques doit-on accepter de prendre ? La gestion des risques en sécurité de l'information, recommandée par de nombreux référentiels comme la norme ISO 27001, est en train de devenir une obligation pour les responsables de la sécurité de l'information (RSSI), les directeurs des systèmes d'information (DSI), et bien d'autres acteurs de l'entreprise.
Après les démarches locales, comme Ebios et Mehari en France, la norme ISO 27005, première méthode de gestion des risques structurée et normalisée, est appelée à s'imposer à l'échelle planétaire. Facilement accessible, elle propose une approche continue (au quotidien, dans la durée), systématique, pragmatique et adaptée à la réalité complexe des entreprises actuelles. S'appuyant, tout comme la norme, sur des scénarios d'incidents réels, ce guide de mise en oeuvre ISO 27005 dévoile l'essence des années d'expérience et de savoir-faire de l'auteur, et constituera une aide précieuse pour la certification ISO 27005 Risk Manager.
Si ce livre est un complément indispensable à la compréhension de la norme ISO 27005, le texte original de la norme reste disponible auprès des organismes de normalisation.
Langues : Français (fre)
Catégories : INFORMATIQUE Index. décimale : 004 Résumé : Comment évaluer le risque pour les SI d'entreprise ? Quels risques doit-on accepter de prendre ? La gestion des risques en sécurité de l'information, recommandée par de nombreux référentiels comme la norme ISO 27001, est en train de devenir une obligation pour les responsables de la sécurité de l'information (RSSI), les directeurs des systèmes d'information (DSI), et bien d'autres acteurs de l'entreprise.
Après les démarches locales, comme Ebios et Mehari en France, la norme ISO 27005, première méthode de gestion des risques structurée et normalisée, est appelée à s'imposer à l'échelle planétaire. Facilement accessible, elle propose une approche continue (au quotidien, dans la durée), systématique, pragmatique et adaptée à la réalité complexe des entreprises actuelles. S'appuyant, tout comme la norme, sur des scénarios d'incidents réels, ce guide de mise en oeuvre ISO 27005 dévoile l'essence des années d'expérience et de savoir-faire de l'auteur, et constituera une aide précieuse pour la certification ISO 27005 Risk Manager.
Si ce livre est un complément indispensable à la compréhension de la norme ISO 27005, le texte original de la norme reste disponible auprès des organismes de normalisation.En ligne : https://servimg.eyrolles.com/static/media/5931/9782212125931_internet_w290.jpg Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité ST1495 ST/004-04.1 Livre Bibliothèque FST Documentaires Disponible ST1496 ST/004-04.2 Livre Bibliothèque FST Documentaires Disponible
Titre : Le guide transformation digitale Type de document : texte imprimé Auteurs : DUCREY VINSENT, Auteur Année de publication : 2019 Importance : 337P Format : 25-17CM ISBN/ISSN/EAN : 978-2-212-57079-3 Langues : Français (fre) Catégories : INFORMATIQUE Index. décimale : 004 Résumé : Comment le numérique va disrupter votre industrie et votre entreprise ?
Comment les grandes entreprises conduisent leur transformation ?
Comment organiser et piloter la transformation digitale de votre organisation ?
Comment limiter les risques et adopter les bonnes pratiques pour réussir ?
Face à la disruption causée par le numérique, la transformation digitale est devenue un sujet majeur de préoccupation et un enjeu stratégique pour toutes les organisations quelle que soit leur taille : business, marketing, ressources humaines, processus de production, système d'informations, datas... C'est pour répondre à ce défi que Vincent Ducrey et Emmanuel Vivier ont écrit Le Guide de la transformation digitale. Après plus de dix-huit ans à accompagner les grandes entreprises et organisations dans le numérique, ils présentent une méthode pédagogique et solide en six chantiers et cinq étapes pour penser et réussir la transformation digitale de votre organisation.
Que vous soyez un dirigeant, un directeur marketing, un DRH, un DSI, un directeur digital, un manager ou un collaborateur qui veut comprendre et maîtriser les enjeux stratégiques à venir, cet ouvrage a été pensé pour vous.En ligne : https://servimg.eyrolles.com/static/media/0793/9782212570793_internet_w290.jpg Le guide transformation digitale [texte imprimé] / DUCREY VINSENT, Auteur . - 2019 . - 337P ; 25-17CM.
ISBN : 978-2-212-57079-3
Langues : Français (fre)
Catégories : INFORMATIQUE Index. décimale : 004 Résumé : Comment le numérique va disrupter votre industrie et votre entreprise ?
Comment les grandes entreprises conduisent leur transformation ?
Comment organiser et piloter la transformation digitale de votre organisation ?
Comment limiter les risques et adopter les bonnes pratiques pour réussir ?
Face à la disruption causée par le numérique, la transformation digitale est devenue un sujet majeur de préoccupation et un enjeu stratégique pour toutes les organisations quelle que soit leur taille : business, marketing, ressources humaines, processus de production, système d'informations, datas... C'est pour répondre à ce défi que Vincent Ducrey et Emmanuel Vivier ont écrit Le Guide de la transformation digitale. Après plus de dix-huit ans à accompagner les grandes entreprises et organisations dans le numérique, ils présentent une méthode pédagogique et solide en six chantiers et cinq étapes pour penser et réussir la transformation digitale de votre organisation.
Que vous soyez un dirigeant, un directeur marketing, un DRH, un DSI, un directeur digital, un manager ou un collaborateur qui veut comprendre et maîtriser les enjeux stratégiques à venir, cet ouvrage a été pensé pour vous.En ligne : https://servimg.eyrolles.com/static/media/0793/9782212570793_internet_w290.jpg Réservation
Réserver ce document
Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité ST3077 ST/004-09.1 Livre Bibliothèque FST Documentaires Disponible ST3078 ST/004-09.2 Livre Bibliothèque FST Documentaires Disponible ST3079 ST/004-09.3 Livre Bibliothèque FST Documentaires Disponible PermalinkPermalinkPermalinkPermalink
