Exclusivité web : à partir de 35 euros d’achat, frais de port à 1 centime pour les expéditions vers la France métropolitaine, la Suisse et l’UE avec Colissimo ou GLS
Recherche avancée
Année de parution (25)
Appliquer
Effacer ce filtre
État de parution (4)
Appliquer
Inverser les choix
Effacer ce filtre
Plus de filtres
Langue (2)
Appliquer
Inverser les choix
Effacer ce filtre
Plus de filtres
Thème (1)
Appliquer
Effacer ce filtre
Plus de filtres
Support (3)
Appliquer
Inverser les choix
Effacer ce filtre
Plus de filtres
Auteur
Appliquer
Effacer ce filtre
Trier par...
Pertinence
Date de parution
Auteur
Titre
Prix
Recherche sur le thème Génie logiciel :
Nous trouvons 396 ouvrages correspondant à Génie logiciel
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This book constitutes the refereed proceedings of the scientific track of the 7th Software Quality Days Conference, SWQD 2015, held in Vienna, Austria, in January 2015.. The SWQD conference offers...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
CMake is an open-source build tool enabling collaboration among software developers working on distinct platforms by using a common build specification to drive their native build tools...
Disponible chez l'éditeur (délai d'approvisionnement : 5 jours).
Software testing is a critical aspect of the software development process, and this heavily illustrated reference takes professionals on a complete tour of this increasingly important...
Disponible chez l'éditeur (délai d'approvisionnement : 16 jours).
This book constitutes the refereed proceedings of the Second International Conference on Games and Learning Alliance, GALA 2013, held in Paris, France, in October 2013.. The 25 revised papers...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Modern-day projects require software and systems engineers to work together in realizing architectures of large and complex software-intensive systems. To date, the two have used their own tools...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
A new product can be easy or difficult to use, it can be efficient or cumbersome, engaging or dispiriting, it can support the way we work and think - or not. What options are available for...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Public. l Aux étudiants en informatique qui suivent un cursus comportant du génie logiciel, de la modélisation UML ou de la programmation objet. l Aux professeurs désirant s?appuyer sur un support...
Disponible chez l'éditeur (délai d'approvisionnement : 5 jours).
This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
SIMATIC S7-300 has been specially designed for innovative system solutions in the manufacturing industry, and with a diverse range of controllers it offers the optimal solution for applications...
Disponible chez l'éditeur (délai d'approvisionnement : 12 jours).
This book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control. Readers will learn how to define the...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area -...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.. The 29...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This edited book presents scientific results of 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2014...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
The aim of this book is to explain to high-performance computing (HPC) developers how to utilize the Intel® Xeon Phi? series products efficiently. To that end, it introduces some computing...
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).