Research Repository

Items where Division is "Faculty of Science and Health > Computer Science and Electronic Engineering, School of " and Year is 2003

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Jump to: D | E | F | H | T | W
Number of items: 8.

D

Deutsch, M and Henson, M and Reeves, S (2003) CSM-379a Results on Formal Stepwise Design in Z. UNSPECIFIED. CSM-379a, University of Essex, Colchester.

E

Eden, Amnon H and Kazman, Rick (2003) CSM-382 The Integrated Architecture Environment: A Two-Tier Programming Tool (Research Proposal). Technical Report. CSM-382, University of Essex, Colchester.

Eden, Amnon H and Kazman, Rick (2003) On the Definition of Architecture, Design and Implementation. Technical Report. CSM-377, University of Essex, Colchester.

F

Fasli, M (2003) Reasoning about Knowledge and Belief: A Syntactical Treatment. In: UNSPECIFIED, ? - ?.

H

Higgins, SP and Vickers, AJ (2003) Modelling of novel two section laser applications. In: UNSPECIFIED, ? - ?.

Higgins, SP and Vickers, AJ (2003) Two section laser modelling. In: UNSPECIFIED, ? - ?.

T

Tsang, E (2003) CSM-385 Cooperation in Competitions - Constraint Propagation Strategies in Chain-bargaining. UNSPECIFIED. CSM-385, University of Essex, Colchester.

W

Wolkotte, P and Sepulveda, F and Sinkjaer, T and Grey, M (2003) Modelling Human Locomotion. UNSPECIFIED. CSM-378, University of Essex, Colchester.

This list was generated on Mon Sep 18 19:04:40 2017 BST.