Bøker utgitt av Springer Nature Switzerland AG

Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.

Based on 3D smoothed particle hydrodynamics simulations performed with unprecedented high resolution, this book examines the giant impacts that dominate many planets' late accretion and evolution.

This book covers the fundamental knowledge of layout design from the ground up, addressing both physical design, as generally applied to digital circuits, and analog layout.

This book presents theoretical and practical findings on the state estimation, diagnosis and control of complex systems, especially in the mathematical form of descriptor systems.

This book covers the principles, historical development, and applications of many acoustic logging methods, including acoustic logging-while-drilling and cased-hole logging methods.

It addresses the urgent need for sociologists to develop a clinical approach in their effort to improve society, with the emphasis that clinical sociology should complement the work of other disciplines such as clinical psychology, social work, and social anthropology.

In this thesis chemical and epitaxial degrees of freedom are used to manipulate charge and spin ordering phenomena in two families of transition metal oxides, while taking advantage of state-of-the-art resonant x-ray scattering (RXS) methods to characterize their microscopic origin in a comprehensive manner.

The main goal of this book is to systematically address the mathematical methods that are applied in the study of synchronization of infinite-dimensional evolutionary dissipative or partially dissipative systems.

This book gives the state-of-the-art on transversals in linear uniform hypergraphs. The second audience is the established researcher in hypergraph theory who will benefit from having easy access to known results and latest developments in the field of transversals in linear hypergraphs.

This book first explains autism, its prevalence, and some conventional intervention techniques, and it then describes how virtual reality technology can support autism intervention and skills training.

This book addresses the problems of fracture mechanics of materials with cracks under the loading directed along the cracks.

This textbook focuses on underground ventilation, addressing both theoretical and practical aspects.

This extensively revised 4th edition comprehensively covers information retrieval from a biomedical and health perspective, providing an understanding of the theory, implementation, and evaluation of information retrieval systems in the biomedical and health domain.

Experiments have similarly not been able to observe coherent vortex dynamics. This thesis resolves this challenge, bringing microphotonic techniques to bear on two-dimensional superfluid helium, observing coherent vortex dynamics for the first time, and achieving this on a silicon chip.

The book discusses the structural and electronic properties of strained epitaxial layers, the thermodynamics and kinetics of layer growth, and it describes the major growth techniques: metalorganic vapor-phase epitaxy, molecular-beam epitaxy, and liquid-phase epitaxy.

This book offers a timely report on an emerging topic in the field of wearable assistive technology: the design and development of robotic extra fingers.

The Global Engineers: Building a Safe and Equitable World Together, is inspired by the opportunities for engineers to contribute to global prosperity.

This book presents a comprehensive review of renewable energy-based sustainable drying techniques for developing countries. Sustainable food drying techniques in developing countries: Prospects and Challenges is a singular work in the field of food preservation and affordable drying technology.

This thesis demonstrates that an ultralow temperature refrigeration technique called "demagnetisation refrigeration" can be miniaturised and incorporated onto millimeter-sized chips to cool nanoelectronic circuits, devices and materials.

This thesis focuses on a cutting-edge area of research, which is aligned with CERN's mainstream research, the "AWAKE" project, dedicated to proving the capability of accelerating particles to the energy frontier by the high energy proton beam.

The author uses the theoretical writings of Islamic theologians, jurists, and philosophers to describe the conceptOverall, this investigation looks at the extent to which the development of Islamic modes of disputation is rooted in Aristotle and the classical tradition.

This book focuses on biodiesel combustion, including biodiesel performance, emissions and control. It then addresses biodiesel production processes and oil feedstocks in detail, discusses the physiochemical properties of biodiesel, and explores the benefits and drawbacks of these properties.