Computer Science Monographs

Z BASE STANDARD VERSION 1.0

S. M. Brien and J. E. Nicholls

No. PRG107. OUCL. November, 1992.

Details | BibTeX | Download  (pdf)

QUALIFIED TYPES: THEORY AND PRACTICE

Mark Philip Jones

No. PRG106. OUCL. July, 1992.

Details | BibTeX | Download  (pdf)

MODEL−BASED ENHANCEMENT OF MAMMOGRAPHIC IMAGES

R. P. Highnam

No. PRG105. OUCL. April, 1992.

Details | BibTeX | Download  (pdf)

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

Jun Ginbayashi

No. PRG103. OUCL. December, 1992.

Details | BibTeX | Download  (pdf)

PROBABILISTIC COMMUNICATING PROCESSES

Karen Seidel

No. PRG102. OUCL. October, 1992.

Details | BibTeX | Download  (pdf)

THE DRY AND THE WET

Joseph A. Goguen

No. PRG100. OUCL. March, 1992.

Details | BibTeX | Download  (pdf)

A brief history of Timed CSP

Jim Davies and Steve Schneider

No. PRG96. OUCL. April, 1992.

Details | BibTeX | Download  (pdf)

AN INTRODUCTION TO EXPERT SYSTEMS

Bryan S. Todd

No. PRG95. OUCL. February, 1992.

Details | BibTeX | Download  (pdf)

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

Details | BibTeX | Download  (pdf)

CATEGORIES‚ RELATIONS AND DYNAMIC PROGRAMMING

Oege de Moor

No. PRG98. OUCL. April, 1992.

Details | BibTeX | Download  (pdf)