University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9001–9030 of 24,425 items
Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Room Air Conditioner System Modeling
Room Air Conditioner System Modeling
Mullen, C.E.; Bullard, C.W.

Thumbnail for Annual register. 1908-1909
Annual register. 1908-1909
University of Illinois at Urbana-Champaign

Thumbnail for Highway slab-bridges with curbs: laboratory tests and proposed design method : a report
Highway slab-bridges with curbs: laboratory tests and proposed design method : a report
Jensen, Vernon Peter; Kluge, Ralph Wendel; Williams, Clarence Benjamin