Formal Approaches to Software Testing and Runtime Verification
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lee mas
From Cells to Proteins: Imaging Nature across Dimensions
This book offers updated information on how much information we are able to obtain in the exploration of the inner details ...
Lee masFrontiers in Computing Technologies for Manufacturing Applications
Frontiers in Computing Technologies for Manufacturing Applications presents an overview of the state-of-the-art intelligent ...
Lee mas
Fruits and Nuts
Genome Mapping and Molecular Breeding in Plants presents the current status of the elucidation and improvement of plant genomes ...
Lee mas
Full of Life
UNESCO biosphere reserves are full of life. Here, people put sustainable development into practice: economic, ecological, ...
Lee mas
Functional Hemodynamic Monitoring
Hemodynamic monitoring is one of the major diagnostic tools available in the acute care setting to diagnose cardiovascular ...
Lee mas
Fundamentals of Analytical Toxicology: Clinical and Forensic, 2nd Edition / Robert J. Flanagan, Eva Cuypers, Hans H. Maurer, Robin Whelpton
An integrated introduction to the analysis of drugs, poisons, and other foreign compounds in biological and related specimens. ...
Lee mas
Fundamentals of Space Medicine
Topics discussed in this book include: adaptation of sensory-motor, cardio-vascular, bone, and muscle systems to the microgravity ...
Lee mas
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lee mas
Geodetic Deformation Monitoring: From Geophysical to Engineering Roles
Geodesy is the science dealing with the determination of the position of points in space, the shape and gravity field of ...
Lee mas
Geology and Ecosystems
This book includes an analysis of the relationship between the different geological, hydrochemical, hydrogeological and engineering-geological ...
Lee mas
Geomatics Solutions for Disaster Management
Natural and anthropogenic disasters have caused a large number of victims and significant social and economic losses in the ...
Lee masGood Pharmacovigilance Practice(GVP): focus on Risk Mangement Plan (RMP) يزن ملاك ؛ لجين العبد الله ؛ إشراف د. سهر النقري
Pharmacovigilance which is the science and activities relating to the detection, assessment, understanding and prevention ...
Lee mas
Grid Computing Security
In this book Chakrabarti has structured the issues pertaining to grid computing security into three main categories: architecture-related, ...
Lee mas
Grid Middleware and Services : Challenges and Solutions
This book aims to strengthen and advance scientific and technological excellence in the area of Grid Computing. The main ...
Lee mas
Groundwater Dynamics in Hard Rock Aquifers : Sustainable Management and Optimal Monitoring Network Design
Groundwater is of utmost importance in the arid and semi-arid environment. The areas in such regions are forced to face a ...
Lee mas
Groundwater Geophysics
Geophysical techniques can map the underground conditions apart from boreholes. The use of these methods for hydrogeological ...
Lee mas
Handbook of Drug Monitoring Methods : Therapeutics and Drugs of Abuse
In Handbook of Drug Monitoring Methods: Therapeutics and Drug Abuse, authors discuss the different analytical techniques ...
Lee mas
Handbook of High Field Dynamic Nuclear Polarization / Vladimir K. Michaelis
This comprehensive handbook is a compendium of the current state-of-the art of high field Dynamic Nuclear Polarization—from ...
Lee mas
Hands-On Software Architecture with Java - Learn key architectural techniques and strategies to design efficient and elegant Java applications / Giuseppe Bonocore
Starts with the fundamentals of architecture and takes you through the basic components of application architecture. You'll ...
Lee mas
