Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 30th International Symposium on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the tracks and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed post-proceedings of the 11th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes of the proceedings from the 28th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19–20, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This volume constitutes the refereed proceedings of the 21st International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Security and Privacy in Smart Environments (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Data Analytics and Management in Data Intensive Domains: 25th International Conference, DAMDID/RCDL 2023, Moscow, Russia, October 24–27, 2023, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the post-conference proceedings of the 25th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Collaboration Technologies and Social Computing: 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11–14, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 30th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 29th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26–28, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
