1.
A programming approach to formal methods / Chris Casey.
by Casey, Chris.
Material type: Book; Format:
print
Publisher: London : McGraw-Hill, c1994Availability: No items available
2.
Scientific programmer's toolkit / M.H. Beilby, R.D. Harding and M.R. Manning.
by Beilby, M. H | Harding, R. D | Manning, M. R.
Edition: Turbo Pascal ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Bristol : Adam Hilger, c1991Availability: Items available for loan: Matheson Library [Call number: 005.133 B422] (2).
3.
A programming approach to formal methods / Chris Casey.
by Casey, Chris.
Material type: Book; Format:
print
Publisher: London : McGraw-Hill, c1994Availability: Items available for loan: Matheson Library [Call number: SR 005.3 C338] (1).
4.
Programming methods in structural design N.G.R. Iyengar and S.K. Gupta in collaboration with N.C. Nigam
by Iyengar, N. G. R | Nigam, N. C | Gupta, Sisir Kumar.
Material type: Book; Format:
print
Publisher: London Edward Arnold 1981, c1980Availability: Items available for loan: Matheson Library [Call number: 624.1771 I97p] (1).
5.
The custom APPLE and other mysteries Winfried Hofacker,Ekkehard Floegel
by Lorenz, C | Floegel, Ekkehard.
Material type: Book; Format:
print
Publisher: Upland, Calif. IJG c1982Availability: Items available for loan: Matheson Library [Call number: 001.64 H697c] (1).
6.
One thing after another.
by cNaught-Davis, Ian.
Material type: Book; Format:
print
Availability: No items available Lost (1).
7.
Talking to a machine.
by McNaught-Davis, Ian.
Material type: Book; Format:
print
Availability: No items available Lost (1).
8.
Statistical programming / Boris Allan
by Allan, Boris.
Material type: Book; Format:
print
Publisher: London: Pitman, 1984Availability: Items available for loan: Matheson Library [Call number: 005.1 A417s] (1).
9.
From Baker Street to binary : an introduction to computers and computer programming / Henry Ledgard, E. Patrick McQuaid, Andrew Singer.
by Ledgard, Henry F, 1943- | McQuaid, E. Patrick | Singer, Andrew, 1943- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : McGraw-Hill, 1983Availability: Items available for loan: Matheson Library [Call number: 004 L473f] (1).
10.
It's happening now.
by McNaught-Davis, Ian | British Broadcasting Corporation.
Material type: Book; Format:
print
Availability: Items available for loan: Matheson Library [Call number: 004 COM] (1).
11.
Current trends in programming methodology Raymond T. Yeh, editor
by Chandy, K. Mani | Yeh, Raymond Tzuu-Yau, 1937- .
Material type: Book; Format:
print
Publisher: Englewood Cliffs, N.J Prentice-Hall c1977-1978Availability: Items available for loan: Matheson Library [Call number: 001.642 C976] (3).
12.
Introduction to BASIC programming on the D.G.C. Nova computer / by G. W. McLean.
by McLean, G. W | Papua New Guinea Institute of Technology | Papua and New Guinea Institute of Technology.
Material type: Book; Format:
print
Publisher: [Lae] : Papua and New Guinea Institute of Technology, [1970]Availability: Items available for loan: Matheson Library [Call number: 001.6424 M163] (1).
13.
Selected writings on computing : a personal perspective / Edsger W. Dijkstra.
by Dijkstra, Edsger Wybe.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer-Verlag, c1982Availability: Items available for loan: Matheson Library [Call number: 004 D575s] (1).
14.
Software engineering for students / by Michael Coleman and Stephen Pratt.
by Coleman, A. Michael | Pratt, Stephen.
Material type: Book; Format:
print
Publisher: Bromley, Kent : Chartwell-Bratt, [1986]Availability: Items available for loan: Matheson Library [Call number: 005.1 C692s] (2).
15.
Perspectives on engineering and computing systems : report to the Institution of Engineers, Australia / [prepared by the] Working Party on Software Engineering.
by Institution of Engineers, Australia. Working Party on Software Engineering.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: [Mosman, NSW?] : Working Party on Software Engineering, The Institution of Engineers, Australia, 1985Availability: Items available for loan: Matheson Library [Call number: 005.10994 I59p] (1).
16.
Programming for beginners : the structured way / Doug Bell and Peter Scott.
by Bell, Doug, 1944- | Scott, Peter.
Material type: Book; Format:
print
Publisher: Kent,England : Chartwell-Bratt, 1987Availability: Items available for loan: Matheson Library [Call number: 005.1 B433p] (2).
17.
Computers and society with BASIC and Pascal / Michael A. Gallo, Robert B. Nenno.
by Gallo, Michael A | Nenno, Robert B.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : Prindle, Weber & Schmidt, c1985Availability: Items available for loan: Matheson Library [Call number: 303.4834 G172c] (1).
18.
Computer software packages and hardware systems used in Papua New Guinea secondary schools / Musawe Sinebare.
by Sinebare, Musawe.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Goroka : Goroka Teachers College, 1990Availability: Items available for loan: Matheson Library [Call number: 621.3819 S616] (3).
19.
Scientific programmer's toolkit / M.H. Beilby, R.D. Harding and M.R. Manning.
by Beilby, M. H | Harding, R. D | Manning, M. R.
Edition: Turbo Pascal ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Bristol : Adam Hilger, c1991Availability: No items available
20.
Introduction to real-time software design / S.T. Allworth, R.N. Zobel.
by Allworth, S. T | Zobel, R. N.
Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer-Verlag, c1987Availability: Items available for loan: Matheson Library [Call number: 005.12 A442i 1987] (1).