- ORA - Oxford University Research Archive Search Results

162481

Journal article

The verified software initiative: A manifesto

Hoare, C, Misra, J, Leavens, G, et al.
2009-01-01

162482

Conference item

Lightweight location verification in air traffic surveillance networks

Strohmeier, M, Lenders, V, Martinovic, I
2015-01-01

162483

Thesis

The Muwāzana of al-Āmidī

Ashtiany, J, Ashtiany, Julia
1983

162484

Journal article

Venezuela and OPEC, fifty years later

Mommer, B
2011-01-01

162485

Journal article

Predication, assertion, information: Proceedings of the Uppsala colloquium in French linguistics, June 6-9, 1996

Marnette, S
2000-07-01

162486

Thesis

Late Holocene archaeology in Namaqualand, South Africa: hunter-gatherers and herders in a semi-arid environment.

Orton, J, Jayson Orton
2013

162487

Journal article

Functionalised pyrrolidinones by conjugate addition of stabilised enolates and reformatsky reagents

Dyer, J, Keeling, S, Moloney, M
1996-06-24

162488

Thesis

Mathematical modelling of cell population dynamics in the colonic crypt with application to colorectal cancer

Johnston, M
2008

162489

Journal article

A Review of the Terahertz Conductivity of Bulk and Nano-Materials

Lloyd-Hughes, J, Jeon, T
2012-01-01

162490

Journal article

Mania in association with hydrocortisone replacement for Addison's disease.

Ur, E, Turner, T, Goodwin, T, et al.
1992-01-01

TO TOP