University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1651–1680 of 4,802 items
Thumbnail for Notes on the Mereology of *Classes
Notes on the Mereology of *Classes
Finkler, Joshua Phillip

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 Seismic Design Studies of Low-Rise Steel Frames
Seismic Design Studies of Low-Rise Steel Frames
Schiff, S.D.; Hall, W.J.; Foutch, D.A.