University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 601–630 of 38,284 items
Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Temperatures of surface waters in Illinois
Temperatures of surface waters in Illinois
Harmeson, Robert H.; Schnepper, Virginia M.

Thumbnail for Alternative Noise Barrier Approvals
Alternative Noise Barrier Approvals
El-Rayes, Khaled; Liu, Liang; Ignacio, Ernest-John

Thumbnail for The Blanket Order
The Blanket Order
Dudley, Norman

Thumbnail for Biologically Significant Illinois Streams: An Evaluation of the Streams of Illinois Based on Aquatic Biodiversity
Biologically Significant Illinois Streams: An Evaluation of the Streams of Illinois Based on Aquatic Biodiversity
Page, Lawrence M.; Cummings, Kevin S.; Mayer, Christine A.; Post, Susan L.; Retzer, Michael E.