Søkt på: Søkeresultat
totalt 6 treff
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and …
Reviews of Physiology, Biochemistry and Pharmacology
B. Brune et al.: Protein Thiol Modification and Apoptotic Cell Death as cGMP-Independent Nitric Oxide. H. Esterbauer and P. Ramos: Chemistry and Pathophysiology of Oxidation of …
Infektionskrankheiten
Der II. Band des Werkes über , ,Infektionskrankheiten'', der auf die umfassende Darstellung der "Krankheiten durch Viren" im I. Band folgt, umfaßt die "Krank heiten durch …
Inhalation Toxicology
The International Life Sciences Institute (ILSI), a nonprofit, public foundation, was established in 1978 to advance the sciences of nutrition, toxicology, and food safety. ILSI …
Rickettsiosen und Protozoenkrankheiten
Mit dem Band 4, der die Krankheiten durch Rickettsien und durch Protozoen umfaBt, schlieBt das neue Werk iiber "Infektionskrankheiten" abo Damit ist das bewahrte "Handbuch der …
Mykosen Aktinomykosen und Nocardiosen Pneumokokken- und Klebsiellenerkrankungen
In den letzten J ahren sind im deutschsprachigen Schrifttum eine Reihe von kurzgefa. Bten trbersichten der Infektionskrankheiten erschienen, sei es als selb- standige "Fibeln", sei …