Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Society 5.0: 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26–28, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes of the revised selected papers from the 4th International Conference on Society 5.0, Society 5.0 2024, held in Moka, Mauritius, during June 26-28, 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Disruptive Information Technologies for a Smart Society: Proceedings of the 14th International Conference on Information Society and Technology (ICIST) (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Digital Product Management in the Era of Data Economy, Artificial Intelligence, and Ecosystems: First International Conference on Digital Product Management, ICDPM 2024, Gothenburg, Sweden, June 12, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the First International Conference on Digital Product Management, ICDPM 2024, which took place in Gothenburg, Sweden, on June 12, 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Sustainable Development through Machine Learning, AI and IoT: Second International Conference, ICSD 2024, Virtual Event, April 27–28, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Second... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Subject-Oriented Business Process Management. Models for Designing Digital Transformations: 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21–22, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed post proceedings of the 15th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Linking Theory and Practice of Digital Libraries: 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 18th International Conference on Reachability... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Parallel Computational Technologies: 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2–4, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed post proceedings of the 18th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers (Bog, Paperback / softback, Engelsk)
This open access book constitutes revised selected papers from the First... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 24th International Conference on Runtime... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
