The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
In diesem Open-Access-Buch stehen Pflegefachpersonen im Zentrum, die zugleich pflegende Angehörige sind. Als professionell Pflegende verfügen sie über Fachwissen, pflegefachliche Kompetenzen und Kenntnisse zum Versorgungssystem. Als pflegende Angehörige sind sie persönlich betroffen. Die qualitative Studie fokussiert auf das Erleben der Doppelrolle als beruflich Pflegende und zugleich pfle…
The subject of this open-access publication is the impact of connected and automated vehicles on the European city and the conditions under which this technology can make a positive contribution to urban development. The authors put forward two theses that have received little attention in the scientific discourse so far: Connected and automated vehicles will not become fully established in all…
This open access book compares the experiences of large-scale military procurement in Canada and Australia. Focusing on the recent frigate and jet-fighter programmes, it demonstrates how delays suffered in delivering weapons systems and platforms in these countries have been caused by misalignments between the strategic requirements set out by the armed forces and government defence policies. B…
This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner. Today’s TBB starts with foundational principles, …
This open access book investigates a topic underexplored in policy transfer: time. Drawing on well-known theories from comparative education, public policy studies, political science, and sociology, but written in an easy-to-understand language, the author discusses seven temporalities of policy transfer: historical period, future, sequence, timing, lifespan, age, and tempo. The temporal dimens…
Dieses Buch beschreibt Maßnahmen zur Sicherstellung der Bearbeitungsgenauigkeit unter thermisch instationären Bedingungen bei gesteigerter Produktivität, ohne zusätzliche Energie für die Temperierung aufzuwenden. Es werden Forschungsergebnisse zu thermischen Einflüssen sowie deren Beeinflussung und Beherrschung vorgestellt. Die dargestellten Entwicklungsarbeiten wurden im Rahmen des Sonde…
This book is an Open Access book. This book discusses engaging prisoners in therapeutic art. It has been prepared for an academic and professional readership and has policy implications for prison governance worldwide. Following years of piloting research, the book presents a prototype for sensitively attuned art therapy delivery that promises new pathways for prisoner rehabilitation. The book …
This open access book explores China's unique path to modernization, highlighting its journey from ancient civilization to modern society. It examines China's efforts from the mid-19th century's internal and external struggles to its contemporary economic achievements. The book covers historical, social, and economic aspects, emphasizing the balance between autonomous development and global int…