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: 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 Thu May 8 16:39:40 2025 BST.