Showing 1 - 2 results of 2 for search 'Gay, Simon', query time: 0.01s Refine Results
  1. 1

    Semantic techniques in quantum computation

    Published 2010
    Book

    Semantic techniques in quantum computation
  2. 2

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate,...

    Published 1993
    Book

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

Search Tools: