University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2101–2130 of 16,539 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Supporting Informed Learners in the Twenty-first Century
Supporting Informed Learners in the Twenty-first Century
Bruce, Christine; Hughes, Hilary; Somerville, Mary M.

Thumbnail for Seismic Behavior of Bridge Column Non-Contact Lap Splices
Seismic Behavior of Bridge Column Non-Contact Lap Splices
Lin, Y.; Gamble, W.L.; Hawkins, Neil M.