University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 391–420 of 3,713 items
Thumbnail for Annual register. 1937-38
Annual register. 1937-38
University of Illinois at Urbana-Champaign

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 Staff directory. 1959/60
Staff directory. 1959/60
University of Illinois at Chicago Circle

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

Thumbnail for Annual register. 1935-36
Annual register. 1935-36
University of Illinois at Urbana-Champaign

Thumbnail for ICT for Sustainability — Current and future research directions
ICT for Sustainability — Current and future research directions
Penzenstadler, Birgit; Richardson, Debra; Tomlinson, Bill; Fleischmann, Kenneth R.; Becker, Christoph; Nathan, Lisa; Blevis, Eli; Silberman, Six; Karlin, Beth; Norton, Juliet; Raturi, Ankita