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