for at udvide
kategorilisten.
Softwareudvikling
-
Automotive Software Architectures: An Introduction (Bog, Paperback / softback, Engelsk)
This book introduces the concept of software architecture as one of the cornerstones of software in modern cars.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering Multi-Agent Systems: 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Engineering Multi-Agent Systems, EMAS 2020, held in Auckland, New Zealand, in May 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Embedded Systems – A Hardware-Software Co-Design Approach: Unleash the Power of Arduino! (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Networked Systems: 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers of the 8th International Conference on Networked... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Head and Neck Tumor Segmentation: First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the First 3D Head and Neck Tumor Segmentation in PET/CT Challenge, HECKTOR 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Constructive Side-Channel Analysis and Secure Design: 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the 11th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings (Bog, Paperback / softback, Engelsk)
This open access book constitutes the proceedings of the 24th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, (Bog, Paperback / softback, Engelsk)
This open access two-volume set constitutes the proceedings of the 27th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings (Bog, Paperback / softback, Engelsk)
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Levering: Skaffevare (forvent 14 - 30 hverdage)
