University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Computer Science Monographs

2015200920001999199719961995199419931992

1991199019891988198719861985198419831982

198119801978197619741973197219711970

[PRG107]

Z BASE STANDARD VERSION 1.0

S. M. Brien and J. E. Nicholls

No. PRG107. OUCL. November, 1992.

[PRG106]

QUALIFIED TYPES: THEORY AND PRACTICE

Mark Philip Jones

No. PRG106. OUCL. July, 1992.

[PRG105]

MODEL−BASED ENHANCEMENT OF MAMMOGRAPHIC IMAGES

R. P. Highnam

No. PRG105. OUCL. April, 1992.

[PRG103]

Analysis of Business Processes Specified in Z against an E−R Data Model

Jun Ginbayashi

No. PRG103. OUCL. December, 1992.

[PRG102]

PROBABILISTIC COMMUNICATING PROCESSES

Karen Seidel

No. PRG102. OUCL. October, 1992.

[PRG100]

THE DRY AND THE WET

Joseph A. Goguen

No. PRG100. OUCL. March, 1992.

[PRG96]

A brief history of Timed CSP

Jim Davies and Steve Schneider

No. PRG96. OUCL. April, 1992.

[PRG95]

AN INTRODUCTION TO EXPERT SYSTEMS

Bryan S. Todd

No. PRG95. OUCL. February, 1992.

[PRG99]

Markovian Analysis of Texture: Serial and Parallel Paradigms in Low−Level Vision

[PRG98]

CATEGORIES‚ RELATIONS AND DYNAMIC PROGRAMMING

Oege de Moor

No. PRG98. OUCL. April, 1992.