Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Monograph

Number of items: 5.

Article

Balmford, Andrew and Bennun, Leon and ten Brink, Ben and Cooper, David and Cote, Isabelle M. and Crane, Peter and Dobson, Andrew and Dudley, Nigel and Dutton, Ian and Green, Rhys E. and Gregory, Richard D. and Harrison, Jeremy and Kennedy, Elizabeth T. and Kremen, Claire and Leader-Williams, Nigel and Lovejoy, Thomas E. and Mace, Georgina M. and May, Robert and Mayaux, Philipe and Morling, Paul and Phillips, Joanna and Redford, Kent and Ricketts, Taylor H. and Rodriguez, Jon Paul and Sanjayan, M. and Schei, Peter J. and van Jaarsveld, Albert S. and Walther, Bruno A. (2005) The convention on biological diversity's 2010 target. Science, 307 (5707). pp. 212-213. ISSN 0036-8075. (doi:https://doi.org/10.1126/science.1106281) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Book section

Dawe, Kevin (2005) Performance on a Mediterranean Theme: Musicians and Masculinity in Crete. In: Cooper, David and Dawe, Kevin, eds. The Mediterranean in Music: Critical Perspectives, Common Concerns, Cultural Differences (Europea) (Europea: Ethnomusicologies & Modernities). Scarecrow Press, Chapter 12. ISBN 978-0-8108-5407-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Meira, SRL and Cavalcanti, Ana L. C. (1992) MooZ Case Studies. In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Monograph

Cooper, David and Stepney, Susan and Woodcock, Jim (2000) Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. Technical report. Oxford University (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Stepney, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)

Preview

This list was generated on Sun May 26 03:50:14 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0