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