On the use of secondary rotors for vertical axis wind turbine power take‐off von Morgan, Laurence, Leithead, William, Carroll, James

Volltext

A lawyer's brief on the Atonement / by Charles Carroll Morgan von Morgan, Charles Carroll, 1832-1918

Volltext bestellen

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System von Andronick, June, Lewis, Corey, Morgan, Carroll

Volltext

The Doc1 subunit is a processivity factor for the anaphase-promoting complex von Carroll, Christopher W., Morgan, David O.

Volltext

Abstract Hidden Markov Models: a monadic account of quantitative information flow von Annabelle McIver, Carroll Morgan, Tahiry Rabehaja

Volltext

Epigenetic Aging and Immune Senescence in Women With Insomnia Symptoms: Findings From the Women’s Health Initiative Study von Carroll, Judith E, Irwin, Michael R, Levine, Morgan, Seeman, Teresa E, Absher, Devin, Assimes, Themistocles, Horvath, Steve

Volltext

Emotional Reactivity and Regulation in Head Start Children: Links to Ecologically Valid Behaviors and Internalizing Problems von Morgan, Judith K., Izard, Carroll E., Hyde, Christopher

Volltext

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings von Bird, R. S, Morgan, C. C, Woodcock, J. C. P

Volltext

Enzymology of the Anaphase‐Promoting Complex von Carroll, Christopher W., Morgan, David O.

Volltext

Characterising Testing Preorders for Finite Probabilistic Processes von Deng, Yuxin, van Glabbeek, Robert, Hennessy, Matthew, Morgan, Carroll

Volltext

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Volltext

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Volltext

The APC Subunit Doc1 Promotes Recognition of the Substrate Destruction Box von Carroll, Christopher W., Enquist-Newman, Maria, Morgan, David O.

Volltext

Probabilistic guarded commands mechanized in HOL von Hurd, Joe, McIver, Annabelle, Morgan, Carroll

Volltext

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Volltext

An axiomatization of information flow measures von Alvim, Mário S., Chatzikokolakis, Konstantinos, McIver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

Volltext

A new proof rule for almost-sure termination von McIver, Annabelle, Morgan, Carroll, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter

Volltext

The Shadow Knows: Refinement and security in sequential programs von Morgan, Carroll

Volltext

Sulfuryl chloride manufacture and uses ... / by Carroll M. Salls von Salls, Carroll Morgan, 1893

Volltext bestellen

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings von Leucker, Martin, Morgan, Charles Carroll

Volltext