Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V (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) -
Information and Communication Technologies: 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16–18, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12th Ecuadorian... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the Second International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Conceptual Modeling: ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Technologies and Innovation: 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11–14, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Conceptual Modeling: 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 43rd International Conference on Conceptual... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Metamodeling for Extended Reality (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Services Computing – SCC 2024: 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 21st International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
