University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 77 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 Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Special to farm advisers / 1968
Special to farm advisers / 1968
Submitter: Howard Ding

Thumbnail for Missouri libraries
Missouri libraries
Clarkson, Edna

Thumbnail for Farm news for weeklies. 1948
Farm news for weeklies. 1948
Submitter: Howard Ding

Thumbnail for Farm news for weeklies. 1960-61
Farm news for weeklies. 1960-61
Submitter: Howard Ding

Thumbnail for Inorganic seminar abstracts. 1955-56
Inorganic seminar abstracts. 1955-56
University of Illinois at Urbana-Champaign. Deptartment of Chemistry

Thumbnail for Alumni news / 5(1976)
Alumni news / 5(1976)
University of Illinois at Urbana-Champaign. Deptartment of Urban and Regional Planning