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, ...
اقرأ المزيد
