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