University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 241–270 of 2,864 items
Thumbnail for Spatial and Temporal Relationships in Crop-hail Loss Data
Spatial and Temporal Relationships in Crop-hail Loss Data
Schickedanz, Paul T.; Reddy, Prameela V.; Changnon, Stanley A., Jr.

Thumbnail for A Formal Executable Semantics of Verilog
A Formal Executable Semantics of Verilog
Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore