Using the latest research and driven by practical experience from industry, Requirements Engineering gives useful hints to practitioners on how to write and structure requirements.  It...

This book includes a collection of articles with the broad theme of disease connection to chromatin structure and function. It elaborates on the molecular pharmacology of the drugs targeting chromatin structure and its components. The book contains up-to-date information about the chromatin structure and chromatin related diseases and drug...

Targeted at clinicians and residents, this series has already become a classic, with one volume published each year. The Advances section presents fields of neurosurgery and related areas in which important recent progress has been made. The Technical Standards section features detailed descriptions of standard procedures to assist young...

In recent years, the popularity of virtual worlds has increased significantly and they have consequently come under closer academic scrutiny. Papers about virtual worlds are typically published at conferences or in journals that specialize in something - tirely different, related to some secondary aspect of the research. Thus a paper d-...

This book is...

This volume provides up-to-date information on the molecular and functional properties and pharmacology of mammalian TRP channels. Leading experts in the field have written 35 essays which describe properties of a single TRP protein/channel or portray more general principles of TRP function and important pathological situations linked to...

An invaluable work that will help dentists and oral surgeons to recognize and diagnose gross dental abnormalities. This book provides practically applicable knowledge on histology and histopathology of the changes that are seen in diseases of the dental and periodontal tissues. It includes the disturbances in tooth formation, acquired dental...

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for...

There are scattered reports in the published literature citing relationships between actin, actin-binding proteins and disease. This volume brings this information together for the first time, with a focus on human disorders. The volume is relevant to a wide readership including cell biologists interested in understanding how structural and...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,...

Following its tradition of promoting novel areas of scienti?c discourse, the Ernst Schering Research Foundation (ESRF) hosted this workshop on chronic viral and in?ammatory cardiomyopathy. In late October 2004, scientists from Canada, Germany, the Georgian Republic, Great Britain, Italy, Japan, the Netherlands, Israel, Sweden, and the United...