University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 2,263 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 Biomarker Magazine Winter 2016, vol. 10
Biomarker Magazine Winter 2016, vol. 10
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for Farm news for weeklies. 1960-61
Farm news for weeklies. 1960-61
Submitter: Howard Ding

Thumbnail for iConference 2013 Program
iConference 2013 Program
iConference 2013 Program Committee

Thumbnail for access: v.09, no.03, Fall 1995
access: v.09, no.03, Fall 1995
National Center for Supercomputing Applications (NCSA)

Thumbnail for ISAS 2013 Annual Report
ISAS 2013 Annual Report
Submitter: Susan Braxton

Thumbnail for GeoSciences / 1994-99
GeoSciences / 1994-99
Submitter: Howard Ding

Thumbnail for ITARP 2009 Annual Report
ITARP 2009 Annual Report
Illinois Transportation Archaeological Research Program

Thumbnail for iConference 2014 Program
iConference 2014 Program
iConference 2014 Program Committee

Thumbnail for IFSI Newsletter- Fall 2013
IFSI Newsletter- Fall 2013
Illinois Fire Service Institute

Thumbnail for Farm radio news. 1963
Farm radio news. 1963
Submitter: Howard Ding