Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Monograph
Number of items: 10.

Monograph

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)
[thumbnail of Agent-basedRizzo.pdf]
Preview
[thumbnail of Agent-basedRizzo.ps]
Preview
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)
[thumbnail of An_Overview_of_Rendering_from_Volume_Data.ps]
Preview
[thumbnail of An_Overview_of_Rendering_from_Volume_Data.pdf]
Preview
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)
[thumbnail of The_Specification_in_Z_of_the_REX_Protocol.ps]
Preview
[thumbnail of The_Specification_in_Z_of_the_REX_Protocol.pdf]
Preview
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)
[thumbnail of paralel_zena.ps]
Preview
[thumbnail of parallel_zena.pdf]
Preview
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)
[thumbnail of ps.zip]
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)
[thumbnail of Porting_Linear_Algebra_Subroutines_from_Transputers_to_Clusters_of_Workstations.pdf]
Preview
Thompson, Simon (1992) Formulating Haskell. Technical report. University of Kent, Canterbury, UK (KAR id:21020)
[thumbnail of HaskellThompson.pdf]
Preview
[thumbnail of HaskellThompson.ps]
Preview
Tripp, Gerald (1992) A Video Control Processor. Technical report. University of Kent, Canterbury, UK (KAR id:21050)
[thumbnail of Video.pdf]
Preview
[thumbnail of Video.ps]
Preview
Lins, Rafael D. (1992) Partial Categorical Multi-Combinators and Church-Rosser Theorems. Technical report. University of Kent, Canterbury, UK (KAR id:21058)
[thumbnail of content.pdf]
Preview
[thumbnail of content.ps]
Preview
This list was generated on Fri Dec 3 02:19:08 2021 GMT.