for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Technology Research Explained: Design of Software, Architectures, Methods, and Technology in General (Bog, Paperback / softback, Engelsk)
This book aims to help research practitioners in technology science avoid some of the most common pitfalls or at least make them easier to overcome.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Diabetic Foot Ulcers Grand Challenge: Third Challenge, DFUC 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the Third Diabetic Foot Ulcers Grand Challenge, DFUC 2022, which was held on September 2022, in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022 in Singapore.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31–August 1, 2022, 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) -
Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops: IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4–7, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: 6 - 9 hverdage
-
Lesion Segmentation in Surgical and Diagnostic Applications: MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18–22, 2022, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6–10, 2023, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Machine Learning and Data Mining for Sports Analytics: 9th International Workshop, MLSA 2022, Grenoble, France, September 19, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International... Læs mere
Levering: 6 - 9 hverdage -
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage)
