Books published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

You already know you can create amazing things with LEGO, but did you know you can also make vehicles that roll and model plans that include landing gear and flaps that actually extend and retract?

This is a highly practical guide to programming real-time embedded microcontroller systems in C++. Its many examples are backed by real-time performance measurements and size analyses that quantify the true cost of the code to the last byte and microsecond.

Chapter 1. Know-How! New corporate responsibility for the digital society.- Chapter 2. Watch it! Thinking digitalization and sustainability together.- Chapter 3. Zoom in! Assessing Digital Responsibility in the Company.- Chapter 4. Just do! Implementing CDR in the company.- Chapter 5. Mind the Gap! Mastering challenges in practice.- Chapter 6. Go for impact! Show effectiveness.

This book will acquaint beginners with the basics of musculoskeletal ultrasound, while more advanced sonologists and sonographers will learn new skills, means of avoiding pitfalls, and ways of effectively relating the ultrasound study to the clinical background.

A discussion of raw-material structure and the features used for species identification in pulp is followed up by the description of 117 fiber species. Informative micrographs, identification tables, and distribution maps aid species differentiation, making this atlas ideal for everyone interested in fiber identification.

In its fully revised 2nd edition, this book provides the background needed for a fundamental understanding of biophysics, spanning the whole range of life from a biophysical view, from the molecular, cellular and organismic level to environmental factors.

Underwater acoustics has become one of the major technologies used in the exploration and exploitation of the oceans. This book provides an updated and extended overview of current underwater acoustics. It emphasizes practical approaches to actual problems.

This textbook provides a comprehensive and well-structured introduction to the fundamentals, principles, and techniques of requirements engineering. The book includes numerous real-world examples to illustrate all aspects of requirements engineering.

Product Lifecycle Management (PLM) is an essential means to cope with the challenges of global competition. This is the first English-language book on PLM that introduces the reader to the basic terms and fundamentals of PLM.

This is the most complete text available on the economics of health behavior and health care delivery. The text provides the key analytical tools required to understand current research and models existing complexities as they are.

This book offers a coherent modeling language that captures the complexity of architectural domains and their relations, allowing the construction of integrated enterprise architecture models. Introduces the ArchiMate(R) language for enterprise architecture.

This thought-provoking book considers organizational sales performance at a high, strategic level, offering specific guidance in managing the entire organization's sales function. The authors introduce and apply a practical checklist-based scoring system.

Fundamental Astronomy is a well-balanced, comprehensive introduction to classical and modern astronomy. Long considered a standard text for physical science majors, Fundamental Astronomy is also an excellent reference work for dedicated amateur astronomers.

Zu Leben, Werk und Rezeption der Nobelpreisträgerin. Das Handbuch umfasst Biografisches, künstlerische Kontexte, das feministische und politische Engagement der Autorin, ihre ästhetischen Strategien und Schreibverfahren. In den Besprechungen ihrer Werke geht es um inhaltliche und formale Aspekte ebenso wie um Entstehung, Quellen und Intertexte. Mit einem lexikalischen Teil zu Themen wie Frauenbilder, Heimat, Natur, Nationalsozialismus u. v. m. Das Kompendium greift die öffentlichen Debatten über die Autorin und Skandale auf.

The fourth edition of this standard textbook of modern graph theory has been revised, updated, and substantially extended. Covering all major recent developments, it can be used both as a reliable textbook for an introductory course and as a graduate text.

This book is a major work that focuses exclusively on ship finance and includes contributions on the increasingly complex field of ship finance, which has over the last two decades become a key aspect in the world of shipping and ship owning.

You'll discover keyboard shortcuts and gestures to help save time-whether you're on a iMac, Mac mini, Macbook Pro, Air, or other Mac computer. In terms of apps, you'll learn about iLife, iCal, Mail, Mac App Store, Safari, Address Book and more.

Pro Asynchronous Programming with .NET teaches the essential skill of asynchronous programming in .NET. Pro Asynchronous Programming with .NET is your practical guide to using this important programming skill anywhere on the .NET platform.

This is the first truly ecosystem-oriented book on peatlands. It adopts an ecosystems approach to understanding the world's boreal peatlands. A recurring theme is the legacy of boreal peatlands as impressive accumulators of carbon as peat over millennia.

