This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
This book describes the historical development of the architectures of the first computers built by the German inventor Konrad Zuse in Berlin between 1936 and 1945.
This book constitutes the refereed proceedings of the Second International Conference on Advanced Communication and Intelligent Systems, ICACIS 2023, held in Warsaw, Poland, during June 16-17, 2023The 22 full papers included in this book were carefully reviewed and selected from 221 submissions.
This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, held in Wuhan, China, during October 2023.
This book constitutes the refereed post-conference proceedings of the 19th International Conference on Computer Science and Education in Computer Science, CSECS 2023, held in June 2023 in Boston, MA, USA.
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.
This book constitutes the refereed proceedings of the 11th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2022, Cordoba, Spain, November 17-18, 2022.
This book constitutes the referred proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022, Virtual Event, February 6-8, 2022.
This book constitutes the proceedings of the 30th International Conference on Web Services, ICWS 2023, held as Part of the Services Conference Federation, SCF 2023, held in Honolulu, HI, USA, in September 2023.
This book constitutes the refereed proceedings of the 8th International Conference on Progress in Cryptology, LATINCRYPT 2023, held in Quito, Ecuador, in October 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023.
The two-volume set LNCS 14348 and 14139 constitutes the proceedings of the 14th International Workshop on Machine Learning in Medical Imaging, MLMI 2023, held in conjunction with MICCAI 2023, in Vancouver, Canada, in October 2023.
This volume constitutes selected papers presented during the First International Conference on New Media Pedagogy: Research Trends, Methodological Challenges and Successful Implementations, NMP 2022, held in Krakow, Poland, in October 2022.
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
This book describes the historical development of the architectures of the first computers built by the German inventor Konrad Zuse in Berlin between 1936 and 1945.
This book constitutes the refereed proceedings of the 11th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2022, Cordoba, Spain, November 17-18, 2022.
This book constitutes the referred proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022, Virtual Event, February 6-8, 2022.
The two-volume set LNCS 14348 and 14139 constitutes the proceedings of the 14th International Workshop on Machine Learning in Medical Imaging, MLMI 2023, held in conjunction with MICCAI 2023, in Vancouver, Canada, in October 2023.
The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023.
The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023.
This book constitutes the proceedings of the 5th Conference on Creativity in Intellectual Technologies and Data Science, CIT&DS 2023, held in Volgograd, Russia, in September 2023.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
The two-volume set LNCS 14348 and 14139 constitutes the proceedings of the 14th International Workshop on Machine Learning in Medical Imaging, MLMI 2023, held in conjunction with MICCAI 2023, in Vancouver, Canada, in October 2023.
The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023.
The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023.
This book constitutes the proceedings of the 5th Conference on Creativity in Intellectual Technologies and Data Science, CIT&DS 2023, held in Volgograd, Russia, in September 2023.
This book constitutes the refereed proceedings of the 19th International Symposium on Bioinformatics Research and Applications, ISBRA 2023, held in Wroclaw, Poland, during October 9-12, 2023.
This book constitutes the refereed post-conference proceedings of the 6th IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2023, held in Denton, TX, USA, in November 2023.
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.
This book constitutes the refereed post-conference proceedings of the 6th IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2023, held in Denton, TX, USA, in November 2023.
The 9 volume set LNCS 15484-15492 constitutes the refereed proceedings of the 30th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2024, which took place in Kolkata, India, during December 9-13, 2024.
This book constitutes the refereed proceedings of the Second International Conference on Advanced Communication and Intelligent Systems, ICACIS 2023, held in Warsaw, Poland, during June 16-17, 2023The 43 full papers included in this book were carefully reviewed and selected from 221 submissions.
This book constitutes the refereed proceedings of the Second International Conference on Advanced Communication and Intelligent Systems, ICACIS 2023, held in Warsaw, Poland, during June 16-17, 2023The 22 full papers included in this book were carefully reviewed and selected from 221 submissions.
This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, held in Wuhan, China, during October 2023.
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.
This book constitutes the refereed post-conference proceedings of the 19th International Conference on Computer Science and Education in Computer Science, CSECS 2023, held in June 2023 in Boston, MA, USA.
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5-7, 2023.
This book constitutes the refereed proceedings of the 19th International Symposium on Bioinformatics Research and Applications, ISBRA 2023, held in Wroclaw, Poland, during October 9-12, 2023.
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.
This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13-16, 2023.
This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2024, held in Kobe, Japan, during September 17-20, 2024.
This three-volume set constitutes the refereed proceedings of the First World Conference on Explainable Artificial Intelligence, xAI 2023, held in Lisbon, Portugal, in July 2023.
This book constitutes the refereed proceedings of the 5th International Conference on Advances in Quantitative Ethnography, ICQE 2023, held in Melbourne, VIC, Australia, during October 8-12, 2023.