Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27–28, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 31st International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies: 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Business Modeling and Software Design: 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
The volume constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017. The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mastering Software Variability with FeatureIDE (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the jointly held... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on Similarity Search and Applications, SISAP 2017, held in Munich, Germany, in October 2017. The 23 full papers presented were carefully reviewed and selected from 53 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
String Analysis for Software Verification and Security (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the thoroughly refereed post-conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Real-World Decision Support Systems: Case Studies (Bog, Paperback / softback, Engelsk)
This book presents real-world decision support systems, i.e., systems that have been running for some time and as such have been tested in real environments and complex situations;
Levering: Skaffevare (forvent 14 - 30 hverdage)
