Providing mechanical support for program development in a weakest precondition calculus by Ackerman, Charlotte Christene

Subjects: “…Calculus -- Computer programs…”
Get full text

The probability of occurrence and the intensity of tropical cyclones along the Southern African East coast by Rossouw, Cobus

Subjects: “…Monte Carlo method -- Computer programs…”
Get full text

Structural optimisation via genetic algorithms by Appelo, Sophia Aletta

Subjects: “…Computer programming…”
Get full text

Towards securing software of embedded Linux devices by Van Tonder, Rijnard

Subjects: “…Linux device drivers (Computer programs)…”
Get full text

A kernel to support computer-aided verification of embedded software by Grobler, Leon D.

Subjects: “…Computer programs -- Validation…”
Get full text

Use of the TRAC PAC as a microcomputer-based laboratory (MBL) tool for addressing misconceptions in kinematics and kinematic graphs held by secondary school learners by Green, W. J.(Whitfield James)

Subjects: “…Computer-assisted instruction -- Computer programs…”
Get full text

Die gebruik van elektroniese hulpmiddels en statistiese tegnieke in die evaluering van die agroklimaat van Suidwes-Kaapland by Buys, Maryno Elisa Lavinus

Subjects: “…Climatology -- Computer programs…”
Get full text

Eindige element en eksperimentele spanningsanalise van voertuigbak. by Lu, Tien-Fan

Subjects: “…Finite element method -- Computer programs…”
Get full text

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

Subjects: “…Computer programs -- Verification…”
Get full text

Addressing some of the challenges faced by small and medium-sized entities during the selection and implementation of accounting software packages by Bishop, William Arthur

Subjects: “…Accounting -- Computer programs…”
Get full text

System identification and modal tracking on ship structures by Soal, Keith Ian

Subjects: “…Ship resistance -- Computer programs…”
Get full text

A figure of merit for the x-band all-sky survey by Kriel, Scott

Subjects: “…Cartography -- Computer programs -- South Africa…”
Get full text

LF : a language for reliable embedded systems by Van Riet, F. A.

Subjects: “…Joyce (Computer programming language)…”
Get full text

Dehydration of peaches and pears without sulphur dioxide by Hansmann, C. F.(Chris Friedriech)

Subjects: “…Fruit -- Drying -- Computer programs…”
Get full text

Phonetic alignment of speech using continuous density hidden Markov models by Van der Merwe, C. J.(Charl Johannes)

Subjects: “…Markov processes -- Computer programs…”
Get full text

A simplified finite element model for time-dependent deflections of flat slabs

Subjects: “…Finite element method computer programs…”
Get full text
Get full text

Development of a toolkit for the evaluation and improvement of commercial citrus supply prediction methods by Bester, Morne

Subjects: “…Harvesting -- Computer programs…”
Get full text

Development of a framework for tracking goods in manufacturing networks using a distributed ledger technology by Dietrich, Fabian Tobias

Subjects: “…Filing systems -- Computer programs…”
Get full text

Ergo: a gesture-based computer interaction device by Kane, Boyd Robert

Subjects: “…Artificial intelligence -- Computer programs…”
Get full text

A comparison of two different model checking techniques by Bull, J. J. D

Subjects: “…Computer programs -- Validation…”
Get full text