University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 271–300 of 2,912 items
Thumbnail for access: v.24, no.02, Summer 2011
access: v.24, no.02, Summer 2011
National Center for Supercomputing Applications (NCSA)

Thumbnail for Program Verification by Coinduction
Program Verification by Coinduction
Rosu, Grigore; Moore, Brandon

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks
ActorNet: An Actor Platform for Wireless Sensor Networks
Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.

Thumbnail for Kane County water well database
Kane County water well database
Eidel, J. James; Visocky, Adrian P.; Zelinsky, Charles J.