%A Arnold Learner
%T Numerical computation with the CSIRAC computer
%R M.A. thesis
%I University of Melbourne
%C Melbourne, Australia
%D February 1957
%P 127

%A R.T. Thorneycroft
%T Some experiments in nonlinear estimation
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D January 1967
%P 110

%A Peter George Thorne
%T Amplitude switched subharmonic circuits
and their application in computer storage systems
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D August 1967
%P 124

%A William Tan Poh Hoo
%T The remote on-line display processor
%R M.Appl.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D July 1969
%P 178

%A J. Colville
%T Graph theory in computation
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D February 1970
%P 158

%A Roy Edward Deane
%T An error detecting/correcting preprocessor for Fortran IV
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D March 1970
%P 108

%A Richard Hallgren
%T The iterative solution of large scale systems of difference equations
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1971
%P 154

%A Henry Maurice Grebler
%T Instruction analysis
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D March 1971
%P 125

%A Paul Alexander Dunn
%T Ferrite core associative memories
%R M.Appl.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D December 1971

%A R.P. Watkins
%T The application of graph theory to automatic flowchart generation
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D February 1972
%P 325

%A Erik Seliak
%T Small computer - graphics systems
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D February 1973
%P 148

%A Victor Ciesielski
%T Natural language interaction with a conversational memory
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D September 1973

%A W. Martin
%T Representation of structures
%R M.Sc thesis
%I University of Melbourne
%C Melbourne, Australia
%D December 1973
%P 133

%A Rex Philip Harris
%T Runge-Kutta processes
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1974
%P 146

%A R. Sacks-Davis
%T Solution to the eigenproblem by Jacobi-type methods
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1974
%P 120

%A Guy James de\ Vanny
%T Extended macro processors
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D January 1974
%P 147

%A Trevor Dix
%T Recognition of degree-3 polyhedra
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D March 1974
%P 116

%A Ming Lap Johnny Wu
%T The implementation of a programming language
for an algebraic manipulation system
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D August 1974
%P 148

%A Anthony Paul Kyne
%T Heuristic problem solving systems
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D October 1974
%P 200

%A Paul Andrew Pritchard
%T An axiomatic approach to the semantics of programming languages
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D JAn 1975
%P 134

%A Richard Dluzniak
%T Continuous space discrete time hybrid methods
for the solution of partial differential equations
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D March 1976
%P 140

%A Michaelene Incigneri
%T A comparison of adaptive and non-adaptive multidimensional quadrature
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D December 1976
%P 106

%A Edward J.S. Morris
%T On a methodology for simulation aided design of computer systems
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D January 1977
%P 180

%A Ronald Sacks-Davis
%T Numerical initial value problems in stiff ordinary differential equations
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D July 1977
%P 122

%A Sharman Lichtenstein
%T Grammatical synthesis from precedence relations
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D August 1977
%P 99

%A Paul A. Dunn
%T A distributed logic computer
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1978

%A Dirk Jacobus Jan van\ der\ Knijff
%T Evaluation of some basic measures of software science
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1979
%P 91

%A Kanchana Kanchanasut
%T The shortest path problem for partitioned grid graphs
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D October 1979
%P 108

%A John Andrew Shepherd
%T A critical assessment of Halstead's software science
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1981
%P 194

%A Graham Menhennitt
%T A computer program which plays
an imperfect knowledge game using tree searching
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D December 1981
%P 65

%A Isaac Balbin
%T High level forms specification in office automation
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1983
%P 158

%A Kim Marriott
%T Logic program synthesis using analogy
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1983
%P 33

%A Theo Mihelakos
%T Memory management subsystem
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1983
%P 35

%A Graeme S. Port
%T Mode directives as an AND control mechanism for logic programs
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1983

%A Glenn Ashley Farrall
%T Efficient memory accesses in a tagged software architecture
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1984
%P 156

%A Jacek Gibert
%T Combinator based implementations of functional programs
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1984
%P 127

%A David Morley
%T A four-valued logic for general logic programs
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1984
%P 33

%A John Pritchard
%T Predicate path expressions with concurrency operators
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1984
%P 33

%A Zoltan Somogyi
%T A parallel logic programming language and its implementation
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1984
%P 42

%A David Andrew Pice
%T Program instrumentation for the detection of software anomalies
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1985
%P 106

%A Bill Ross
%T View updates on deductive databases
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1985
%P 18

%A Michael J. Maher
%T Semantics of logic programs
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D September 1985
%P 77

%A Lee Naish
%T Negation and control in Prolog
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D September 1985
%P 108

%A Jin Ai Toh
%T Increasing backtracking efficiency in the execution of Prolog programs
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1986
%P 108

%A Ashley M. Aitken
%T Intelligence and intelligent computing
%R M.Sc. Prelim. thesis
%I University of Melbourne
%C Melbourne, Australia
%D November 1986
%P 34

%A T.Y. Chen
%T Fixpoint semantics
%R Ph.D. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1986

%A P.R. Lamb
%T VLSI design tools
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1984

%A J. Murnane
%T Educational computing systems
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1986

%A David Price
%T Program instrumentation for the detection of software anomalies
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1986

%A J.W. Schultz
%T The use of first order predicate calculus as a logic programming language
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1985

%A S.Y. Soon
%T A study of the semantics and formal definition of Ada
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1984

%A J.A. Thom
%T Pivacy protection, technological change and law reform
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1986

%A A.C. Valida
%T A micro-computer based tutorial system
for first order first degree differential equations
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1986

%A D.A. Wolfram
%T Adaptive backtracking
%R M.Sc. thesis
%I University of Melbourne
%C Melbourne, Australia
%D 1986

%A Jayen Vaghani
%T Towards a practical intelligent backtrack scheme for full Prolog
%R Honours report
%I University of Melbourne
%C Melbourne, Australia
%D November 1987
%P 25