Détail d'une collection
|
|
Documents disponibles dans la collection (5)
Affiner la recherche Interroger des sources externes
Titre : Algorithmique : raisonner pour concevoir Type de document : texte imprimé Auteurs : Christophe Haro, Auteur Mention d'édition : 2e éd. Editeur : Saint-Herblain : Editions ENI Année de publication : cop. 2015 Collection : Datapro Importance : 1 vol. (574 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7460-9557-1 Note générale : Notes bibliogr. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Ordinateurs Programmation Algorithmes Informatique Résumé : Ce livre sur l'algorithmique est destiné à toute personne qui s'intéresse au développement d'applications informatiques et qui souhaite s'initier ou retrouver les bases fondamentales de la programmation. Il ne s'agit pas ici de programmer avec un langage ou un autre, mais bien de raisonner sur un problème pour concevoir une solution abstraite. Ce travail de réflexion et de conception prépare le stade ultime de l'implémentation et du cycle de vie du programme concret. Le lecteur ne trouvera pas dans ce livre un recueil d'algorithmes qu'il devra ensuite adapter pour résoudre des problèmes mais au contraire une introduction originale et efficace à l'algorithmique pour apprendre à analyser un problème. Le livre est divisé en deux parties. Dans la première partie sont détaillées les notions d'algorithmique de base et la méthode de construction raisonnée d'un algorithme impératif : l'auteur y précise notamment la distinction entre la spécification et la réalisation d'un algorithme et montre que l'algorithmique proprement dite s'arrête là où commence la programmation. Dans la deuxième partie l'auteur propose cette fois des solutions à des problèmes plus élaborés dans divers domaines du calcul automatique, comme la simulation de phénomènes aléatoires ou le cryptage des données. Toutes les activités proposées restent élémentaires avec le souci constant de privilégier le raisonnement qui conduit à l'élaboration des algorithmes. Algorithmique : raisonner pour concevoir [texte imprimé] / Christophe Haro, Auteur . - 2e éd. . - Saint-Herblain : Editions ENI, cop. 2015 . - 1 vol. (574 p.) : ill. ; 22 cm. - (Datapro) .
ISBN : 978-2-7460-9557-1
Notes bibliogr. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Ordinateurs Programmation Algorithmes Informatique Résumé : Ce livre sur l'algorithmique est destiné à toute personne qui s'intéresse au développement d'applications informatiques et qui souhaite s'initier ou retrouver les bases fondamentales de la programmation. Il ne s'agit pas ici de programmer avec un langage ou un autre, mais bien de raisonner sur un problème pour concevoir une solution abstraite. Ce travail de réflexion et de conception prépare le stade ultime de l'implémentation et du cycle de vie du programme concret. Le lecteur ne trouvera pas dans ce livre un recueil d'algorithmes qu'il devra ensuite adapter pour résoudre des problèmes mais au contraire une introduction originale et efficace à l'algorithmique pour apprendre à analyser un problème. Le livre est divisé en deux parties. Dans la première partie sont détaillées les notions d'algorithmique de base et la méthode de construction raisonnée d'un algorithme impératif : l'auteur y précise notamment la distinction entre la spécification et la réalisation d'un algorithme et montre que l'algorithmique proprement dite s'arrête là où commence la programmation. Dans la deuxième partie l'auteur propose cette fois des solutions à des problèmes plus élaborés dans divers domaines du calcul automatique, comme la simulation de phénomènes aléatoires ou le cryptage des données. Toutes les activités proposées restent élémentaires avec le souci constant de privilégier le raisonnement qui conduit à l'élaboration des algorithmes. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité m8/2912--1 m8/2912 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2912--2 m8/2912 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2912--3 m8/2912 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2912--4 m8/2912 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2912--5 m8/2912 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Gestion des licences logicielles : maitrise, conformité et optimisation des actifs logiciels de l'entreprise Type de document : texte imprimé Auteurs : Raphael Coche, Auteur ; Teddy Monin, Auteur Editeur : Saint-Herblain : Editions ENI Année de publication : cop. 2014 Collection : Datapro Importance : 1 vol. (444 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7460-9214-3 Note générale : Glossaire. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Informatique Gestion Logiciels Droit Résumé : La gestion des licences logicielles a pour objectif de maitriser et d'optimiser les actifs logiciels de l'entreprise. Ce livre regroupe de façon exhaustive tous les éléments clés pour atteindre cet objectif: comprendre et classifier les licences, calculer la conformité, optimiser les couts de licences, comprendre les référentiels du marché, connaitre les outils disponibles, savoir mettre en oeuvre un projet de déploiement. Gestion des licences logicielles : maitrise, conformité et optimisation des actifs logiciels de l'entreprise [texte imprimé] / Raphael Coche, Auteur ; Teddy Monin, Auteur . - Saint-Herblain : Editions ENI, cop. 2014 . - 1 vol. (444 p.) : ill. ; 22 cm. - (Datapro) .
ISBN : 978-2-7460-9214-3
Glossaire. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Informatique Gestion Logiciels Droit Résumé : La gestion des licences logicielles a pour objectif de maitriser et d'optimiser les actifs logiciels de l'entreprise. Ce livre regroupe de façon exhaustive tous les éléments clés pour atteindre cet objectif: comprendre et classifier les licences, calculer la conformité, optimiser les couts de licences, comprendre les référentiels du marché, connaitre les outils disponibles, savoir mettre en oeuvre un projet de déploiement. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité m8/3239--1 m8/3239 Périodique Mathématiques et 'informatique indéterminé Disponible m8/3239--2 m8/3239 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : L'intelligence artificielle pour les développeurs : concepts et implémentations en C# Type de document : texte imprimé Auteurs : Virginie Mathivet, Auteur Editeur : Saint-Herblain : Editions ENI Année de publication : cop. 2014 Collection : Datapro Importance : 1 vol. (504 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-9215-0 Note générale : Webliogr. p. 479-489. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Intelligence artificielle Résumé : Ce livre sur l'Intelligence Artificielle s'adresse particulièrement aux développeurs et ne nécessite pas de connaissances mathématiques approfondies. Au fil des chapitres, l'auteur présente les principales techniques d'Intelligence Artificielle et, pour chacune d'elles, les inspirations, biologiques, physiques voire mathématiques, puis les différents concepts et principes (sans entrer dans les détails mathématiques), avec des exemples et figures pour chacun de ceux-ci. Les domaines d'application sont illustrés par des applications réelles et actuelles. Chaque chapitre contient un exemple d'implémentation générique, complété par une application pratique, développée en C#. Ces exemples de code étant génériques, ils sont facilement adaptables à de nombreuses applications C#, que ce soit en Silverlight, sur Windows Phone, pour Windows 8 ou pour des applications .Net plus classiques. Les techniques d'Intelligence Artificielle décrites sont : - Les systèmes experts, permettant d'appliquer des règles pour prendre des décisions ou découvrir de nouvelles connaissances. - La logique floue, permettant de contrôler des systèmes informatiques ou mécaniques de manière beaucoup plus souple que les programmes traditionnels. - Les algorithmes de recherche de chemin, dont le A* très utilisé dans les jeux vidéo pour trouver les meilleurs itinéraires. - Les algorithmes génétiques, utilisant la puissance de l'évolution pour apporter des solutions à des problèmes complexes. - Les principales métaheuristiques, dont la recherche tabou, trouvant des optimums à des problèmes d'optimisation, avec ou sans contraintes. - Les systèmes multi-agents, simulant des foules ou permettant des comportements émergents à partir de plusieurs agents très simples. - Les réseaux de neurones, capables de découvrir et de reconnaître des modèles, dans des suites historiques, des images ou encore des données. Pour aider le lecteur à passer de la théorie à la pratique, l'auteur propose en téléchargement sur le site www.editions-eni.fr, sept projets Visual Studio 2013 (un par technique d'Intelligence Artificielle), développés en C#. Chaque projet contient une PCL, pour la partie générique, et une application WPF, pour la partie spécifique à l'application proposée. Le livre se termine par une bibliographie, permettant au lecteur de trouver plus d'informations sur ces différentes techniques, une sitographie listant quelques articles présentant des applications réelles, une annexe et un index. Les chapitres du livre : Avant-propos - Introduction - Systèmes experts - Logique floue - Recherche de chemins - Algorithmes génétiques - Métaheuristiques d'optimisation - Systèmes multi-agents - Réseaux de neurones - Bibliographie - Sitographie - Annexe L'intelligence artificielle pour les développeurs : concepts et implémentations en C# [texte imprimé] / Virginie Mathivet, Auteur . - Saint-Herblain : Editions ENI, cop. 2014 . - 1 vol. (504 p.) : ill. ; 21 cm. - (Datapro) .
ISBN : 978-2-7460-9215-0
Webliogr. p. 479-489. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Intelligence artificielle Résumé : Ce livre sur l'Intelligence Artificielle s'adresse particulièrement aux développeurs et ne nécessite pas de connaissances mathématiques approfondies. Au fil des chapitres, l'auteur présente les principales techniques d'Intelligence Artificielle et, pour chacune d'elles, les inspirations, biologiques, physiques voire mathématiques, puis les différents concepts et principes (sans entrer dans les détails mathématiques), avec des exemples et figures pour chacun de ceux-ci. Les domaines d'application sont illustrés par des applications réelles et actuelles. Chaque chapitre contient un exemple d'implémentation générique, complété par une application pratique, développée en C#. Ces exemples de code étant génériques, ils sont facilement adaptables à de nombreuses applications C#, que ce soit en Silverlight, sur Windows Phone, pour Windows 8 ou pour des applications .Net plus classiques. Les techniques d'Intelligence Artificielle décrites sont : - Les systèmes experts, permettant d'appliquer des règles pour prendre des décisions ou découvrir de nouvelles connaissances. - La logique floue, permettant de contrôler des systèmes informatiques ou mécaniques de manière beaucoup plus souple que les programmes traditionnels. - Les algorithmes de recherche de chemin, dont le A* très utilisé dans les jeux vidéo pour trouver les meilleurs itinéraires. - Les algorithmes génétiques, utilisant la puissance de l'évolution pour apporter des solutions à des problèmes complexes. - Les principales métaheuristiques, dont la recherche tabou, trouvant des optimums à des problèmes d'optimisation, avec ou sans contraintes. - Les systèmes multi-agents, simulant des foules ou permettant des comportements émergents à partir de plusieurs agents très simples. - Les réseaux de neurones, capables de découvrir et de reconnaître des modèles, dans des suites historiques, des images ou encore des données. Pour aider le lecteur à passer de la théorie à la pratique, l'auteur propose en téléchargement sur le site www.editions-eni.fr, sept projets Visual Studio 2013 (un par technique d'Intelligence Artificielle), développés en C#. Chaque projet contient une PCL, pour la partie générique, et une application WPF, pour la partie spécifique à l'application proposée. Le livre se termine par une bibliographie, permettant au lecteur de trouver plus d'informations sur ces différentes techniques, une sitographie listant quelques articles présentant des applications réelles, une annexe et un index. Les chapitres du livre : Avant-propos - Introduction - Systèmes experts - Logique floue - Recherche de chemins - Algorithmes génétiques - Métaheuristiques d'optimisation - Systèmes multi-agents - Réseaux de neurones - Bibliographie - Sitographie - Annexe Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité m8/2982--1 m8/2982 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2982--2 m8/2982 Périodique Mathématiques et 'informatique indéterminé Disponible m8/2982--3 m8/2982 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Logiciels embarqués : viser l'excellence dans le développeme Type de document : texte imprimé Auteurs : Jérôme Dern, Auteur Editeur : Saint-Herblain : Editions ENI Année de publication : cop. 2014 Collection : Datapro Importance : 1 vol. (408 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-9155-9 Note générale : Bibliogr. p. 395-398. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Logiciels Développement Systèmes enfouis (informatique) Conception et construction Résumé : Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles. Il s'adresse bien sûr au Responsable de la Qualité Logicielle mais aussi à l'Informaticien chargé du développement de logiciels embarqués, au Chef de projet, au Responsable Recherche et Développement. Dans un premier temps, l'auteur sensibilise le lecteur aux enjeux de la qualité des logiciels et au rôle de la qualité dans la conception de logiciels embarqués et industriels ; il présente les différents cycles de développement logiciel des plus anciens au plus modernes avec leurs avantages et inconvénients pour un usage industriel et parcourt les principales normes liées au logiciel et à la sûreté logicielle. Il étudie ensuite les principaux processus de développement et les exigences à satisfaire pour être conforme à CMMI, SPICE et HIS ; une traçabilité détaillée avec ces modèles est fournie ainsi que des exemples et des détails sur leur mise en place et les différences entre eux. Les méthodes Agiles ne sont pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire. Concernant les outils de la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, sont donnés ; ils permettent de connaître et d'appliquer des méthodes qui ont fait leurs preuves pour accéder à l'excellence logicielle et à la capitalisation. Tout au long du livre, l'auteur présente les mesures ou métriques logicielles qui sont la clef de l'amélioration des processus et de la progression de la qualité logicielle dans l'entreprise. Les chapitres du livre : Avant-propos - La qualité logicielle - Les cycles de développement - Les normes et modèles - Les principaux processus de développement - Les tests logiciels - Les outils de la qualité logicielle embarquée - Les règles de développement - Les outils d'analyse statique - Les mesures du logiciel - Les méthodes de vérification - Conclusion - Glossaire - Bibliographie Logiciels embarqués : viser l'excellence dans le développeme [texte imprimé] / Jérôme Dern, Auteur . - Saint-Herblain : Editions ENI, cop. 2014 . - 1 vol. (408 p.) : ill. ; 21 cm. - (Datapro) .
ISBN : 978-2-7460-9155-9
Bibliogr. p. 395-398. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Logiciels Développement Systèmes enfouis (informatique) Conception et construction Résumé : Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles. Il s'adresse bien sûr au Responsable de la Qualité Logicielle mais aussi à l'Informaticien chargé du développement de logiciels embarqués, au Chef de projet, au Responsable Recherche et Développement. Dans un premier temps, l'auteur sensibilise le lecteur aux enjeux de la qualité des logiciels et au rôle de la qualité dans la conception de logiciels embarqués et industriels ; il présente les différents cycles de développement logiciel des plus anciens au plus modernes avec leurs avantages et inconvénients pour un usage industriel et parcourt les principales normes liées au logiciel et à la sûreté logicielle. Il étudie ensuite les principaux processus de développement et les exigences à satisfaire pour être conforme à CMMI, SPICE et HIS ; une traçabilité détaillée avec ces modèles est fournie ainsi que des exemples et des détails sur leur mise en place et les différences entre eux. Les méthodes Agiles ne sont pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire. Concernant les outils de la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, sont donnés ; ils permettent de connaître et d'appliquer des méthodes qui ont fait leurs preuves pour accéder à l'excellence logicielle et à la capitalisation. Tout au long du livre, l'auteur présente les mesures ou métriques logicielles qui sont la clef de l'amélioration des processus et de la progression de la qualité logicielle dans l'entreprise. Les chapitres du livre : Avant-propos - La qualité logicielle - Les cycles de développement - Les normes et modèles - Les principaux processus de développement - Les tests logiciels - Les outils de la qualité logicielle embarquée - Les règles de développement - Les outils d'analyse statique - Les mesures du logiciel - Les méthodes de vérification - Conclusion - Glossaire - Bibliographie Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité m8/3021--1 m8/3021 Périodique Mathématiques et 'informatique indéterminé Disponible m8/3021--2 m8/3021 Périodique Mathématiques et 'informatique indéterminé Disponible m8/3021--3 m8/3021 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Projets informatiques : s'approprier le Guide PMBOK pour réussir sa gestion de projet Type de document : texte imprimé Auteurs : Hervé Spanneut, Auteur Editeur : Saint-Herblain : Editions ENI Année de publication : cop. 2015 Collection : Datapro Importance : 1 vol. (308 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7460-9338-6 Note générale : PMBOK = Project management body of knowledge Glossaire. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Projets informatiques Systèmes, Conception de Résumé : Ce livre s'adresse prinicipalement à des responsables de projets informatiques mais aussi à tout intervenant dans la gestion d'un projet informatique. Projets informatiques : s'approprier le Guide PMBOK pour réussir sa gestion de projet [texte imprimé] / Hervé Spanneut, Auteur . - Saint-Herblain : Editions ENI, cop. 2015 . - 1 vol. (308 p.) : ill. ; 22 cm. - (Datapro) .
ISBN : 978-2-7460-9338-6
PMBOK = Project management body of knowledge Glossaire. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Projets informatiques Systèmes, Conception de Résumé : Ce livre s'adresse prinicipalement à des responsables de projets informatiques mais aussi à tout intervenant dans la gestion d'un projet informatique. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité m8/3261--1 m8/3261 Périodique Mathématiques et 'informatique indéterminé Disponible m8/3261--2 m8/3261 Périodique Mathématiques et 'informatique indéterminé Disponible
