Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suitePractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suiteThis book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
Lire la suiteThis edited volume explores the legal, economic and political context for the debate about intellectual property rights for ...
Lire la suiteThis book has a rather long-winding history. It is not like anything else the present author ever wrote, as all the rest ...
Lire la suiteThis book treats Jacques Tits's beautiful theory of buildings, making that theory accessible to readers with minimal background. ...
Lire la suitePoint process statistics is successfully used in fields such as material science, human epidemiology, social sciences, animal ...
Lire la suiteIt merges political ecology, collective-action theories, and institutional analysis to study how the people and forests have ...
Lire la suiteThe book constitutes a unique combination of in-depth insights into the counterfeit market, best-practice strategies, novel ...
Lire la suiteThis book explores the legal aspects of cybersecurity in Poland. The authors are not limited to the framework created by ...
Lire la suiteThis book aims, through a gentle narrative approach, to stimulate an awareness of the issues and be a readable, challenging ...
Lire la suiteThis book aims, through a gentle narrative approach, to stimulate an awareness of the issues and be a readable, challenging ...
Lire la suiteThe International Conference on Asian Digital Libraries (ICADL) is an annual international forum that provides opportunities ...
Lire la suiteThis book focuses on intellectual property issues and rights in digital - dia, their connection with consumer protection, ...
Lire la suiteWe are happy to present to you the proceedings of the 3rd International Workshop on Digital Watermarking, IWDW 2004. Since ...
Lire la suiteGuides you through the function, history, development, care, repair and conservation of doors by chapter authors who are ...
Lire la suiteThere are many books on electron microscopy, however, the study of polymers using EM necessitates special techniques, precautions ...
Lire la suiteEngineering Optics is a book for students who want to apply their knowledge of optics to engineering problems, as well as ...
Lire la suiteHelps the user to correctly use fiber-reinforced concrete as a building material in accordance with its properties in order ...
Lire la suiteCovers the flux pinning mechanisms and properties and the electromagnetic phenomena caused by the flux pinning common for ...
Lire la suite