This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 …
This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Évora, Portugal, during …
This book contains the revised and extended versions of selected papers from the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, which took place …
This book constitutes the refereed proceedings of the 27th International Conference on Developments in Language Theory, DLT 2023, held in Umeå, Sweden, during June 12–16, 2023. The …
This book constitutes the refereed post-conference proceedings of the 15th International Conference, Évolution Artificielle, EA 2022, held in Exeter, UK, during October 31–November …
This book constitutes the refereed proceedings of the 8th International Conference on Advances in Visual Informatics, IVIC 2023, held in Selangor, Malaysia in November 2023.The 51 …
This book constitutes the refereed proceedings of the 29th International Conference on Cooperative Information Systems, CoopIS 2023, held in Groningen, The Netherlands, during …
The four-volume set LNCS 14011, 14012, 14013, and 14014 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 25th International Conference on …
This book constitutes the proceedings of the 22nd International Conference on Computer Information Systems and Industrial Management, CISIM 2023, held in Tokio, Japan, during …
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. …
