University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 541–570 of 2,176 items
Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Students' directory. 1970-1973
Students' directory. 1970-1973
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. 1908-1909
Annual register. 1908-1909
University of Illinois at Urbana-Champaign

Thumbnail for Development of paleobotany in the Illinois Basin
Development of paleobotany in the Illinois Basin
Phillips, Tom Lee; Pfefferkorn, Hermann W.; Peppers, Russel A.

Thumbnail for News letter / 1943-48
News letter / 1943-48
University of Illinois at Urbana-Champaign. Library School Association

Thumbnail for Annual register. 1946-47
Annual register. 1946-47
University of Illinois at Urbana-Champaign

Thumbnail for Faculty publications and doctoral dissertations. 1975-1977
Faculty publications and doctoral dissertations. 1975-1977
University of Illinois at Urbana-Champaign

Thumbnail for Oschersleben, 11 January 1944
Oschersleben, 11 January 1944
Potter, G. William; Getz, Lowell L.

Thumbnail for Alumni news letter / no. 33-43
Alumni news letter / no. 33-43
University of Illinois at Urbana-Champaign. Library School