Skip to main content

Browse by Publisher

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

Monograph

Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent (KAR id:14151)
[thumbnail of Angelic_Nondeterminism_and.pdf]
Preview
Boiten, Eerke Albert (2004) Input/Output Abstraction of State Based Systems. Technical report. University of Kent (KAR id:14143)
[thumbnail of input_output_Boiten.ps]
Preview
[thumbnail of input_output_Boiten.pdf]
Preview
Boiten, Eerke Albert (2004) Travelling Salesman Heuristics: Exercises in Haskell. Technical report. University of Kent (KAR id:14138)
[thumbnail of Travalling_Boiten.ps]
Preview
[thumbnail of Travalling_Boiten.pdf]
Preview
Boiten, Eerke Albert (2004) Turtle Graphics: Exercises in Haskell. Technical report. University of Kent (KAR id:14157)
[thumbnail of turtle_graphic_Boiten.ps]
Preview
[thumbnail of turtle_graphic_Boiten.pdf]
Preview
Bowman, Howard and Gomez, Rodolfo and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:14161)
[thumbnail of How_to_stop_time_stopping.pdf]
Preview
Linington, Janet (2004) An Analysis of Student Performance. Technical report. University of Kent, University of Kent, Canterbury, Kent, UK (KAR id:14178)
[thumbnail of An_Analysis_of_Student_Performance.pdf]
Preview
Tripp, Gerald (2004) An Intrusion Detection System for Gigabit Networks -Architecture and an example system. Technical report. University of Kent (KAR id:14188)
[thumbnail of An_Intrusion_Detection_System_for.pdf]
Preview
Oliveira, Marcel V. M. (2004) A Refinement Calculus for Circus - Mini-thesis. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:14175)
[thumbnail of A_Refinement_Calculus_for_Circus.pdf]
Preview
Patrascoiu, Octavian (2004) Model Transformations in YATL. Studies and Experiments. Technical report. University of Kent, Great Britain (KAR id:14196)
[thumbnail of Model_Transformations_in_YATL..pdf]
Preview
Tang, Xinbei (2004) Mobile Process in Unifying Theories. Technical report. University of Kent, Canterbury, Kent CT2 7NF (KAR id:14219)
[thumbnail of Mobile_Processes_in_Unifying_Theories.pdf]
Preview
Waters, A. Gill and Lim, Sei Guan (2003) Applying clustering algorithms to multicast group hierarchies. Technical report. University of Kent (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:13932)
Bodden, Eric (2003) JAnalyzer, A Visual Static Analyzer for Java. Technical report. University of Kent, Kent, 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:13943)
King, Andrew C. (2003) Removing GC Synchronisation (extended version). Technical report. University of Kent (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:13985)
This list was generated on Mon Nov 29 02:42:45 2021 GMT.