Jump to main content

yr 〜
yr

Search results 3

Semantic techniques in quantum computation

Semantic techniques in quantum computation
Paper図書
edited by Simon Gay, Ian MackieCambridge University Press2010
Other Libraries in Japan
  • Author HeadingGay, Simon Mackie, I. (Ian)

Theory and formal methods 1993 : 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 : us : acid-free : gw : acid-free

Theory and formal methods 1993 : 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 : us : acid-free : gw : acid-free
Paper図書
Geoffrey Burn, Simon Gay and Mark Ryan (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading...Burn, Geoffrey Gay, Simon Ryan, Mark Imperial College o...

Behavioural Types: from Theory to Tools

Behavioural Types: from Theory to Tools
Digital電子書籍・電子雑誌図書
Available onlineNational Diet Library
  • Author HeadingGay, Simon Ravara, António

Reached to the end of result.

RSS