University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9631–9660 of 34,162 items
Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Hydraulic Model Study of Chicago River Density Currents (HES 77)
Hydraulic Model Study of Chicago River Density Currents (HES 77)
Manriquez, Claudia P.; Garcia, Carlos M.; Jackson, P. Ryan; Garcia, Marcelo H.

Thumbnail for Brand Community
Brand Community
Muniz, Albert Manuel, Jr