Institutional Repository
Search
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
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 14 results for community: South African Computer Journal (SACJ).
(0.095 seconds)
Now showing items 1-10 of 14
1
2
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
Verification of finite state systems with temporal logic model checking
Schlingloff, B
(
South African Computer Society (SAICSIT)
,
1997
)
Application-oriented program semantics
McIver, AK
;
Morgan, C
;
Sanders, JW
(
South African Computer Society (SAICSIT)
,
1997
)
Reasoning about changing information
Blackburn, P
;
Jaspars, J
;
De Rijke, M
(
South African Computer Society (SAICSIT)
,
1997
)
Word prediction strategies in program editing environments
Sanders, I
;
Tsai, C
(
South African Computer Society (SAICSIT)
,
1997
)
Theory meets practice. Using Smith's normalization in complex systems
Van der Merwe, AJ
;
Labuschagne, WA
(
South African Computer Society (SAICSIT)
,
1997
)
The recovery problem in multidatabase systems - characteristics and solutions
Renaud, K
;
Kotze, P
(
South African Computer Society (SAICSIT)
,
1997
)
Mobile agents at ISADS 97
Vosloo, I
(
South African Computer Society (SAICSIT)
,
1997
)
A computerised-consultation service for the computerisation of the very small small-business enterprise
Rensleigh, CW
;
Olivier, MS
(
South African Computer Society (SAICSIT)
,
1997
)
Test automation of safety-critical reactive systems
Peleska, J
;
Siegel, M
(
South African Computer Society (SAICSIT)
,
1997
)
The abstraction-first approach to encouraging reuse
Machanick, Philip
(
South African Computer Society (SAICSIT)
,
1997
)
Now showing items 1-10 of 14
1
2
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 Community
By Issue Date
Authors
Titles
Subjects
Advisor
Type
My Account
Login
Register
Discover
Author
Olivier, MS (2)
Blackburn, P (1)
Brink, C (1)
De Rijke, M (1)
De Villiers, R (1)
Jaspars, J (1)
Kotze, P (1)
Kotze, P (1)
Labuschagne, WA (1)
Machanick, Philip (1)
... View More
Subject
Modal logic (2)
Abstraction (1)
Binary decision diagrams (BDDs) (1)
Binary relations (1)
Buchi-Automata (1)
Business process reengineering (1)
Completeness (1)
Computer aided verification (1)
Computer Science education (1)
Computer-aided instruction (1)
... View More
Date Issued
1997 (14)
Has File(s)
Yes (14)