The purpose of this open access book is threefold. The first is to shed light on patient participation and health literacy for Good Health and Well-being, which is one of the UN's Sustainable Development Goals. Health literacy is considered a prerequisite for patients to be able to participate in shared decisions on their own treatment (WHO,1998). Health literacy has received increased internat…
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 two parts, this open access work offers a broad and often unconventional approach to animal ethics, written by a pioneer in animal welfare science and ethics. The author Clive Phillips, Australia's first professor of animal welfare, first describes his life experience and career in the field, which enabled him to provide thoughts and possible solutions to some of the key problems in human-an…
Until recently the Russian Federation used to be one of the largest markets for outbound travel. Among Russians’ favourite destinations were cities that used to be part of the Russian Empire and the Soviet Union, and are now located in the independent nation-states bordering Russia. This open access book provides an empirically rich and conceptually sophisticated account of the mnemonic inter…
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…
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…