This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suiteThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lire la suiteThe theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...
Lire la suiteThis topic is a new entry in the area of cellular calcium signaling: yet, it now spans the entire area, with discoveries ...
Lire la suiteCalcium performs diverse biological functions in the human body and is a micronutrient essential to human health and well-being. ...
Lire la suiteCalibrating the Cosmos describes hard science, but is gently written. It explains in clear, non-mathematical language the ...
Lire la suiteCalixarenes have been widely exploited in all areas of supramolecular chemistry over the past three decades and many recent ...
Lire la suiteA specifically Calvinist identity and theology emerged out of two key conflicts in the region: first, the fight to turn away ...
Lire la suiteThe Institute Vienna Circle held a conference in 2003, Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle, to commemorate ...
Lire la suiteThis book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...
Lire la suiteThe last decade has seen a dramatic shift in anticancer drug research towards agents that aim to target selectively key regulatory ...
Lire la suitethe authors comprehensively review the anticancer genes and gene delivery methods currently available for cancer gene therapy, ...
Lire la suitethe authors collectively provide the current status of proteomics in cancer therapy and offers the existing technologies ...
Lire la suiteThis book describes the recent developments in the emerging field of cancer stem cells. Their possible impact for the identification ...
Lire la suiteTumors can be induced by a variety of physical and chemical carcinogens. The resulting tumor cells are usually abnormal in ...
Lire la suiteThe present book is an outstanding summary of many aspects of cannabinoid research. It represents a stepping-stone to many ...
Lire la suiteOffers a comprehensive overview on cannabinoids and their effects on sleep Provides novel research findings on the therapeutic ...
Lire la suite