Lu Feng - Böcker
Visar alla böcker från författaren Lu Feng. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Runtime Verification
21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
Häftad, Engelska, 2021
823 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions.
Engineering Multi-Agent Systems
13th International Workshop, EMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers
Häftad, Engelska, 2026
638 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 13th International Workshop on Engineering Multi-Agent Systems, EMAS 2025, which took place in Detroit, USA, during May 19–20, 2025.The 13 full papers in this book were carefully reviewed and selected from a total of 16 submissions. The book also contains one paper on the community roadmap for EMAS. The contributions focus on topics such as agent-oriented software engineering, programming multi-agent systems, declarative agent languages and technologies, artificial intelligence, and machine learning.