University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–20 of 20 items
Thumbnail for KBoogie: A Formal Semantics for Boogie
KBoogie: A Formal Semantics for Boogie
Rodrigues, Nishant; Poulsen, Seth; Rosu, Grigore • 2024

Thumbnail for Commencement program. 1916/29
Commencement program. 1916/29
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1921-22
Annual register. 1921-22
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1919-20
Annual register. 1919-20
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1929-30
Annual register. 1929-30
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1918-19
Annual register. 1918-19
University of Illinois at Urbana-Champaign

Thumbnail for Staff directory. 1967-68
Staff directory. 1967-68
University of Illinois at Chicago Circle

Thumbnail for Students' directory. 1970-1973
Students' directory. 1970-1973
University of Illinois at Urbana-Champaign