Electronic Books

Total Books: 1 - 20 /94

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 ...

Total Books: 1 - 20 /94