University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 481–510 of 1,694 items
Thumbnail for The Learned Doctor Ames
The Learned Doctor Ames
Sprunger, Keith Laverne

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for Matching μ-Logic
Matching μ-Logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for AGENDA -  ECAEC18 program
AGENDA - ECAEC18 program
Submitter: Beth Meschewski

Thumbnail for High school science clubs
High school science clubs
Astell, Louis Alexander; Odell, Charles Watters