for at udvide
kategorilisten.
Softwareudvikling
-
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) -
Job Scheduling Strategies for Parallel Processing: 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 27th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Applied Computer Sciences in Engineering: 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23–25, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Applied Computer Sciences in Engineering: 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23–25, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II (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) -
Software and Data Engineering: 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 33rd International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Computing: 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4–6, 2024, Revised Selected Papers, Part II (Bog, Paperback / softback, Engelsk)
This two-volume set CCIS 2208-2209 constitutes revised selected papers... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Information Systems and Technological Advances for Sustainable Development: Proceedings of the Fifth International Conference DATA2024, Kosice, Slovakia (Bog, Paperback / softback, Engelsk)
This multidisciplinary book highlights the latest advances in the field of Information and Communication Technologies (ICTs) and various research domains crucial for sustainable development.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV (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) -
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)
