University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7951–7980 of 62,067 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 Precipitation Augmentation for Crops Experiments: Pre-experimental Phase Studies
Precipitation Augmentation for Crops Experiments: Pre-experimental Phase Studies
Changnon, Stanley A., Jr.; Ackerman, Bernice; Durgunoğlu, Ali; Gabriel, K. Ruben; Gagin, A.; Garcia, Philip; Hsu, Chin-Fei; Huff, Floyd A.; Kidder, Stanley Q.; Knapp, H. Vernon; Mueller, Eugene A.; Ochs, Harry T.; Pinar, Musa; Rosenfeld, D.