Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mobile Computing, Applications, and Services: 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Mobile Computing, Applications, and Services, MobiCASE 2020, held in Shanghai, China, in September 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Human-Centered Software Engineering: 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 17th International Colloquium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Security: ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Bog, Paperback / softback, Engelsk)
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 19th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Service-Oriented Computing: 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, held in Crete, Greece, in September 2020.*The 9 full and 2 short papers were carefully reviewed and selected from 23 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage)
