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