Program manual for the programs ILLOD-MINSUM-CBS, ILLOD-MINSUM-CBSA, ILLOD-MINSUM-CBG, and ILLOD-MINSUM-CBGM, to derive minimal sums or irredundant disjunctive forms for switching functions /

"UILU-ENG 78 1719."

Documentation for DFASUB--a program for the solution of simultaneous implicit differential and nonlinear equations,

Mode of access: Internet.

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

Thesis (M.S.)--Illinois.

NOR network transduction system : principles of the NETTRA system /

Bibliography: p. 209-212.

The University of Illinois attached machine operating system: design criteria and program logic,

"Supported in part by National Science Foundation under Grant No. NSF-GP-7634."

INDUCE-1 : an interactive inductive inference program in VL logic system /

"UILU-ENG 77 1727."--Cover.

Peripheral Interchange Program (PIP) /

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

An Implicit enumeration program for zero-one integer programming,

Bibliography: p. 41-42.

User's manual for PAX an IBM 7090 program to simulate the pattern articulation unit of ILLIAC III /

"This work was supported in part by Contract No. AT(11-1)-1018 of the Atomic Energy Commission. This report supercedes File No. 513."

Design of Irredundant MOS Networks : a program manual for the design algorithm DIMN /

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

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

Bibliography: p. 49.

The uniclass inductive program AQ7UNI : program implementation and user's guide /

"UILU-ENG 79 1729."

SMART: a program for simplified matrix algebra on remote terminals.

Thesis (M.S.)--University of Illinois.

NOR network transduction by generalized gate merging and substitution procedures : (principles of NOR network transduction programs NETTRA-G3 and NETTRA-G4) /

Includes bibliographical references.

NOR network transduction procedures based on connectable and disconnectable conditions : principles of NOR network transduction programs NETTRA-G1 and NETTRA-G2 /

Bibliography: p. 63.