Infinite Lists in Z by Martin, A

Optimisation of ultrasound-mediated delivery of mRNA to mammalian cells by Martin, A

Inferring the translation speed and determining its relationship to the protein structure produced by Martin, A

Relating Z and First−order logic by Martin, A

The Ten Page Introduction to Trusted Computing by Martin, A

Machine−Assisted Theorem−Proving for Software Engineering by Martin, A

Review of: Trigg, Roger: Understanding Social Science: A Philosophical Introduction to the Social Sciences by Martin, A

Speaking freely on the internet by Martin, A

Encoding : A Logic for Z in 2OBJ by Martin, A

The ten-page introduction to Trusted Computing by Martin, A

La Bibliothéque universelle des romans 1775-1789 by Martin, A

Why effective proof tool support for Z is hard by Martin, A

Relating Z and first−order logic by Martin, A

Infinite Lists for Specifying Functional Programs in Z by Martin, A

Of Tactics and Monads by Martin, A

Relating Z and first-order logic by Martin, A

Review of: Edgerton, Robert D.: Rules, Exceptions and Social Order by Martin, A

Effectiveness of Vortioxetine in Patients With Major Depressive Disorder in Real-World Clinical Practice: Results of the RELIEVE Study by Gregory W. Mattingly, Hongye Ren, Michael Cronquist Christensen, Martin A. Katzman, Martin A. Katzman, Martin A. Katzman, Martin A. Katzman, Martin A. Katzman, Mircea Polosan, Kenneth Simonsen, Lene Hammer-Helmich

Get full text

Aids, drugs, and prostitution / by Plant, Martin A.

Bioconversion of waste materials to industrial products / by Martin, A.M.