The PAX II picture processing system at the University of Illinois, programming manual;

"C00-1018-1174."

A system monitor for programs in artificial intelligence /

Bibliography: p. 84-85.

An automatic verifier for a class of sorting programs /

Thesis--University of Illinois at Urbana-Champaign.

LINGOL, a readable formalism for programming language semantics /

"UILU-ENG 77 1766."

VIPTRAN--a programming language and its compiler for Boolean systems or process control equations.

Thesis (M.A.)--University of Illinois at Urbana-Champaign.

On the synthesis by integer programming of optimal NOR gate networks for four variable switching functions /

"Supported in part by the National Science Foundation under grant no. NSF GJ-503."

SOUPAC program descriptions : statistically oriented users programming and consulting.

Mode of access: Internet.

SOUPAC program descriptions : statistically oriented users programming and consulting.

"Report no. 370-3."

APE machine : a novel stochastic computer based on a set of automonous [sic] processing elements /

Thesis--University of Illinois at Urbana-Champaign.

Program manual: NOR network pruning procedures using permissible functions : (reference manual of NOR network transduction programs NETTRA-PG1, NETTRA-P1, and NETTRA-P2) /

Includes bibliographical references (page 78).

Program manual, NOR network transduction by generalized gate merging and substitution : (reference manual of NOR network transduction programs NETTRA-G3 and NETTRA-G4) /

Includes bibliographical references.

Some results on the working set anomalies in numerical programs /

"UILU-ENG 80 1744"--Cover.

What do we need in programming languages for mathematical software? /

"UIUCDCS-R-74-652"

A formal definition of the SIBYL programming languages /

"UILU-ENG 77 1710."

Pruning procedures for NOR networks using permissible functions : principles of NOR network transduction programs NETTRA-PGI, NETTRA-P1, and NETTRA-P2 /

Bibliography: p. 49.