Showing items 1 - 10 of 10.

Add to Quick Collection   All 10 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Year: 2015
Publication Details: Proceedings of the 2nd International Workshop about Sets and Tools / pp.1-15
Resource Type: Conference Paper
Full Text: Full Text
Reviewed: Reviewed
Year: 2013
Publication Details: Shining through the fog: Proceedings / pp.189-198
Editor(s): King, Deborah; Loch, Birgit; Rylands, Leanne (eds)
Resource Type: Conference Paper
Reviewed: Reviewed
Authors: Jones, C M | Pozzebon, K
Year: 2009
Resource Type: Recorded/Rendered Creative Work (Digital Creative Work)
Full Text: Full Text
Year: 2009
Publication Details: Proceedings of the 15th Computing: Australasian Theory Symposium / pp.73-82
Editor(s): Downey, R, Manyem, P (eds)
Resource Type: Conference Paper
Reviewed: Reviewed
Authors: Jones, C M | Munro, C
Year: 2009
Publication Details: Conferences in Research and Practice in Information Technology. Vol. 93 / Australian Computer Sciences Communications Vol. 31, No. 3 / Proceedings of the Tenth Australasian User Interface Conference (AUIC 2009) / Vol. 31, No. 3. pp.17-26
Resource Type: Conference Paper
Full Text: Full Text
Reviewed: Reviewed
Authors: Jones, C M
Year: 2008
Publication Details: Proceedings of the 5th Australasian Conference on Interactive Entertainment / pp.1-6
Resource Type: Conference Paper
Reviewed: Reviewed

Year: 2008
Publication Details: Abstract State Machines, B and Z / pp.309-322
Editor(s): Borger, E, Butler, M, Bowen, J P, Boca, P (eds)
Resource Type: Conference Paper
Reviewed: Reviewed

Year: 2005
Publication Details: Integrated Formal Methods / pp.227-245
Editor(s): Romijn, J, Smith, G, van de Pol, J (eds)
Resource Type: Conference Paper
Reviewed: Reviewed

  • First
  • Previous
  • 1
  • Next
  • Last

© 2012 University of the Sunshine Coast, Queensland, Australia | ABN 28 441 859 157 | CRICOS Provider No. 01595D