University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 5431–5460 of 9,157 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 The Picaresque Novel of Mexico
The Picaresque Novel of Mexico
Blackburn, Carol Roark

Thumbnail for A Rewriting Logic Approach to Operational Semantics
A Rewriting Logic Approach to Operational Semantics
Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Inorganic seminar abstracts. 1960-61
Inorganic seminar abstracts. 1960-61
University of Illinois at Urbana-Champaign. Deptartment of Chemistry