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

Group by: Creators | Item Type | No Grouping

Jump to: Monograph | Conference or Workshop Item

Number of items: 5.

Monograph

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

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.

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.

Conference or Workshop Item

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

This list was generated on Sun Jun 30 13:37:09 2024 BST.