University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 421–450 of 1,802 items
Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Water Quality Assessment and Waste Assimilative Analysis of the LaGrange Pool, Illinois River
Water Quality Assessment and Waste Assimilative Analysis of the LaGrange Pool, Illinois River
Butts, Thomas A.; Roseboom, Donald P.; Hill, Thomas E.; Lin, Shun Dar; Beuscher, Davis B.; Twait, Richard M.; Evans, Ralph L.

Thumbnail for Critical Trends Assessment Program 2003-2004 Report
Critical Trends Assessment Program 2003-2004 Report
Illinois Department of Natural Resources

Thumbnail for Advanced characterization of forms of chlorine, organic sulfur, and selected trace elements in available coals from operating Illinois mines
Advanced characterization of forms of chlorine, organic sulfur, and selected trace elements in available coals from operating Illinois mines
Chou, Mei-In Melissa; Demir, Ilham; Bhagwat, Subhash; Huggins, F.E.; Huffman, G.P.; Ho, Ken K.

Thumbnail for Year in review / 2009-10
Year in review / 2009-10
University of Illinois at Urbana-Champaign. Deptartment of Geology