University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6781–6810 of 13,177 items
Thumbnail for Projected effects of increased diversion of Lake Michigan water on the environment of the Illinois River Valley
Projected effects of increased diversion of Lake Michigan water on the environment of the Illinois River Valley
Havera, Stephen P.; Bellrose, Frank C.; Archer, H. Kathleen; Paveglio, Fred, Jr.; Steffeck, Donald W.; Lubinski, Kenneth S.; Sparks, Richard E.; Brigham,Warren U.; Coutant,Larry; Waite,Stephan; McCormick,Dee

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