Electronic Books

Total Books: 21 - 40 /268

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automation in Construction toward Resilience : Robotics, Smart Materials and Intelligent Systems / Ehsan Noroozinejad Farsangi, Mohammad Noori, Tony T.Y. Yang

Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, ...

Bacterial Fish Pathogens

This completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...

Basics of PET Imaging

This unparalleled text on the basics of PET imaging technology is an ideal resource for technologists and residents preparing ...

Behavioral Competencies of Digital Professionals : Understanding the Role of Emotional Intelligence

Shedding new light on the human side of big data through the lenses of emotional and social intelligence competencies, this ...

Breast Cancer : Nuclear Medicine in Diagnosis and Therapeutic Options

This book provides general information on breast cancer management and considers all new methods of diagnosis and therapy. ...

Broadband in Europe

Broadband is a key enabler of the information society, increasing productivity and competitiveness across all sectors of ...

Built on Value : The Huawei Philosophy of Finance Management

This book presents the concept of value as the central component to success and longevity of the global ICT industry player, ...

CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...

CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...

Carbonate Reservoir Characterization

One principal need in petroleum recovery from carbonate reservoirs is the description of the three-dimensional distribution ...

Cardiac PET and PET

Cardiac PET and hybrid PET/CT have revolutionized the field of cardiovascular imaging and offer new options for diagnosis ...

Cerebral Hemorrhage

Cerebral hemorrhage is a common and often fatal subtype of stroke. while in the past it has received relatively little attention ...

Cities between Competitiveness and Cohesion : Discourses, Realities and Implementation

The book shows that spatial and urban policy continues to be a key site of policy intervention and experimentation. Different ...

Clinical PET and PET

A practical manual covering the full spectrum of PET and PET/CT imaging, now in common clinical practice, this book includes ...

Cognitive Engineering

Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...

Collaborative Curriculum Design for Sustainable Innovation and Teacher Learning

This book provides insight into what it takes to actively involve teachers in the curriculum design process. It examines ...

Combinatorial Optimization and Applications : Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, ...

Total Books: 21 - 40 /268