for at udvide
kategorilisten.
Softwareudvikling
-
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 24th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Provenance and Annotation of Data and Processes: 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 8th and 9th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Chinese Lexical Semantics: 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-workshop proceedings of the 21st Chinese Lexical Semantics Workshop, CLSW 2020, held in Hong Kong, China in May 2020.Due to COVID-19, the conference was held virtually.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Architecture of Computing Systems: 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, held virtually in July 2021. The 12 full papers in this volume were carefully reviewed and selected from 24 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Multi-Agent Systems: 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)
The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Electronic Government: 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Euro-Par 2021: Parallel Processing: 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 27th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Wireless Algorithms, Systems, and Applications: 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The three-volume set LNCS 12937 - 12939 constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021.
Levering: Skaffevare (forvent 14 - 30 hverdage)
