الصفحة 1
الصفحة 1
Formal Methods for Industrial Critical Systems ; 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.
Chemical Biology of Neurodegeneration : A Molecular Approach
This book focuses on the main actors involved in neurodegenerative disorders at a molecular level, and places special emphasis on structural aspects and modes of action. Drawing on recent data on enzyme structure, mode of action, and inhibitor design, it describes?from a biochemical point of view?the six most important neurotransmitter systems and their constituent enzymes and receptors. Misfolding and aggregation of proteins within the brain is also covered.
