Research Repository

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Jump to: H | S | T | V
Number of items: 5.

H

Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, University of Essex, Colchester.

S

Scott, PD and Fasli, M (2001) CSM-349 - Benford's Law: An Empirical Investigation and a Novel Explanation. UNSPECIFIED. CSM-349, University of Essex, Colchester.

T

Talli, G and Vickers, AJ and Adams, MJ (2001) Gain-switched laser pulse propagation in a semiconductor optical amplifier. In: UNSPECIFIED, ? - ?.

V

Völker, Norbert (2001) CSM-343 A Deep Embedding of Zc in Isabelle/HOL. Technical Report. CSM-343, University of Essex, Colchester.

Völker, Norbert (2001) CSM-344 - Two Semantic Embeddings of Z Schemas in Isabelle/HOL. Technical Report. CSM-344, University of Essex, Colchester.

This list was generated on Tue Sep 19 09:37:44 2017 BST.