Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Business Modeling and Software Design: 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1–3, 2024, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24–25, 2023, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computational Science and Its Applications – ICCSA 2024: 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computational Science and Its Applications – ICCSA 2024: 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 18th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
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)
