This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suite
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suite
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Lire la suite
As part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation ...
Lire la suiteThis book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
Lire la suiteFirmly grounded in the scholarly literature globally, it engages with the experience of local practicioners. It presents ...
Lire la suite
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Lire la suite
This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...
Lire la suite
Provides employees and managers in sales with a clearly defined process for building sustainable business relationships along ...
Lire la suite
Contains the latest results of clinical and pharmacological research on Acetylsalicylic acid, addressing the multiple pharmacological ...
Lire la suite
Designed to meet the needs of all orthodontists interested in treating children, adolescents, and/or adults with brackets ...
Lire la suite
Acid rain is still with us. Although it is a problem that people have worked diligently to solve, there are still many problem ...
Lire la suite
This book is the result of a conference held biannually at the Goodwin-Niering Center for Conservation Biology and Environmental ...
Lire la suite
This is the first handbook on zeolites and other microporous materials. It is an up-to-date, highly sophisticated collection ...
Lire la suite
The book covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms ...
Lire la suite
When one listens to music at home, one would like to have an acoustic impression close to that of being in the concert hall. ...
Lire la suite
From the reviews of the 1st edition: "It will surely remain the most comprehensive work in this field for a long time to ...
Lire la suite
Covers: Payment cards and protocols EMV contact chip and contactless transactions Disputes, arbitration, and compliance Data ...
Lire la suite
Active Directory Field Guide is ideal for Windows and Active Directory administrators and consultants. It contains valuable ...
Lire la suite
Measures of Active Labor Market Policy - such as training, wage subsidies, public employment measures, and job search assistance ...
Lire la suite