Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue readingPractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Continue readingThis book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
Continue readingThis edited volume explores the legal, economic and political context for the debate about intellectual property rights for ...
Continue readingSets out to examine the role of archaeology in the creation of ethnic, national and social identities in 19th and 20th century ...
Continue readingThis book has a rather long-winding history. It is not like anything else the present author ever wrote, as all the rest ...
Continue readingOutlines: the functional requirements of buildings in tropical climates; the challenges associated with the sustainability ...
Continue readingA trusted guide for both students and professionals for nearly 40 years, evolving to address the challenges and responsibilities ...
Continue readingThis book treats Jacques Tits's beautiful theory of buildings, making that theory accessible to readers with minimal background. ...
Continue readingPoint process statistics is successfully used in fields such as material science, human epidemiology, social sciences, animal ...
Continue readingIt merges political ecology, collective-action theories, and institutional analysis to study how the people and forests have ...
Continue readingThe book constitutes a unique combination of in-depth insights into the counterfeit market, best-practice strategies, novel ...
Continue readingThis book explores the legal aspects of cybersecurity in Poland. The authors are not limited to the framework created by ...
Continue readingThis book aims, through a gentle narrative approach, to stimulate an awareness of the issues and be a readable, challenging ...
Continue readingThis book aims, through a gentle narrative approach, to stimulate an awareness of the issues and be a readable, challenging ...
Continue readingThe International Conference on Asian Digital Libraries (ICADL) is an annual international forum that provides opportunities ...
Continue readingThis book focuses on intellectual property issues and rights in digital - dia, their connection with consumer protection, ...
Continue readingWe are happy to present to you the proceedings of the 3rd International Workshop on Digital Watermarking, IWDW 2004. Since ...
Continue readingGuides you through the function, history, development, care, repair and conservation of doors by chapter authors who are ...
Continue readingThere are many books on electron microscopy, however, the study of polymers using EM necessitates special techniques, precautions ...
Continue reading