Recherche simple :
par Solnon, Christine
Hermès science publications
2008 -
Disponible - 681.2 SOL
Niveau 3 - Informatique
Résumé : Le point sur la résolution de problèmes combinatoires grâce à l'optimisation par colonie de fourmis, une méthode qui s'inspire du comportement collectif de ces insectes.
par Lorca, Xavier
Hermès science publications-Lavoisier
2011 -
Disponible - 681.2 LOR
Niveau 3 - Informatique
Résumé : Analyse des problèmes de satisfaction de contraintes dans les partitionnements de graphe par des arbres mettant en jeu un certain nombre de restrictions sur la topologie des partitions. L'étude se focalise sur la compréhension des propriétés structurelles inhérentes aux contraintes de partitionnement par des arbres et sur les interactions entre le partitionnement et les restrictions classiques.
par Homes, Bernard
Hermès science publications-Lavoisier
2011 -
Disponible - 681.2 HOM
Niveau 3 - Informatique
Résumé : L'ISTQB définit le cahier des charges des connaissances techniques et méthodologiques nécessaires au test de logiciels. Référence pour les testeurs souhaitant passer la certification CFTL-ISQTB, cet ouvrage fournit des explications, les définitions des termes utilisés lors de l'examen, des questions similaires à celles de l'examen et un examen blanc.
par Printz, Jacques
Dunod
2012 -
Disponible - 681.2 PRI
Niveau 3 - Informatique
Résumé : Présentation d'une méthode axée sur la pratique pour concevoir un logiciel en entreprise et garantir sa stabilité et sa performance. Cette édition est enrichie de mises à jour prenant en compte l'arrivée du cloud computing.
Hermès science publications ; Lavoisier
2013 -
Disponible - 681.2 MIS
Niveau 3 - Informatique
Résumé : Présentation d'un modèle, la méthode B, pour analyser et vérifier le comportement d'un logiciel. Cette méthode formelle s'appuie sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Avec des exemples en avionique et systèmes manufacturiers.
par Oussalah, Mourad
Hermès science publications-Lavoisier
2014 -
Disponible - 681.2 OUS
Niveau 3 - Informatique
Résumé : Présentation et principes des architectures logicielles et de leur contribution dans les systèmes complexes et distribués. Leurs principales caractéristiques résident dans leur pouvoir de gérer les abstractions et les niveaux d'expressivité d'un système, et dans leur capacité à prendre en compte la modélisation de sa structure et de son comportement.
Hermès science publications-Lavoisier
2014 -
Disponible - 681.2 EVO
Niveau 3 - Informatique
Résumé : Des chapitres de synthèse et les connaissances les plus récentes concernant les domaines de l'évolution, de la maintenance et de la rénovation des logiciels.
par Rifflet, Jean-Marie ; Yunès, Jean-Baptiste
Ellipses
2014 -
Disponible - 681.2 RIF
Niveau 3 - Informatique
Résumé : Un ouvrage cernant, au travers d'exemples, plus de 120 programmes documentés et décortiqués, ainsi que quelques concepts essentiels de la programmation. ©Electre 2014
par Wertz, Harald
Iste éditions
2015 -
Disponible - 681.2 WER
Niveau 3 - Informatique
Résumé : Guide pour réaliser ses propres projets de programmation orientée objet grâce à la maîtrise du langage Smalltalk et de son dialecte Squeak. ©Electre 2015
par Pollet, Yann
Ellipses
2016 -
Disponible - 681.2 POL
Niveau 3 - Informatique
Résumé : Cours sur l'intégration des systèmes informatisés, le langage SysML, la notion d'architecture logicielle et du style. ©Electre 2017
par Chokogoue, Juvénal (1990-....)
Editions ENI
2017 -
Disponible - 681.2 CHO
Niveau 3 - Informatique
Résumé : Présentation des principes à la base d'Hadoop et de ses composants. L'auteur donne des conseils pour aider le lecteur à exploiter le cluster Hadoop. ©Electre 2017
par Meyer, Bertrand (1950-....)
Eyrolles
2017 -
Disponible - 681.2 MEY
Niveau 3 - Informatique
Résumé : Méthodes et techniques de la construction logicielle orientée objet. Description des aspects méthodologiques qui conduisent aux concepts orientés objets. Présentation des concepts de classe, de polymorphisme et de liaison dynamique. Illustration de l'aspect logique au travers d'études de cas et de l'évolution du schéma client-serveur. Exemple de l'emploi d'Internet et des systèmes interactifs. ©Electre 2017
par Demaree, David
Eyrolles
2017 -
Disponible - 681.2 DEM
Niveau 3 - Informatique
Résumé : A destination des développeurs et des web designers, les principes du logiciel de gestion de versions, Git, sont présentés, ainsi que le déroulement des commandes des tâches courantes aux scénarios les plus complexes. ©Electre 2017
par Amade, Bernard
Micro application ; MA éditions
2018 -
Disponible - 681.2 AMA
Niveau 3 - Informatique
Résumé : Une méthode permettant de comprendre les enjeux de la programmation et d'utiliser des modèles transposables, avec des exemples à mettre en oeuvre. ©Electre 2018
par Chopard, Bastien (1959-....) ; Tomassini, Marco (1949-....)
Presses universitaires de Perpignan
2018 -
Disponible - 681.2 CHO
Niveau 3 - Informatique
Résumé : Etude abordant de façon pédagogique les principes de base des métaheuristiques et le fonctionnement des métaheuristiques classiques (tabou, recuit, fourmis, algorithmes évolutionnaires, etc.). Elle traite aussi de leur convergence des méthodes, des performances, des transitions de phase et de la structure des espaces de recherche. ©Electre 2018
par Chokogoue, Juvénal (1990-....)
Eyrolles
2018 -
Disponible - 681.2 CHO
Niveau 3 - Informatique
Résumé : Un manuel d'apprentissage pratique pour développer des compétences dans le domaine des technologies de l'écosystème Hadoop du big data, qui répond à trois objectifs : connaître les technologies MapReduce, Spark, Tez, Lucene... maîtriser les approches conceptuelles à la base des technologies de l'écosystème Hadoop, identifier la portée fonctionnelle de ces technologies. ©Electre 2018
par Boulanger, Jean-Louis (1966-....)
Iste éditions
2018 -
Disponible - 681.2 BOU
Niveau 3 - Informatique
Résumé : Description du processus de réalisation d'une application logicielle et de sa phase descendante afin d'identifier en amont les défauts. Avec une présentation pour chaque phase, de la spécification à la production du code, des activités de conception, de préparation des tests et de vérification à mettre en oeuvre. ©Electre 2018
Ellipses
2019 -
Disponible - 681.2 DEL
Niveau 3 - Informatique
Résumé : Un guide à destination des ingénieurs, des chercheurs et des étudiants formés à la programmation linéaire pour découvrir la programmation par contraintes et se familiariser avec elle sans avoir à aborder sa partie théorique. ©Electre 2019
par Clerc, Maurice (1949-....)
Iste éditions
2019 -
Disponible - 681.2 CLE
Niveau 3 - Informatique
Résumé : Présentation des analyses théoriques et des méthodes pratiques avec leurs codes sources pour pouvoir calculer la difficulté d'un problème donné et construire sur mesure des jeux d'essai de problèmes de difficultés variées. ©Electre 2019
par Pollet, Yann
Ellipses
2019 -
Disponible - 681.2 POL
Niveau 3 - Informatique
Résumé : Un cours sur la construction d'applications complexes réparties sur des réseaux sociaux ou sur Internet. L'auteur met notamment l'accent sur les concepts qu'un architecte informatique doit maîtriser lorsqu'il conçoit un nouveau système. ©Electre 2019
Ellipses
2020 -
Disponible - 681.2 PRO
Niveau 3 - Informatique
Résumé : Un manuel présentant les bonnes pratiques pour la programmation par contraintes, proposant des modèles efficaces pour des problèmes d'optimisation complexes. ©Electre 2020
par Gueidan, Audric
Dunod
2020 -
Disponible - 681.2 GUE
Niveau 3 - Informatique
Résumé : Un guide de construction et d'utilisation des principales consoles open source. Il couvre aussi bien les questions de programmation que de matériel et prodigue des repères dans la conception du retrogaming. ©Electre 2020
par Martin, Robert C.
Pearson
2020 -
Disponible - 681.2 MAR
Niveau 3 - Informatique
Résumé : Un guide consacré à la conception de l'architecture logicielle dans lequel l'auteur explique ce qui est attendu d'un bon architecte logiciel, les expertises qu'il doit développer, les principes essentiels et la mise en place des modèles, que ce soit pour le web, les bases de données ou les applications. Les erreurs ainsi que la façon de les prévenir et de les réparer sont également abordées. ©Electre 2020
par Pradat-Peyre, Jean-François ; Printz, Jacques
Dunod
2021 -
Disponible - 681.2 PRA
Niveau 3 - Informatique
Résumé : Guide des bases indispensables pour mener des tests tout au long du cycle de vie d'un logiciel, avec des références et des méthodes pour corriger les erreurs de code. Il permet de se préparer au passage de la certification ISTQB du métier de testeur. Cette édition rend compte des évolutions dans la pratique des tests logiciels au cours des trois dernières années. ©Electre 2021
par Homes, Bernard
Iste éditions
2021 -
Disponible - 681.2 HOM
Niveau 3 - Informatique
Résumé : L'ISTQB définit le cahier des charges des connaissances techniques et méthodologiques requises pour le test de logiciels. Cet ouvrage fournit les informations nécessaires pour obtenir cette certification.
Les bibliothèques de la ville de Paris
Les bibliothèques universitaires
La BnF
L'encyclopédie Wikipédia
L'Encyclopædia Universalis
La bibliothèque du film
La médiathèque de la Philharmonie de Paris
