The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during …
This book constitutes the refereed proceedings of the Second Eurasian BIM Forum on Advances in Building Information Modeling, EBF 2021, held in Istanbul, Turkey, during November 11–12, 2021. T…
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book…
The book explains the important concepts and principles of image processing to implement the algorithms and techniques to discover new problems and applications. It contains numerous fundamental an…
The 3-volume set LNAI 13280, LNAI 13281 and LNAI 13282 constitutes the proceedings of the 26th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2022, which was held…
This book constitutes the proceedings of the 27th International Conference on Conceptual Structures, ICCS 2022, held virtually in September 2022. The 7 full papers and 1 short paper presented were…
This book features original research and recent advances in ICT fields related to sustainable development. Based the International Conference on Networks, Intelligent systems, Computing & Environme…
This book constitutes the revised selected papers of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, held in Valletta, Malta, in February 2020. The 11 …
This three-volume set, LNAI 13629, LNAI 13630, and LNAI 13631 constitutes the thoroughly refereed proceedings of the 19th Pacific Rim Conference on Artificial Intelligence, PRICAI 2022, held in Sh…
This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34…
This volume constitutes the refereed proceedings of the workshops held at the 33rd International Conference on Database and Expert Systems Applications, DEXA 2022, held in Vienna, Austria, in Augus…
This is a book about software engineering, bioinformatics, the C++ programming language and the SeqAn library. In the broadest sense, it will help the reader create better, faster and more reliable…
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The fir…
This book constitutes the proceedings of the 21st International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2022, held in Barranquilla, Colombia, in Jul…
-
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022. The 19 full and 11 short papers wer…
This book constitutes the refereed proceedings of the Third MICCAI Workshop on Distributed, Collaborative, and Federated Learning, DeCaF 2022, and the Second MICCAI Workshop on Affordable AI and He…
This book constitutes the proceedings of the 8th International Conference on Decision Support Systems Technologies, ICDSST 2022, held during May 23-25, 2022. The EWG-DSS series of International Co…