The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Weiterlesen
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Weiterlesen
Details the basic principles and sequencing of cavity preparation and outlines the different preparation designs indicated ...
Weiterlesen
Reviews the evidence relating to the mechanisms, clinical efficacy, safety/toxicity, and clinical application of tooth whitening ...
Weiterlesen
The field of tooth whitening has continued to develop as more and more dental practitioners have turned to cosmetic dentistry ...
Weiterlesen
The application of big data analytics in all fields of research is a critical driver for the competitiveness of all countries ...
Weiterlesen
In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...
Weiterlesen
Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Weiterlesen
Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...
Weiterlesen
Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Weiterlesen
This volume includes lecture notes devoted to the asymptotic analysis of such problems when the multi-scale behaviour derives ...
Weiterlesen
Topological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...
Weiterlesen
The central theme of this book is the restoration of Poincaré duality, on stratified singular spaces by using Verdier-self-dual ...
Weiterlesen
Among scholars as well as practitioners it is taken for granted that liability insurance and liability in tort interrelate ...
Weiterlesen
This publication deals with the European dimension of tort law. It provides a critical analysis of the acquis communautaire, ...
Weiterlesen
This book systematically analyses the interaction of administrative law and tort law. The focus is mainly on safety regulations ...
Weiterlesen
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Weiterlesen
Towards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...
WeiterlesenThis book brings together scholars in the fields of management, public policy, regional studies, and organization theory ...
Weiterlesen
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Weiterlesen