University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 571–600 of 1,473 items
Thumbnail for Investigation of the efficiency and durability of spur gears
Investigation of the efficiency and durability of spur gears
Ham, Clarence Walter; Huckert, Jesse William

Thumbnail for The mineral content of Illinois waters
The mineral content of Illinois waters
Bartow, Edward; Parr, Samuel Wilson; Palmer, George Thomas; Udden, Johan August

Thumbnail for Applicative matching logic
Applicative matching logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for Fatigue tests of riveted joints : a report
Fatigue tests of riveted joints : a report
Wilson, Wilbur M.; Thomas, Frank P.

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Students' directory. 1968-1969
Students' directory. 1968-1969
University of Illinois at Urbana-Champaign