skip to main content
Show Results with:

8 results  for Everything in this catalogue

Refined by: subject: Computer software remove creation date: 1995To2000 remove creation date: After 1999 remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

The security picalculus and non-interference.

Matthew Hennessy

University of Sussex, Computer Science, 2000.

Check library holdings

2
Material Type:
Book
Add to My workspace

A complete axiomatisation for timed automata.

Huimin Lin

University of Sussex, Computer Science, 2000.

Check library holdings

3
Material Type:
Thesis
Add to My workspace

Expertise, motivation and teaching in learning companion systems.

Jorge Adolfo Ramirez Uresti

University of Sussex, 2000.

Online access

4
Material Type:
Thesis
Add to My workspace

Extracting density distribution function models from three-dimensional data.

Antonio Victor Garcia-Serrano

University of Sussex, 2000.

Online access

5
Material Type:
Thesis
Add to My workspace

An analysis and implementation of informal human-computer interaction.

Ian H S Cullimore

University of Sussex, 2000.

Online access

6
Material Type:
Thesis
Add to My workspace

Reliability with multivariate dependency, Markov dependence and Martingales.

Rong-Tsorng Wang

University of Sussex, 2000.

Online access

7
Material Type:
Thesis
Add to My workspace

Error thresholds and optimal mutation rates in genetic algorithms.

Gabriela Ochoa

University of Sussex, 2000.

Online access

8
Material Type:
Thesis
Add to My workspace

Interaction at the producer-user interface : an interdisciplinary analysis of communication and relationships through interactive components on websites for the purpose of improving design.

Ann Light

University of Sussex, 2000.

Online access

8 results  for Everything in this catalogue

Refine Search Results

Searching Remote Databases, Please Wait