Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee mas
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Bacterial Fish Pathogens
This completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...
Lee mas
Basics of PET Imaging
This unparalleled text on the basics of PET imaging technology is an ideal resource for technologists and residents preparing ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Broadband in Europe
Broadband is a key enabler of the information society, increasing productivity and competitiveness across all sectors of ...
Lee mas
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, ...
Lee mas
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lee mas
CONCUR 2006 - Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lee mas
Carbonate Reservoir Characterization
One principal need in petroleum recovery from carbonate reservoirs is the description of the three-dimensional distribution ...
Lee mas
Cardiac PET and PET
Cardiac PET and hybrid PET/CT have revolutionized the field of cardiovascular imaging and offer new options for diagnosis ...
Lee mas
Cerebral Hemorrhage
Cerebral hemorrhage is a common and often fatal subtype of stroke. while in the past it has received relatively little attention ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Cognitive Engineering
Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
