This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 subm…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submis…
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
Buku ini menggunakan dekolonisasi sebagai lensa untuk menyelidiki gaya, kinerja, dan praktik komunikasi politik di Afrika dan diaspora. Buku ini menyelidiki teori dan praktik komunikasi politik, menggunakan metode penelitian dekolonial untuk memulai proses refleksivitas diri dan penciptaan pendekatan baru terhadap produksi pengetahuan tentang komunikasi politik Afrika. Dengan demikian, buku ini…
This book is about making weather warnings more effective in saving lives, property, infrastructure and livelihoods, but the underlying theme of the book is partnership. The book represents the warning process as a pathway linking observations to weather forecasts to hazard forecasts to socio-economic impact forecasts to warning messages to the protective decision, via a set of five bridges tha…
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present a…
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present a…
This book examines the mobilization, role, and trajectory of women rescuers and perpetrators during the 1994 genocide in Rwanda. While much has been written about the victimization of women during the 1994 genocide in Rwanda, very little has been said about women who rescued targeted victims or perpetrated crimes against humanity. This book explores and analyzes the role played by women who exe…
This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and en…
In the following pages Charles, Count of Tappaneau, represents simply the alert spirit which during the great war ever characterized the Belgians. He is in no sense a real -character. All of the situations are pure fiction. Real names are used only as complimentary and with due respect, with the exception of Niels de Bode, which character pos sibly is too severe.