Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelJump to: Reports and Papers
Number of items: 10.
Reports and Papers
| Lins, Rafael D. (1994) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (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) (KAR id:21163) |
| Rizzo, Mike and Utting, Ian (1994) An Agent-based Model for the Provision of Advanced Telecommunications Services. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (KAR id:21164) |
|
| Roberts, Jonathan C. (1993) An Overview of Rendering from Volume Data --- including Surface and Volume Rendering. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (KAR id:21088) |
|
| Derrick, John and Sultana, R. (1993) The Specification in Z of the REX Protocol. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (KAR id:21089) |
|
| Bartoszek, Bozena and Czeck, Zbigniew and Konopka, Marek (1993) Parallel Searching for a First Solution. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (KAR id:21095) |
|
| Jones, Richard E. and Utting, Ian (1993) Teaching Electronic Publishing: Learning Software Engineering. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK 9-93*. (doi:9-93*) (KAR id:21096) |
|
| da Cunha, Rudnei Dias and Hopkins, Tim (1993) Porting Linear Algebra Subroutines from Transputers to Clusters of Workstations. Technical report. University of Kent, Canterbury, UK, University of Kent, Canterbury, UK (KAR id:21116) |
|
| Thompson, Simon (1992) Formulating Haskell. Technical report. University of Kent, Canterbury, UK (KAR id:21020) |
|
| Tripp, Gerald (1992) A Video Control Processor. Technical report. University of Kent, Canterbury, UK (KAR id:21050) |
|
| Lins, Rafael D. (1992) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK (KAR id:21058) |
|
