The language approach to the development of reliable concurrent programs by De Villiers, Pieter Jan Albertus

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

Bis-snit ontwikkelingstelsel by Jacobsz, Coenraad Jacobus

Subjects: “…Compiling (Electronic computers)…”
Get full text

Preparing teachers in developing for computational thinking teaching in primary education : a Namibian case study

Subjects: “…Computational Thinking…”
Get full text
Get full text

Solving the large-scale knapsack feasibility problem using a distributed computation approach to integer programming

Get full text

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

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

Automated program generation : bridging the gap between model and implementation by Bezuidenhout, Johannes Abraham

Get full text

Linear Programming Solutions to the Linear Ordering Problem in Major American Sports

Get full text

Visualizing the memory performance of parallel programs with Chiron by Polzin, Dieter Wilhelm

Get full text

MURAC: A unified machine model for heterogeneous computers by Hamilton, Brandon Kyle

Get full text

The design and development of a 64-Bit Linux based single board computer specifically for visible light positioning by Strydom, Phillip

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

The development and evaluation of an electronic serious game aimed at the education of core programming skills by Van Niekerk, Leon

Subjects: “…Programming (Computers)…”
Get full text

A survey of proof systems for CSP by Van Zijl, Lynette

Subjects: “…Programming languages (Electronic computers)…”
Get full text

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

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

A Mixed Integer Programming Approach to the Rechargeable Rover Routing Problem on Mars

Get full text

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms

Get full text

Prover-Adversary games for systems over (non-deterministic) branching programs

Get full text

Scaffolding java programming on a mobile phone for novice learners by Mbogo, Charity Chao

Get full text

P-Pascal : a data-oriented persistent programming language by Berman, Sonia

Get full text

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

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

Computer assisted qualitative design with special reference to the design of industrial workstations by Page, D.(Daniel)

Subjects: “…Computer programs…”
Get full text