Showing items 31 - 42 of 42.

Add to Quick Collection   All 42 Results

Sort:
 Add All Items to Quick Collection
Year: 2009
Publication Details: ACM Transactions on Programming Languages and Systems / Vol. 31, No. 4
Resource Type: Journal Article
Full Text: Full Text
Reviewed: Reviewed

Authors: Goode, S | Lacey, David
Year: 2009
Publication Details: Proceedings of the 20th Australasian Conference on Information Systems / pp.671-681
Resource Type: Conference Paper
Full Text: Full Text
Reviewed: Reviewed
Year: 2007
Publication Details: Journal of Applied Research in Accounting and Finance / Vol. 2, No. 2, pp.27-33
Resource Type: Journal Article
Reviewed: Reviewed
Year: 2007
Publication Details: Journal of Law and Financial Management / Vol. 6, No. 2, pp.14-21
Resource Type: Journal Article
Authors: Lacey, David
Year: 2006
Publication Details: Information Security Technical Report / Vol. 11, No. 1, pp.62-65
Resource Type: Journal Article
Reviewed: Reviewed

Year: 2006
Publication Details: Compiler Construction / pp.109-123
Editor(s): Alan Mycroft, Andreas Zeller (eds)
Resource Type: Book Chapter
Reviewed: Reviewed

Year: 2004
Publication Details: Higher-Order and Symbolic Computation / Vol. 17, No. 3, pp.173-206
Resource Type: Journal Article
Full Text: Full Text
Reviewed: Reviewed

Year: 2004
Publication Details: Educational integrity: plagiarism and other perplexities
Editor(s): Helen Marsden, Alan L Bundy, Margaret Hicks (eds)
Resource Type: Conference Paper
Reviewed: Reviewed
Year: 2004
Publication Details: Journal of Consumer Affairs / Vol. 38, No. 2, pp.244-261
Resource Type: Journal Article
Reviewed: Reviewed

Year: 2003
Publication Details: Higher-Order and Symbolic Computation / Vol. 16, No. 1, pp.15-35
Resource Type: Journal Article
Reviewed: Reviewed

Year: 2002
Publication Details: Proceedings of the 29th Principles of Programming Languages Symposium / pp.283-294
Resource Type: Conference Paper
Reviewed: Reviewed

Year: 2000
Publication Details: Computational Logic — CL 2000 / pp.87-100
Editor(s): J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K-K. Lau, C. Palamidessi, L. Moniz Pereira, Y. Sagiv, P. J. Stuckey (eds)
Resource Type: Conference Paper
Reviewed: Reviewed


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