University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 1,768 items
Thumbnail for Zooplankton as an Indicator of the Ecosystem Response to Bigheaded Carp Suppression via Commercial Harvest in the Illinois River (2010 – 2017)
Zooplankton as an Indicator of the Ecosystem Response to Bigheaded Carp Suppression via Commercial Harvest in the Illinois River (2010 – 2017)
Chara-Serna, Ana; Maxson, Kristopher A.; Anderson, Alison M.; Zalay, Brian D.; Casper, Andrew F.

Thumbnail for A pragmatic account of control
A pragmatic account of control
Williams, Timothy Kevin

Thumbnail for Program Verification by Coinduction
Program Verification by Coinduction
Rosu, Grigore; Moore, Brandon

Thumbnail for Coinductive program verification
Coinductive program verification
Moore, Brandon Michael

Thumbnail for Museum of Natural History. v.2, no.2 (1992) - v.4, no.1 (1996)
Museum of Natural History. v.2, no.2 (1992) - v.4, no.1 (1996)
Museum of Natural History. College of Liberal Arts and Sciences. University of Illinois at Urbana-Champaign

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 Field Assessment of an Electric Dispersal Barrier to Protect Sport Fishes from Invasive
            Exotic Fishes
Field Assessment of an Electric Dispersal Barrier to Protect Sport Fishes from Invasive Exotic Fishes
Stainbrook, Karen M.; Creque, Sara M.; Sparks, Richard E.; Barkley, Traci; Dettmers, John M.

Thumbnail for Evaluating streams in Illinois based on aquatic biodiversity
Evaluating streams in Illinois based on aquatic biodiversity
Bol, Leslie; Holtrop, Ann Marie; Hinz, Leon C., Jr.; Epifanio, John M.