for at udvide
kategorilisten.
Softwareudvikling
-
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
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 July 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications - ICCSA 2014: 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 204, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Enterprise Information Systems: 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book contains substantially extended and revised versions of the best... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Business Modeling and Software Design: 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book contains the extended and revised versions of selected papers from the 4th International Symposium on Business Modeling and Software Design, BMSD 2014, held in Luxembourg, Luxembourg, in June 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Software Business: 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book contains the refereed proceedings of the 7th International Conference on Software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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) -
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)
