University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 271–300 of 18,124 items
Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for A Hierarchical Approach for Dependability Analysis of a Commercial Cached RAID Storage Architecture
A Hierarchical Approach for Dependability Analysis of a Commercial Cached RAID Storage Architecture
Kaâniche, M.; Romano, L.; Kalbarczyk, Z.; Iyer, R.K.; Karcich, R.

Thumbnail for Annual register. 1937-38
Annual register. 1937-38
University of Illinois at Urbana-Champaign