Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 1
Books
A new communication protocol specification and analysis technique / John Joseph Zic.
Author / Creator:Žic, John J. (John Joseph)
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1986.
Date:1986.
Call Numbers:T0372346 , 004.62/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
Books
GRUNT - a theorem prover generator using tableau systems / Mark Grundy, Norman Y. Foo.
Author / Creator:Grundy, Mark.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1986.
Date:1986.
Call Numbers:511.3/8
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 3
Books
Belief revision in a microworld / Norman Y. Foo and Anand S. Rao.
Author / Creator:Foo, Norman Y.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1988.
Date:1988.
Call Numbers:N121/101
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 4
Books
Isomorph rejection in a general exhaustive search of combinatorial objects / G. Butler, C. W. H. Lam.
Author / Creator:Butler, G. (Gregory)
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1982.
Date:1982.
Call Numbers:Q511.6/2
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 5
Books
Analysis of Henriksen's algorithm for the simulation event list / Jeffrey H. Kingston.
Author / Creator:Kingston, Jeffrey H. (Jeffrey Howard)
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1984.
Date:1984.
Call Numbers:519.52/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 6
Books
Conditional algebraic specifications / Norman Y. Foo.
Author / Creator:Foo, Norman Y.
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1982.
Date:1982.
Call Numbers:Q512/17
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 7
Books
Discovery and use of decision trees / J.R. Quinlan.
Author / Creator:Quinlan, J. R. (John Ross), 1943-
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1988.
Date:1988.
Call Numbers:T0371592
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 8
Books
Large computer project problems and their causes / John M. Bennett.
Author / Creator:Bennett, John M. (John Makepeace), 1921-2010.
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1982.
Date:1982.
Call Numbers:Q658.404028/2
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 9
Books
The Mathematical needs of computer science : paper presented at The Third South East Asian Conference on Mathematical Education, 22-25 May 1984, Prince of Songkla University, Hat Yai, Thailand / John...
Author / Creator:Bennett, John M. (John Makepeace), 1921-2010.
Publisher:Sydney : University of Sydney, Basser Department of Computer Science, 1984.
Date:1984.
Call Numbers:T0369734
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 10
Books
Robots and dancing / D. Herbison-Evans.
Author / Creator:Herbison-Evans, D. (Donald)
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1984.
Date:1984.
Call Numbers:629.892/2
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 11
Books
The CSIRONET UNIX connection / J. Gibbons.
Author / Creator:Gibbons, J.
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1982.
Date:1982.
Call Numbers:Q001.64404/2
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 12
Books
Zipf's Law, structured programming and creativity / J.M. Bennett.
Author / Creator:Bennett, John M. (John Makepeace), 1921-2010.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1983.
Date:1983.
Call Numbers:Q001.642/4
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 13
Books
Encryption exponent 3 and the security of RSA / David S.P. Khoo, Gregory J. Bird, Jennifer Seberry.
Author / Creator:Khoo, David S. P.
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1985.
Date:1985.
Call Numbers:N652.8/14 , 652.8/6
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 14
Books
A formative study of the first programming module of Computer Science 1 / Judy Kay, Michael Prosser ; with the assistance of J.M. Bennett, M. Dunkin.
Author / Creator:Kay, Judy.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1983.
Date:1983.
Call Numbers:Q001.6071194/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 15
Books
On computing double coset representatives in permutation groups / Gregory Butler.
Author / Creator:Butler, G. (Gregory)
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1982.
Date:1982.
Call Numbers:Q512.2/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 16
Books
Dithering / D. Herbison-Evans.
Publisher:Sydney : Basser Dept. of Computer Science, University of Sydney, 1984.
Date:1984.
Call Numbers:006.6/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 17
Books
Undecidability of TW=TW and TW=gFp(T) for logic programs / Norman Y. Foo.
Author / Creator:Foo, Norman Y.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1986.
Date:1986.
Call Numbers:N621.395/8 , 621.395/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 18
Books
An application of infra-red communications / I.A. Parkin and J. Zic.
Author / Creator:Parkin, I. A.
Publisher:[Sydney] : Basser Dept. of Computer Science, the University of Sydney, [1984?].
Date:[1984?].
Call Numbers:621.362/1
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 19
Books
External knowledge and evolving knowledge / Anand S. Rao and Norman Y. Foo.
Author / Creator:Rao, Anand S.
Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1986.
Date:1986.
Call Numbers:121/4 , N121/106
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 20
Journals
Technical report / Basser Department of Computer Science, School of Physics, University of Sydney.
Publisher:Sydney : The Dept, 1972-2001.
Date:1972-2001.
Call Numbers:Each issue has a separate book no. , N004.0994/1 , NQ004.0994/2
For use in the Library