University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2761–2790 of 8,224 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 Compendium of 143 Illinois Lakes: Bathymetry, Physio-chemical Features, and Habitats. Volume 1: Lakes in Regions 1, 2, and 3
Compendium of 143 Illinois Lakes: Bathymetry, Physio-chemical Features, and Habitats. Volume 1: Lakes in Regions 1, 2, and 3
Austen, Douglas J.; Peterson, James T.; Newman, Barry; Sobaski, Stephen T.; Bayley, Peter B.

Thumbnail for The geology of Hardin County, and the adjoining part of Pope County.
The geology of Hardin County, and the adjoining part of Pope County.
Weller, Stuart; Butts, Charles; Currier, Louis W.; Salisbury, Rollin D.