Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…
This open access book compares and contrasts the results of international student assessments in ten countries. The OECD’s Programme for International Student Assessment (PISA) released the results of its 2018 assessment in December 2019. This book reflects the debates that typically follow the release of these results and focuses on the causes of differences between countries. Such causes in…
In dieser Open-Access-Publikation beschreibt Britta Reuter auf Basis einer umfassenden Analyse der internationalen Forschungsergebnisse rund um die Öffnung öffentlicher Verwaltungs- und Einkaufsdaten sowie einer empirischen Erhebung die Chancen und Limitationen der Transparenz des öffentlichen Einkaufs für die verschiedenen Akteure aus Verwaltung, Politik, Wirtschaft, Wissenschaft, Medien u…
This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software…
Dua volume akses terbuka LNCS 14574 dan 14575 merupakan prosiding Konferensi Internasional ke-27 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2024, yang berlangsung di Luksemburg pada bulan April 2024. 24 makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih dengan saksama dari 79 kiriman. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut:…
Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih d…
This open access book examines the role of citizens in sustainable energy transitions across Europe. It explores energy problem framing, policy approaches and practical responses to the challenge of securing clean, affordable and sustainable energy for all citizens, focusing on households as the main unit of analysis. The book revolves around ten contributions that each summarise national trend…
Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, Alat dan Algoritma untuk Konstruksi dan Analisis Sistem (TACAS, Tools and Algorithms for the Construction and Analysis of Systems) bagian dari ETAPS dan seri LNCS (Lecture Notes in Computer Science) - 2024, yang diadakan sebagai bag…
This open access book summarizes the latest scientific findings regarding the biological effects of the Fukushima Daiichi Nuclear Power Plant (FNPP) accident in 2011. Various cases of changes in animals and organisms have been reported since the FNPP accident. However, it is often unknown whether they are actually due to radiation, since the dose or dose-rate are not necessarily associated w…