Trust is a fundamental concept in modern society. This book provides current findings of trust research from various disciplines: communication studies, information systems, educational and organiz…
This textbook introduces readers to digital business from a management standpoint. It provides an overview of the foundations of digital business with basics, activities and success factors, and an…
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 open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, a…
This textbook offers a comprehensive introduction to the methodological and technical knowledge necessary for the development of embedded systems. At first, the foundations of embedded systems from…
This congress proceedings provides recent research on leading-edge manufacturing processes. The aim of this scientific congress is to work out diverse individual solutions of "production in the bor…
This book presents the findings of research projects from the Transregional Collaborative Research Centre 73. These proceedings are the result of years of research into sheet–bulk metal forming. …
This book introduces a stability and control methodology named AeroMech, capable of sizing the primary control effectors of fixed wing subsonic to hypersonic designs of conventional and unconventio…
-
-
-