Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-26 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2023, yang diadakan selama 22-27 April 2023, di Paris, Prancis, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023. 12 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipi…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-25 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2022, yang diadakan selama 4-5 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 17 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipili…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-25 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2022, yang diadakan selama 4-5 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 17 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipili…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-24 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2021, yang diselenggarakan selama 27 Maret hingga 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan diselenggarakan di Luksemburg dan diubah menjadi fo…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-24 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2021, yang berlangsung selama 27 Maret–1 April 2021, dan diadakan sebagai bagian dari Konferensi Gabungan tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg tetapi diubah menjadi for…
This open access book presents a new generation multi-criteria, multi-stake holder, decision aide, called an "institutional compass". Based on hard data, the compass tells us what quality-direction we are heading in as an institution, region, system or organisation. The quality is not chosen from the usual scalar qualities of: good, neutral and bad. Instead, it is a quality chosen between: harm…
This Open Access book brings together authoritative voices in animal and environmental ethics, who address the many different facets of changing human-animal relationships in the Anthropocene. As we are living in complex times, the issue of how to establish meaningful relationships with other animals under Anthropocene conditions needs to be approached from a multitude of angles. This book offe…
This short open access book investigates the role of renewable energy in East Africa to provide policy-relevant inputs for the achievement of a cost-effective electrification process in the region. For each country, the authors review the current situation in the domestic power sector, adopt a GIS-based approach to plot renewable energy resources potential, and review currently planned projects…
This book focuses on the global cycles of energy, water and carbon, which are not only the essentials of our main energy carriers, the fossil fuels, but are also the building blocks of life. The book offers an overview of the basic scientific facts and relationships that are needed to understand today’s energy generation and use, how they relate to global climate, the water cycle and other re…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-23 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. 23 makalah lengkap, 1 makalah alat, dan 6 makalah kompetisi penguj…