DevOps for Developers delivers a practical, thorough introduction to approaches, processes and tools to foster collaboration between software development and operations.

All individuals who operate in the business sphere, whether as consumers, employers, employees, entrepreneurs, or financial traders to name a few constituents, share a common biological heritage and are defined by a universal human nature.  As such, it is surprising that so few business scholars have incorporated biological and evolutionary-informed theories within their conceptual toolboxes.  This edited book addresses this lacuna by culling chapters at the intersection of the evolutionary behavioral sciences and specific business contexts including in marketing, consumer behavior, advertising, innovation and creativity, intertemporal choice, negotiations, competition and cooperation in organizational settings, sex differences in workplace patterns, executive leadership, business ethics, store design, behavioral decision making, and electronic communication.  To reword the famous aphorism of T. G. Dobzhansky, nothing in business makes sense except in the light of evolution.

with LEGO Technic Robotics you're actively learning the fundamentals of good design so you can go on to create truly spectacular LEGO robot creations.From robots that run on wheels, walk on two or four legs, or move and function in ways that only you can dream up, this book will help you create your own robot army.

Understand .NET memory management internal workings, pitfalls, and techniques in order to effectively avoid a wide range of performance and scalability problems in your software. Despite automatic memory management in .NET, there are many advantages to be found in understanding how .NET memory works and how you can best write software that interacts with it efficiently and effectively. This book is your comprehensive guide to writing better software by understanding and working with memory management in .NET, from Framework up to .NET 8.Thoroughly vetted by the .NET Team at Microsoft, this book contains 25 valuable troubleshooting scenarios designed to help diagnose challenging memory problems. You will also benefit from a multitude of .NET memory management "rules" to live by that introduce methods for writing memory-aware code and the means for avoiding common, destructive pitfalls.What You'll Learn Understand the theoretical underpinnings of automatic memory management Take a deep dive into every aspect of .NET memory management, including detailed coverage of garbage collection (GC) implementation, that would otherwise take years of experience to acquire Get practical advice on how this knowledge can be applied in real-world software development Use practical knowledge of tools related to .NET memory management to diagnose various memory-related issues Explore various aspects of advanced memory management, including use of Span and Memory types

This book contains an introduction to the fundamental principles of the theory of stability of elastic bodies and structures. Beginning with very basic explanations of stability problems, this book starts with the treatment of systems of rigid beams, before beams under normal force and bending as well as the classical field of beam buckling are treated. For the case of beam buckling, an energetic consideration then follows, which forms the basis for a series of approximation methods. In addition to beam buckling, the stability cases of lateral-torsional buckling and lateral buckling are also of fundamental importance, to each of which a separate chapter is dedicated. This is followed by a discussion of plate buckling, and the book concludes with an introduction to shell buckling. This book is aimed at students at technical colleges and universities, as well as engineers in practice and researchers in the engineering sciences.

This textbook offers a rigorous introduction to the foundations of Riemannian Geometry, with a detailed treatment of homogeneous and symmetric spaces, as well as the foundations of the General Theory of Relativity.Starting with the basics of manifolds, it presents key objects of differential geometry, such as Lie groups, vector bundles, and de Rham cohomology, with full mathematical details. Next, the fundamental concepts of Riemannian geometry are introduced, paving the way for the study of homogeneous and symmetric spaces. As an early application, a version of the Poincaré¿Hopf and Chern¿Gauss¿Bonnet Theorems is derived. The final chapter provides an axiomatic deduction of the fundamental equations of the General Theory of Relativity as another important application. Throughout, the theory is illustrated with color figures to promote intuitive understanding, and over 200 exercises are provided (many with solutions) to help master the material.The book is designed to cover a two-semester graduate course for students in mathematics or theoretical physics and can also be used for advanced undergraduate courses. It assumes a solid understanding of multivariable calculus and linear algebra.

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Frege and others, the results of Gödel and Tarski on incompleteness, undecidability and truth in deductive systems and their semantic models are covered. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory. Such theories contain identity types, which give a new understanding of equality, symmetry, equivalence and isomorphism in a conceptual way. The interaction of type theory and infinity category theory yields a new paradigm for a structural view on mathematics. This supports the tendencies towards formalising mathematics with the help of proof assistants.This book was first published in German. The translation was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content.