University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1351–1380 of 3,334 items
Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for Distribution of boghead algae in Illinois Basin coal beds
Distribution of boghead algae in Illinois Basin coal beds
Peppers, Russel Allen; Harvey, Richard David

Thumbnail for Quality of surface water in Illinois, 1956-1966
Quality of surface water in Illinois, 1956-1966
Harmeson, Robert Harold; Larson, Thurston Eric

Thumbnail for An Underlay for Sensor Networks: Localized Protocols for Maintenance and Usage
An Underlay for Sensor Networks: Localized Protocols for Maintenance and Usage
Devaraj, Christo; Nagda, Mehwish; Gupta, Indranil; Agha, Gul A.