This book illustrates key sustainability issues in global textile and fashion value chains, by examining individual types of fibers either at a single step in or along the entire value chain. It ap…
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. Th…
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The fir…
This book provides a broad overview of essential features of subsurface environmental modelling at the science-policy interface, offering insights into the potential challenges in the field of subs…
This book presents experimental and numerical findings on reducing shock-induced separation by applying transition upstream the shock wave. The purpose is to find out how close to the shock wave th…
This book provides a tutorial on quantum communication networks. The authors discuss current paradigm shifts in communication networks that are needed to add computing and storage to the simple tra…