University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 721–750 of 3,396 items
Thumbnail for Verification of Casper in the Coq Proof Assistant
Verification of Casper in the Coq Proof Assistant
Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Roşu, Grigore

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

Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine

Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding