University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 5491–5520 of 7,963 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 Construction of Pedestrian Infrastructure along Transit Corridors
Construction of Pedestrian Infrastructure along Transit Corridors
Braun, Lindsay M.; Barajas, Jesus M.; Lee, Bumsoo; Martin, Rebecca; Mashraky, Rafsun; Rathor, Shubhangi; Shrivastava, Manika

Thumbnail for Notes on the Mereology of *Classes
Notes on the Mereology of *Classes
Finkler, Joshua Phillip

Thumbnail for Illinois crop protection technology conference: Proceedings
Illinois crop protection technology conference: Proceedings
University of Illinois at Urbana-Champaign. College of Agricultural, Consumer, and Environmental Sciences. Cooperative Extension Service