2050 China Becoming a Great Modern Socialist Country
This book is arranged and developed around the theme of “2050 China,” it analyzes the factors and advantages of the Chinese ...
Lee masA Climate of Justice: An Ethical Foundation for Environmentalism
This book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: ...
Lee mas
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lee mas
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lee mas
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lee mas
Accounting for Deferred Income Taxes / Bobby Carmichael
Incorporates the new tax rates and other impacts of the Tax Cuts and Jobs Act and will assist you in understanding FASB ASC ...
Lee mas
Adaptive Multimedia Retrieval: User, Context, and Feedback
This book is an extended collection of revised contributions that were initially submitted to the International Workshop ...
Lee mas
Adaptive Multimedia Retrieval:User, Context, and Feedback
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Adaptive Multimedia Retrieval, ...
Lee mas
Advances in Decision Making Under Risk and Uncertainty
Whether we like it or not we all feel that the world is uncertain. From choosing a new technology to selecting a job, we ...
Lee mas
Advances in Spatial and Temporal Databases
This book constitutes the refereed proceedings of the introduce the papers of the proceedings of the 9th - ternational Symposium ...
Lee mas
Advances in Spatial and Temporal Databases
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; ...
Lee mas
Advances in Spatial and Temporal Databases
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; ...
Lee mas
Advances in Spatial and Temporal Databases
The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, ...
Lee mas
Affirmative Aesthetics and Wilful Women Gender, Space and Mobility in Contemporary Cinema
This book adopts a fluid approach to space designed to accommodate wilful, affirmative, and imaginative perspectives of ...
Lee mas
African Biodiversity
BIOTA is an interdisciplinary research project focusing on sustainable use and conservation of biodiversity in Africa (http://www.biote-africa.de). ...
Lee mas
Anatomy Ontologies for Bioinformatics : Principles and Practice
This book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary ...
Lee mas
Annotating, Extracting and Reasoning about Time and Events
The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
Lee mas
Annotating, Extracting and Reasoning about Time and Events
The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
Lee mas
Aspectual Inquiries
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
Lee mas
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lee mas
