University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 481–510 of 1,690 items
Thumbnail for Program Verification by Coinduction
Program Verification by Coinduction
Rosu, Grigore; Moore, Brandon

Thumbnail for Biomarker Magazine Winter 2017, vol. 11
Biomarker Magazine Winter 2017, vol. 11
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for Geotechnical properties of selected Pleistocene, Silurian, and Ordovician deposits of northeastern Illinois
Geotechnical properties of selected Pleistocene, Silurian, and Ordovician deposits of northeastern Illinois
Bauer, Robert A.; Curry, B.B.; Graese, A.M.; Vaiden, R.C.; Su, W.J.; Hasek, M.J.