University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 294 items
Thumbnail for Program Verification by Coinduction
Program Verification by Coinduction
Rosu, Grigore; Moore, Brandon

Thumbnail for Incorporating Additive Manufacturing (AM) Technologies into the Undergraduate Design Curriculum
Incorporating Additive Manufacturing (AM) Technologies into the Undergraduate Design Curriculum
Lubna, Maliha; Occomy, Jovani; Patterson, Albert E.; Messimer, Sherri L.

Raw subject- and trial-level data for Hussey et al., 2015
Hussey, Erika K.; Ward, Nathan; Christianson, Kiel; Kramer, Arthur K.

Thumbnail for FBI Major Case 216: A Case Study
FBI Major Case 216: A Case Study
Ricker, Kathleen; Barlow, James; Adams, Craig

Thumbnail for Aligning author-supplied keywords for ETDs with domain-specific controlled vocabularies
Aligning author-supplied keywords for ETDs with domain-specific controlled vocabularies
Han, Myung-Ja K.; Harrington, Patrick; Black, Andrea; Kudeki, Deren