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
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
