1 - 8 of 8
1
Conference item icon

Conference item

Executable Music Documents

  • De Roure, D
  • 2014
2
Thesis icon

Thesis

Formalisations and applications of business process modelling notation

  • Wong, P
  • 2011
3
Thesis icon

Thesis

A framework of usable and secure system design

  • Faily, S
  • 2011
4
Thesis icon

Thesis

Semantics and refinement for a concurrent object oriented language

  • Monteiro Borba, P
  • 1995
5
Thesis icon

Thesis

Multi-hop localization in cluttered environments

  • Hussain, M
  • 2013
6
Thesis icon

Thesis

Software architecture for capturing clinical information in hadron therapy and the design of an ion beam for radiobiology

  • Abler, D
  • 2013
7
Thesis icon

Thesis

Higher-order queries and applications

  • Vu, Q
  • 2012
8
Thesis icon

Thesis

A refinement calculus for Z

  • Cavalcanti, A, Ana Cavalcanti
  • 1997
FILTER RESULTS

TO TOP