University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9181–9210 of 13,990 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 Water Quality Assessment and Waste Assimilative Analysis of the LaGrange Pool, Illinois River
Water Quality Assessment and Waste Assimilative Analysis of the LaGrange Pool, Illinois River
Butts, Thomas A.; Roseboom, Donald P.; Hill, Thomas E.; Lin, Shun Dar; Beuscher, Davis B.; Twait, Richard M.; Evans, Ralph L.

Thumbnail for Modeling and control of nonlinear systems
Modeling and control of nonlinear systems
Kodogeorgiou, Athanassios E.