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