Analysis of fixed-stepsize methods /

Bibliography: p. 32.

An application of intercoupled-transmission-line-amplifier /

"November 1, 1965."

A generalization of Ramsey theory for graphs /

Includes bibliographical references.

An investigation of the application of microprocessors to low cost area navigation capabilities for general aviation /

Vita.

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.

Program manual of programs for minimal covering problems : ILLOD-MINIC-B, ILLOD-MINIC-BP, ILLOD-MINIC-BS, ILLOD-MINIC-BA, ILLOD-MINIC-BG /

Includes bibliography references.

A recursively defined ordering for proving termination of term rewriting systems /

NSF MCS 77-22830."

A systematic approach to the design of structures for arithmetic /

"NSF-MCS-80-00058"--Cover.

Automatic solutions of partial differential equations.

Vita.

Cost effective analysis of network computers /

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

Minimization of logic networks under a generalized cost function /

Includes bibliographical references.

On the evaluation of powers /

Bibliography: leaf 6.

Parallel methods and bounds of evaluating polynomials.

Bibliography: p. 24.

Results of the synthesis of optimal networks of AND and OR gates for four-variable switching functions by a branch-and-bound computer program /

Bibliography: p. 39 (2d group)