25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيدAccess to Medicines and Vaccines : Implementing Flexibilities Under Intellectual Property Law
This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
اقرأ المزيد
Accessing and Sharing the Benefits of the Genomics Revolution
This edited volume explores the legal, economic and political context for the debate about intellectual property rights for ...
اقرأ المزيد
Ancient Monuments and Modern Identities : A Critical History of Archaeology in 19th and 20th Century Greece / Sofia Voutsaki, Paul Cartledge
Sets out to examine the role of archaeology in the creation of ethnic, national and social identities in 19th and 20th century ...
اقرأ المزيد
Arts, Sciences, and Economics
This book has a rather long-winding history. It is not like anything else the present author ever wrote, as all the rest ...
اقرأ المزيد
Building Design, Construction and Performance in Tropical Climates / Mike Riley, Alison Cotgrave, Michael Farragher
Outlines: the functional requirements of buildings in tropical climates; the challenges associated with the sustainability ...
اقرأ المزيد
Building Surveys / Peter Glover
A trusted guide for both students and professionals for nearly 40 years, evolving to address the challenges and responsibilities ...
اقرأ المزيد
Buildings : Theory and Applications
This book treats Jacques Tits's beautiful theory of buildings, making that theory accessible to readers with minimal background. ...
اقرأ المزيد
Case Studies in Spatial Point Process Modeling
Point process statistics is successfully used in fields such as material science, human epidemiology, social sciences, animal ...
اقرأ المزيد
Changing Forests : Collective Action, Common Property, and Coffee in Honduras
It merges political ecology, collective-action theories, and institutional analysis to study how the people and forests have ...
اقرأ المزيد
Countering Counterfeit Trade : Illicit Market Insights, Best-Practice Strategies, and Management Toolbox
The book constitutes a unique combination of in-depth insights into the counterfeit market, best-practice strategies, novel ...
اقرأ المزيدCybersecurity in Poland : Legal Aspects
This book explores the legal aspects of cybersecurity in Poland. The authors are not limited to the framework created by ...
اقرأ المزيد
Digital Decision Making
This book aims, through a gentle narrative approach, to stimulate an awareness of the issues and be a readable, challenging ...
اقرأ المزيد
Digital Decision Making
This book aims, through a gentle narrative approach, to stimulate an awareness of the issues and be a readable, challenging ...
اقرأ المزيد
Digital Libraries: International Collaboration and Cross-Fertilization
The International Conference on Asian Digital Libraries (ICADL) is an annual international forum that provides opportunities ...
اقرأ المزيد
Digital Media & Intellectual Property
This book focuses on intellectual property issues and rights in digital - dia, their connection with consumer protection, ...
اقرأ المزيد
Digital Watermarking (vol. # 3304)
We are happy to present to you the proceedings of the 3rd International Workshop on Digital Watermarking, IWDW 2004. Since ...
اقرأ المزيدDoors : History, Repair and Conservation / Michael Tutton, James W.P. Campbell
Guides you through the function, history, development, care, repair and conservation of doors by chapter authors who are ...
اقرأ المزيد
Electron Microscopy of Polymers
There are many books on electron microscopy, however, the study of polymers using EM necessitates special techniques, precautions ...
اقرأ المزيد
