Bøker utgitt av Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.

Das Lehrbuch fuhrt systematisch in das Gebiet des internen Rechnungswesens ein. Neben der Kosten- und Leistungsrechnung werden auch Betriebsstatistik und Planungsrechnung behandelt jeweils mit praxisrelevanten Beispielen sowie Ubungsaufgaben mit Losungen."

This book describes an engineering approach based on interactive boundary-layer and stability-transition theories, both developed by the author, for calculating aerodynamic flows. This is the first time these powerful computational techniques have been published in book form.

On the other hand, the text is designed to be educational and, in many instances, goes a long way to explain why certain properties are observed and why certain processes take place.

This book provides the most comprehensive, up-to-date theory and state-of-the-art algorithms of spectral methods. It is written by the authors who pioneered the subject and who introduced spectral methods as a mainstream tool for scientific and engineering computation.

Das Handbuch f hrt Schritt f r Schritt durch die juristisch, betriebswirtschaftlich und technisch relevanten Bereiche des Patentmanagements. An Beispielen wird erkl rt, wie Erfindungen, Patente und Patentportfolios analysiert und bewertet werden k nnen.

This book deals with condition as a main aspect in the understanding of the performance-regarding both stability and complexity-of numerical algorithms. It offers partial solutions for Smale's 17th problem.

Not only are European industries shrinking and experiencing diminishment of their capability to add value, but Europe has lost more than a third of its GDP, which had been primarily based on manufacturing, and it suffers the consequences in high unemployment and weakened states finance.

History of Social Law in Germany

Data you need to know about China

This book presents numerous exercises with solutions to help the reader better understand different aspects of modern statistics. It features applications with R and Matlab code that show how to practically use the methods.

This second edition of the classic work uses definitions, topical quotations by famous people and amusing cartoons in its exhaustive coverage of pediatric orthopedics. Brought right up to date it is a a superb practical resource for clinicians in the field.

Chapter 1 gives some basic introduction to uncertain theories, including probability theory, credibility theory, uncertainty theory and chance theory. Chapter 4 and 5 provide two uncertain DEA methods to evaluate the DMUs with limited or insufficient statistical data, named fuzzy DEA and uncertain DEA.

This book collects the work of Zhao Baoxu, a prominent scholar of political science, international political scientist and educator.

This book examines the trends, concepts and directions in cartography and mapping in modernism and post-modernism. It explores philosophical and epistemological issues in cartography from positivist-empiricist, neo-positivist and post-structuralist stances.

Offering many illustrations and tables, this book presents the latest in forensic histopathology, radiology, toxicology and medical malpractice. Covers trauma, traffic medicine, forensic alcohol toxicology, forensic DNA analysis, forensic osteology and more.

This book offers a self-contained exposition of classical Galois theory and its applications to of solvability of algebraic equations, connects the theory with classification of coverings over a topological space, introduces topological Galois theory and more.

Boasting a wealth of experimental results and algorithms as well as a clear exposition of the mathematical background, this introduction to adaptive digital filtering guides the reader from the theoretical fundamentals to real-life technical applications.

This pioneering English-language textbook on case-based reasoning includes chapter summaries, background notes, and exercises. The class-tested, systematic presentation moves from core principles to methodology, advanced techniques, and knowledge sources.

This book features recent research on computational intelligence techniques for the automated design of analog and high-frequency circuits. It will help readers handle state-of-the-art algorithms and even design their own methods.

This book shows how to build in, evaluate, and demonstrate reliability and availability of components, equipment, systems. It features checklists for design reviews and more than 100 practice oriented examples.

These languages are quite similar with respect to persistency, and the authors explain their differences where necessary.The book targets professional programmers working on any industry applications, it teaches you how to design your own persistent data or how to use the existing packages efficiently.

In order to realize this hope, it firstly depends on the transformation from the previous high birth rate, high death rate, and low growth rate of population, to a high birth rate, low death rate, and high growth rate, and finally to a low birth rate, low death rate, and low growth rate.

Notable for its analysis of real-life cases and frank interviews with lawyers, this unique ethnographic study of German prosecutorial decision making shows how efficiency measures such as charge bargaining are undermining the system's celebrated objectivity.

This book covers advances in science and technology communication and popularization practice and research (STCP) both in China and abroad. It calls for a greater emphasis to be placed on research into promoting scientific literacy.

This book reports on the origin and history of polycondensation chemistry beginning in the first half of the 19th century. It also discusses the classical theory of step-growth polymerizations in the light of the latest experimental and theoretical results.

The revised and updated 3rd edition of Plant Litter reflects and discusses new findings and re-evaluates earlier ones in light of recent research and current areas of investigation. Covers decomposition dynamics and new analytical technique using 13c-nmr.