IBAL manual; the Illiac III basic assembler language,

"Supported in part by contract AT(11-1)-2118 with the United States Atomic Energy Commission."

A code for designing optimal networks by implicit enumeration using the all-interconnection inequality formulation : (a programming manual for ILLODIE-AIF) /

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

An implicit enumeration program for zero-one integer programming -- ILLIP-2 /

Thesis (M.S.)--Illinois.

A study of the effect of additional inequalities in integer programming for logical design.

Originally presented as the author's thesis (M.S.), University of Illinois at Urbana-Champaign.

Synthesis of optimal networks with NOR and NAND gates by integer programming /

"January 18, 1971."

Use of macros in backtrack programming /

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

A class of algorithms for automatic evaluation of certain elementary functions in a binary computer.

"Supported in part...under Grant No. US NSF GJ812 and Grant No. US NSF GJ813."

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

"C00-1018-1174."

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.

A model for linear programming optimization of I/O-bound programs /

"June, 1969."

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.