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