University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7981–8010 of 12,165 items
Thumbnail for Coinductive program verification
Coinductive program verification
Moore, Brandon Michael

Thumbnail for Conceptual models of erosion and sedimentation in Illinois. Volume II: Level II models, model interactions, keywords, and bibliography
Conceptual models of erosion and sedimentation in Illinois. Volume II: Level II models, model interactions, keywords, and bibliography
Bhowmik, Nani G.; Demissie, Misganaw; Soong, David TaWei; Klock, Anne; Black, Nancy R.; Gross, David L.; Sipe, Timothy W.; Risser, Paul G.