University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 2,137 items
Thumbnail for PALS/PRISM Software Design Description (SDD): Ver. 0.51
PALS/PRISM Software Design Description (SDD): Ver. 0.51
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui

Thumbnail for The Kankakee River Yesterday and Today
The Kankakee River Yesterday and Today
Ivens, J. Loreena; Bhowmik, Nani G.; Brigham, Allison R.; Gross, David L.

Thumbnail for A bioinventory of select terrestrial insects at Braidwood Dunes and Savanna Nature Preserve (Will County, Illinois)
A bioinventory of select terrestrial insects at Braidwood Dunes and Savanna Nature Preserve (Will County, Illinois)
Taylor, Steven J.; Yanahan, Alan D.; Heads, Sam W.; Soto-Adames, Felipe N.; Wiker, James R.; Swanson, Daniel R.; Zahniser, James N.; Bundy, C. Scott

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 supply planning: Kankakee watershed assessment of water resources for water supply
Water supply planning: Kankakee watershed assessment of water resources for water supply
Kelly, Walton R.; Zhang, Zhenxing; Abrams, Daniel B.; Hadley, Daniel R.; Mannix, Devin H.; Getahun, Elias; Knapp, H. Vernon; Roadcap, George S.; Meyer, Scott C.; Dziegielewski, Benedykt; Balikian, Riley; Thomason, Jason F.