University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1171–1200 of 1,450 items
Thumbnail for Coinductive program verification
Coinductive program verification
Moore, Brandon Michael

Thumbnail for Transactions of the Board of Trustees [electronic resource] / 1996-98
Transactions of the Board of Trustees [electronic resource] / 1996-98
University of Illinois (System). Board of Trustees

Thumbnail for Metalloprotein Design
Metalloprotein Design
Sigman, Jeffrey Allen

Thumbnail for Transactions of the Board of Trustees [electronic resource] / 1992-94
Transactions of the Board of Trustees [electronic resource] / 1992-94
University of Illinois (System). Board of Trustees