Förlag Springer Berlin Heidelberg

For a large, complex system, the amount of test cases in a regression test suite can range from a few hundred to several thousands, which can take hours or even days to execute. Regression testing also requires considerable resources that are ofte...

Läs mer »

This edition contains detailed solutions of selected exercises. Many readers have requested this, because it makes the book more suitable for self-study. At the same time new exercises (without solutions) have beed added. They have all been placed...

Läs mer »

This book examines selected legal complexities of the notion of torture and the issue of the proper foundation for legally characterizing certain acts as torture, especially when children are the targeted victims of torture. ICC case law is used t...

Läs mer »

To the uninitiated, algebraic topology might seem fiendishly complex, but its utility is beyond doubt. This brilliant exposition goes back to basics to explain how the subject has been used to further our understanding in some key areas. A number ...

Läs mer »

Constructible and perverse sheaves are the algebraic counterpart of the decomposition of a singular space into smooth manifolds. This introduction to the subject can be regarded as a textbook on modern algebraic topology, treating the cohomology o...

Läs mer »

The Commentary on the Vienna Convention on the Law of Treaties provides an in-depth article-by-article analysis of all of the Vienna Convention's provisions. Each provision's analysis consists of (I) Purpose and Function of the Article, (II) Histo...

Läs mer »

Delineating the huge strides taken in cosmology in the past ten years, this much-anticipated second edition of Malcolm Longair's highly appreciated textbook has been extensively and thoroughly updated. It tells the story of modern astrophysical co...

Läs mer »

This book, written by members of the core faculty responsible for European courses on Medical Response to Major Incidents (MRMI), is a practical guide for all medical staff on how to respond to a wide range of disaster scenarios. The entire spectr...

Läs mer »

The science of dendrochronology has grown significantly in the past 20 years. In the 1950s and 1960s, interest in the subject was limited to only a handful of scientists who perceived in dendrochronology a "l'art pour l'art". Today, howe...

Läs mer »

The book provides an introduction to shipping in all its aspects. It is a valuable source of information for students of traditional maritime law as well as for those who seek to understand maritime and shipping services on a global scale. The tex...

Läs mer »

I have been pleased with the favourable reception of the first edition of this book and I am grateful to have the opportunity to prepare this second edition. In this revised and enlarged edition I corrected some misprints and errors that occurred ...

Läs mer »

Lankhorst and his co authors present ArchiMate(R) 3.0, enterprise modelling language that captures the complexity of architectural domains and their relations and allows the construction of integrated enterprise architecture models. They provide a...

Läs mer »

This text provides an introduction to the mathematical modeling and subsequent optimization of vehicle propulsion systems and their supervisory control algorithms. Automobiles are responsible for a substantial part of the world's consumption of pr...

Läs mer »

This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical prin...

Läs mer »

The main theme is the integration of the theory of linear PDE and the theory of finite difference and finite element methods. For each type of PDE, elliptic, parabolic, and hyperbolic, the text contains one chapter on the mathematical theory of th...

Läs mer »

The term differential-algebraic equation was coined to comprise differential equations with constraints (differential equations on manifolds) and singular implicit differential equations. Such problems arise in a variety of applications, e.g. cons...

Läs mer »

Diese Studie analysiert aus komparativer Perspektive die Filmkultur in Spanien und der DDR zur Zeit der Neuen Kinos. Fern von klassischen westeuropäischen Zentren nahmen in diesen Jahren Filmenthusiasten (Filmklubmitglieder, Filmkritiker und -stud...

Läs mer »

This book provides a rigorous treatment of the coupling of chemical reactions and fluid flow. Combustion-specific topics of chemistry and fluid mechanics are considered and tools described for the simulation of combustion processes. This edition i...

Läs mer »

This self-contained monograph presents matrix algorithms and their analysis. The new technique enables not only the solution of linear systems but also the approximation of matrix functions, e.g., the matrix exponential. Other applications include...

Läs mer »

The 8 recurring volumes of the "Essentials in Ophthalmology" series cover the most recent developments in one of eight subspecialties in Ophthalmology. With four volumes published per year, each subspecialty is newly visited every 24 mon...

Läs mer »

This well-structured and lavishly illustrated book is a comprehensive reference on intraocular inflammation that encompasses all anatomic forms, settings and etiologies. Individual sections are devoted to uveitis associated with systemic disorders...

Läs mer »

This book proposes capacity options as a flexible alternative air cargo contract type, and illustrates how capacity can be priced through option contracts. The analysis is accomplished by means of an analytical multivariate optimization model unde...

Läs mer »

From the reviews: "...Here we have a book which we can wholeheartedly suggest. The mathematics is sound and pared to essentials; the examples are an impressive, well-chosen selection from the biomathematics literature, and the problem sets pr...

Läs mer »

The main purpose of this book is to show how basal cell carcinomas can be treated in a simple, safe, and effective manner by surgery. The importance of histological confirmation of complete excision is discussed at length. A careful repair accordi...

Läs mer »

Formulas and classes.- Axioms of Zermelo-Fraenkel.- Ordinal numbers.- Cardinal numbers.- Finite sets.- Real numbers.- Axiom of choice.- Cardinal arithmetic.- Axiom of regularity.- Transitive models.- Constructible sets.- Consistency of AC and GCH....

Läs mer »

From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding. Meyer builds his presentation on a rich...

Läs mer »

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingesc...

Läs mer »

Panoramic radiology systems are currently being used in more practices than at other any time in the past. The practitioner now has decisions to make regarding detector technology selection for image acquisition and must remain informed about appr...

Läs mer »

This book gives a comprehensive overview on Software Product Management (SPM) for beginners as well as best practices, methodology and in-depth discussions for experienced product managers. This includes product strategy, product planning, partici...

Läs mer »

The second, revised edition of this successful textbook provides an up-to-date description of the use of preoperative fMRI in patients with brain tumors and epilepsies. State of the art fMRI procedures are presented, with detailed consideration of...

Läs mer »