Bøker utgitt av Springer International Publishing AG

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.

This thesis presents and discusses recent optical low-temperature experiments on disordered NbN, granular Al thin-films, and the heavy-fermion compound CeCoIn5, offering a unified picture of quantum-critical superconductivity.

This book explores the theory and practice of Victorian liberal parenting by focusing on the life and writings of John Morley, one of Britain's premier intellectuals and politicians.

This book aims to offer a thorough study and reference textbook on electrical machines and drives. In the third part, electrical drives are discussed, combining the traditional (rotating field and DC commutator) electrical machines treated in the first part and the power electronics of part two.

RTW states on average and median have lower life expectancy, higher obesity prevalence, and higher rates of all-cause mortality, early mortality from chronic conditions, child mortality, and risk behaviors than non-RTW states.

This book explains how the specifics of Stiff Extrusion influence on the metallurgical properties of Extruded Briquettes. The authors start reviewing the existing briquetting technologies, providing the reader later on with the specifics of stiff extrusion briquetting technology.

Thanks to the emphasis put on analytical methods and numerical results, the book is meant to make students and engineers familiar with all fundamental equations and their derivation, thus stimulating them to write interactive and dynamic programs to analyze instability and vibrational modes.

This book examines the different motivational policies used for inventory management. The motivational policies covered in the following chapters are dedicated to advance payment/prepayment schemes and also special sales offered by retailers to increase sales levels or decrease the inventory level.

Hence, the thesis cross-links three of the most important aspects in high-quality research: model development, simulation and experimental validation.Network modelling is used to develop a tool to simulate the thermal performance of power transformers, widely acknowledged to be critical assets in electrical networks.

This book explores reasoning with rough sets by developing a granularity-based framework. It begins with a brief description of the rough set theory, then examines selected relations between rough set theory and non-classical logics including modal logic.

This book examines the costs of implementing in situ (ISRU) resource utilization on the Moon and Mars. It Includes three approaches for based on processing only the atmosphere: solid oxide electrolysis, reverse water gas shift reaction, and absorbing water.

This book discusses design techniques, layout details and measurements of several key analog building blocks that currently limit the performance of 5G and E-Band transceivers implemented in deep-scaled CMOS.

This book argues that we are witnessing the emergence of 'commercial democracy' in which public relations, promotional culture and the media play a new, central role.

This book takes a fresh look at pricing, product differentiation and the need for decommoditisation in market sectors where products and services are standardised and interchangeable.

This book explains the foundation of approximate Bayesian computation (ABC), an approach to Bayesian inference that does not require the specification of a likelihood function.

This book is open access under a CC BY 4.0 license. This authored monograph analyses the determining factors of societal evolution: the interaction between individuals and the resulting relationship, which the author calls the "Social Bond".

At a time when the Humanities are under threat, this book offers a defense of poetry within the context of growing interest in mindfulness in business, health care, and education.

This book provides a concise yet comprehensive literature review on leadership. A vital tool for leadership students and scholars, the text will enable readers to demonstrate a critical awareness of current developments both in theory and practice of leadership and its importance in modern organizations.

This book focuses on technical safety, means of expanding the current procedures, and making the related risks more predictable.

This book examines the complexities of the hipster through the lens of art history and cultural theory, from Charles Baudelaire's flaneur to the contemporary "creative" borne from creative industries policies.

Authenticity is everywhere: political leaders invoke the idea to gain our support, advertisers use it to sell their products. This cultural history of authenticity is of interest to academic and lay readers alike, who are interested in the significance and history of a concept that shapes how we understand ourselves and the world we live in.