Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity. The results of their work, Rethinking Productivity…
This open access handbook is a major reference work in the field of Military Sciences. Its main purpose is to inform and enlighten those dealing with the military on the role and contributions of science in describing, understanding and explaining military life, knowledge and doings. The handbook provides a comprehensive thematic introduction to various sub-fields of Military Sciences. The …
Utilizing a mixed-methods approach, this book uncovers the historical trajectory of U.S. independent hip-hop in the post-golden era, seeking to understand its complex relationship to mainstream hip-hop culture and U.S. culture more generally. Christopher Vito analyzes the lyrics of indie hip-hop albums from 2000-2013 to uncover the dominant ideologies of independent artists regarding race, cla…
This open access book identifies and discusses biodiversity’s contribution to physical, mental and spiritual health and wellbeing. Furthermore, the book identifies the implications of this relationship for nature conservation, public health, landscape architecture and urban planning – and considers the opportunities of nature-based solutions for climate change adaptation. This transdiscipli…
This Open Access edition of the European Society for Blood and Marrow Transplantation (EBMT) handbook addresses the latest developments and innovations in hematopoietic stem cell transplantation and cellular therapy. Consisting of 93 chapters, it has been written by 175 leading experts in the field. Discussing all types of stem cell and bone marrow transplantation, including haplo-identical…
Prosiding akses terbuka LNCS 13964, 13965, 13966 merupakan prosiding yang diseleksi dari Konferensi Internasional ke-35 tentang Verifikasi Berbantuan Komputer, CAV 2023, yang diadakan di Paris, Prancis, pada bulan Juli 2023. 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dan dipilih secara saksama dari 261 kiriman. Makalah-makalah tersebut telah disusun dalam beberapa bagian top…
Prosiding akses terbuka LNCS 13964, 13965, 13966 merupakan prosiding yang diseleksi dari Konferensi Internasional ke-35 tentang Verifikasi Berbantuan Komputer, CAV 2023, yang diadakan di Paris, Prancis, pada bulan Juli 2023. 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dan dipilih secara saksama dari 261 kiriman. Makalah-makalah tersebut telah disusun dalam beberapa bagian top…
Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-26 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 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. 26 makalah reguler yang disajikan dalam volume ini ditinjau dan dipilih dengan cermat da…
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 hasil dari Simposium Eropa ke-32 tentang Pemrograman, ESOP 2023, yang diselenggarakan pada tanggal 22-27 April 2023 di Paris, Prancis, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023. 20 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 55 kiriman. Makalah-makalah tersebut …