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

Monograph

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.

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.

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

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

Conference or Workshop Item

Carena, Andrea and Ferrero, Valter and Gaudino, Roberto and De Feo, Vito and Neri, Fabio and Poggiolini, Pierluigi (2003) RINGO: A demonstrator of WDM optical packet network on a ring topology. In: Sixth Working Conference on Optical Network Design and Modelling (ONDM 2002), 2002-02-04 - 2002-02-06, Torino, Italy.

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

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

Higgins, Steven P and Vickers, Anthony J (2003) Two section laser modelling. In: UNSPECIFIED, ? - ?.