Institutional Repository
Search
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
South African Computer Journal 1992(7)
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 10 out of a total of 21 results for collection: South African Computer Journal 1992(7).
(0.027 seconds)
Now showing items 1-10 of 21
1
2
3
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
ESML - A validation language for concurrent systems
De Villiers, PJA
;
Visser, WC
(
South African Computer Society (SAICSIT)
,
1992
)
A model for object-oriented databases
Brand, M
;
Wood, PT
(
South African Computer Society (SAICSIT)
,
1992
)
Mechanising execution sequence semantics in HOL
Tredoux, G
(
South African Computer Society (SAICSIT)
,
1992
)
Placing processes in a transputer-based Linda programming environment
Clayton, Peter G.
;
de-Heer-Menlah, FK
;
Wentworth, EP
(
South African Computer Society (SAICSIT)
,
1992
)
A lattice-theoretic model for relational database security
Melton, A
;
Shenoi, S
(
South African Computer Society (SAICSIT)
,
1992
)
Quantifier elimination in second order predicate logic
Gabbay, D
;
Ohlbach, HJ
(
South African Computer Society (SAICSIT)
,
1992
)
Automatically linking words and concepts in an Afrikaans dictionary
Theron, PZ
;
Cloete, I
(
South African Computer Society (SAICSIT)
,
1992
)
Using information systems methodology to design an instructional system
O'Donovan, BC
(
South African Computer Society (SAICSIT)
,
1992
)
A general building block for distributed system management
Putter, P
;
Roos, JD
(
South African Computer Society (SAICSIT)
,
1992
)
Statenets - an alternative modelling mechanism for performance analysis
Lewis, L
(
South African Computer Society (SAICSIT)
,
1992
)
Now showing items 1-10 of 21
1
2
3
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of UnisaIR
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Advisor
Type
This Collection
By Issue Date
Authors
Titles
Subjects
Advisor
Type
My Account
Login
Register
Discover
Author
Cloete, I (2)
Wood, PT (2)
Apteker, RT (1)
Berman, Sonia (1)
Bishop, JM (1)
Brand, M (1)
Clayton, Peter G. (1)
De Villiers, PJA (1)
de-Heer-Menlah, FK (1)
Foss, RJ (1)
... View More
Subject
Distributed systems (2)
Methods (2)
Modelling (2)
African languages (1)
Back-propagation (1)
Blocking (1)
Circumscription (1)
Compilation (1)
Compilers (1)
Computational lexicography (1)
... View More
Date Issued
1992 (21)
Has File(s)
Yes (21)