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 ...
اقرأ المزيدA 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: ...
اقرأ المزيد
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
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, ...
اقرأ المزيد
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
اقرأ المزيد
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 ...
اقرأ المزيد
Adaptive Multimedia Retrieval: User, Context, and Feedback
This book is an extended collection of revised contributions that were initially submitted to the International Workshop ...
اقرأ المزيد
Adaptive Multimedia Retrieval:User, Context, and Feedback
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Adaptive Multimedia Retrieval, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Advances in Spatial and Temporal Databases
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; ...
اقرأ المزيد
Advances in Spatial and Temporal Databases
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
African Biodiversity
BIOTA is an interdisciplinary research project focusing on sustainable use and conservation of biodiversity in Africa (http://www.biote-africa.de). ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Aspectual Inquiries
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
