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