Further results regarding multiprocessor systems /

"NSF-OCA-MCS76-81686-000030."

Model of partial switching in polycrystalline ferromagnetics /

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

Designing computer circuits with a computer /

"This work has been supported by Contract N6ori-71 Task XXIV United States Navy ONR NR 048 094"

Functional device models and computer aided circuit design

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

A general method for evaluation of functions and computations in a digital computer /

Vita.

Illiac III computer system manual: arithmetic units

"C00-1018-1194."

NUCLEOL as a formal system.

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

PILOT/360 reference manual /

Includes index.

TRANQUIL : a language for an array processing computer /

"April 1, 1969."

Well-founded orderings for proving termination of systems of rewrite rules /

Bibliography: p. 34.

Illiac III computer system manual : taxicrinic processor, volume 2 /

"This work was supported by Contract AT(11-1)-1018 with the U.S. Atomic Energy Commission through September 30, 1970. Current support is under Contract AV(11-1)-2118 with the above agency."

Recurse : a Plato lesson on recursion /

Bibliography: p. 62.

A study of arithmetic recoding with applications in multiplication and division.

Vita.

Computer security and the data encryption standard : proceedings of the Conference on Computer Security and the Data Encryption Standard held at the National Bureau of Standards in Gaithersburg, Maryland, on February 15, 1977 /

Mode of access: Internet.

Common command language for file manipulation and network job execution : an example /

Includes bibliographical references (p. 27).