The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on Computer …
This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September …
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 refereed proceedings of the 10th International Symposium on Search-Based Software Engineering, SSBSE 2018, held in Montpellier, France, in September 2018. …
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 constitutes the refereed proceedings of the 10th International Symposium on Bioinformatics Research and Applications, ISBRA 2014, held in Zhangjiajie, China, in June …
This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017, held in Milan, Italy, in July 2016.The 19 full papers presented …
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 conference proceedings of the 9th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2022, which was held in …
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 …
