University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2581–2610 of 7,739 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 Analysis of statically indeterminate structures by the slope deflection method
Analysis of statically indeterminate structures by the slope deflection method
Wilson, Wilbur M.; Richart, Frank Erwin; Weiss, Camillo

Thumbnail for On Positive Real Functions
On Positive Real Functions
Goldberg, Jack Leonard

Thumbnail for The Summary of Engineering Research 2003
The Summary of Engineering Research 2003
University of Illinois at Urbana-Champaign. College of Engineering